Author(s):
1. KHALID BENLHACHMI:
Laboratory For Computer Science Research, Faculty of Science, Ibn Tofail University, Kenitra, Morocco
2. KHADIJA LOUZAOUI:
Laboratory For Computer Science Research, Faculty of Science, Ibn Tofail University, Kenitra, Morocco
Abstract:
We present in this work an approach for testing conformity behaviours of object oriented (OO) classes. Our approach can be used to test overridden and overriding methods during the inheritance process. The key idea of our work is to use a mathematical representation for developing some algorithms of test data generation to deduce all states of conformity in the general case where behaviours of methods are not necessarily similar. Our mathematical model describes conformity contract of overridden and overriding methods during the inheritance mechanism by a graph of conformity states, adjacency matrix and equivalence partitioning. The technique of partitioning can define test cases that uncover classes of errors, thereby reducing the total number of test cases that must be developed. The second model is based on adjacency matrix and graphs of states to represent software behaviour and to simplify the test data generation. We show in this paper that the test data generation can be represented by a graph of states and adjacency matrix. Thus, it is sufficient to consider the sink vertex of graphs to check the conformity behaviour of the program under test.
Page(s):
5134-5141
DOI:
DOI not available
Published:
Journal: Journal of Theoretical and Applied Information Technology, Volume: 100, Issue: 14, Year: 2022
Keywords:
inheritance
,
Constraint Resolution
,
Formal Specification
,
Test Data Generation
,
Valid Data
,
Conformity Testing
,
Equivalence Partitioning
,
Invalid Data
,
Robustness Testing
,
Software Verification
References:
References are not available for this document.
Citations
Citations are not available for this document.