Open Access Open Access  Restricted Access Subscription or Fee Access

An Optimal Model of Conformity Constraints of Inheritance for an Object Oriented Specification

Khadija Louzaoui, Khalid Benlhachmi


The objective of this paper is to introduce a new constraint model for testing the conformity of overriding methods during inheritance operation for an object oriented (OO) system. This model is based on formal specification techniques and can be used to generate test data in derived classes. The key idea of this conformity approach is to use an optimal constraint and a partitioning technique based on a mathematical analysis to automate the conformity testing of overriding methods. Indeed, this technique is used for reducing the number of test cases that need to be developed by covering all classes of errors for the module under test. In this sense, the proposed constraint model is used in the partitioning process to deduce the set of domains representing all possible testing values satisfying or not the conformity constraint.
The approach of this work shows that input data used in the testing process of overriding methods should not selected randomly. In the same way, we also show that input-output constraints of a program need to be compatible for reducing the number of generated test sequences.


Specification, Conformity Testing, Robustness Testing, Valid Data, Invalid Data, Test Data Generation, Inheritance, Constraint Resolution.

Full Text:


Disclaimer/Regarding indexing issue:

We have provided the online access of all issues and papers to the indexing agencies (as given on journal web site). It’s depend on indexing agencies when, how and what manner they can index or not. Hence, we like to inform that on the basis of earlier indexing, we can’t predict the today or future indexing policy of third party (i.e. indexing agencies) as they have right to discontinue any journal at any time without prior information to the journal. So, please neither sends any question nor expects any answer from us on the behalf of third party i.e. indexing agencies.Hence, we will not issue any certificate or letter for indexing issue. Our role is just to provide the online access to them. So we do properly this and one can visit indexing agencies website to get the authentic information.