Abstract:The use of search algorithms requires the definition of a fitness function that guides the algorithms to find an optimal solution. The definition of a fitness function may require the use of a normalization function for various purposes such as assigning equal importance to various factors constituting a fitness function and normalizing only one factor of a fitness function to give it less/more importance than the others. In our previous work, we defined various branch distance functions (a commonly used heuristic in the literature at the code-level) corresponding to the constructs defined in the Object Constraint Language (OCL) to solve OCL constraints to generate test data for supporting automated Model-Based Testing (MBT). The definition of several of these distance functions required the use of a normalization function. In this paper, we extend the empirical evaluation reported in one of the works in the literature that compares the impact of using various normalization functions for calculating branch distances at the code-level on the performance of search algorithms.The empirical evaluation reported in this paper assesses the impact of the commonly used normalization functions for the branch distance calculation of OCL constraints at the model-level. Results show that for one of the newly studied algorithms Harmony Search (HS) and Random Search (RS), the use of the normalization functions has no impact on the performance of the search. However, HS achieved 100% success rates for all the problems, where RS obtained very poor success rates (less than 38%). Based on the results, we conclude that the randomness in creating a solution in search algorithms may mask the impact of using a normalization function.

Correctness Criteria for Normalization of Semistructured Data.

Verifying Semistructured Data Normalization Using SWRL

Extended abstract: towards verifying semistructured data

Research into verifying semistructured data

Theorem Prover Approach to Semistructured Data Design

A Semantic Web Approach to Validating Semistructured Data

A Z Approach in Validating ORA-SS Data Models

Verifying Semistructured Data Normalization Using PVS

Requirement Consistency and Integrity Verification Method based on Natural Language Processing

Validating semistructured data using OWL

Normal Forms and Normalized Design Method for Business Service

Normalization Based On Fuzzy Functional Dependency In A Fuzzy Relational Data Model

Using Fuzzy Logic to Evaluate Normalization Completeness for An Improved Database Design

A PVS Approach to Verifying ORA-SS Data Models.

Prioritizing Technical Debt in Database Normalization Using Portfolio Theory and Data Quality Metrics

Reasoning about ORA-SS data models using the semantic web

Identifying and Managing Technical Debt in Database Normalization Using Machine Learning and Trade-off Analysis

Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints.

Formal Verification of Semistructured Data Models in PVS.

Spitz: A Verifiable Database System

Storing Normalized XML Documents in Normalized Relations