A formal model of similarity testing for inheritance in object-oriented software

A Formal Model of Conformity Testing of Inheritance for Object Oriented Constraint Programming

“…In this sense, we had proposed in [5,6] the definition of similarity concept for assuring if the overriding method m (2) has the same behavior as its original version m (1) in the super-class relatively to their common specification (P (1) ,Q (1) , Inv (1) ). Indeed, the implementation in the subclass must override the implementation in the super class by providing a method m (2) that is similar to m (1) .…”

“…The conformity test for a method means that if a pre-condition is satisfied at the input, the postcondition and the invariant must be satisfied at the output. The purpose of this section is to generalize the model of [4][5][6] in order to test the conformity of an overriding method m (2) in a derived class by using the elements of conformity test of its original method m (1) in the superclass.…”

“…In [5], we have developed a basic model for the concept of methods similarity, the test is based only on a random generation of input data. In [6], we have generalized the basic model of similarity using analysis of partition and formal proof.…”

“…This work is based on our model of similarity concept [5,6] for testing the conformity of overriding methods from conformity results of the original methods. The main objective is to reduce the number of test cases by using the test result developed in parent classes.…”

A Formal Model of Conformity and Security Testing of Inheritance for Object Oriented Constraint Programming

“…The work presented in this paper allows to extend the constraint model defined in [4] for modeling the specification of an overriding method in subclass using inheritance principle. This work is based on our model of similarity concept [5,6] for testing the conformity and the security of overriding methods from test results of the original methods. The main objective is to reduce the number of test cases by using the test result developed in parent classes, and to integrate the invalid data in test process.…”