원문정보
초록
영어
The work presented in this paper proposes a formal model of constraints for testing the conformity of an implementation from its specification. The principal idea of our approach is based on an equivalence partitioning of input domains for each method type in an object oriented (OO) paradigm for detecting the different classes of errors. The main contribution of our approach is the use of invalid data which do not satisfy the precondition constraints for testing the robustness of entities in an OO model. Indeed, the first objective of the proposed work is to develop a theoretical model of constraint in order to test the conformity of classes. The second objective of our approach is to detect anomalies in invalid input data which induce valid output constraints. The implementation of this approach is based on a random generation of test data and analysis by formal proof.
목차
1. Introduction
2. Related Work
3. Formal Model of Constraint
4. Partition Analysis
5. Conformity Testing
5.1. Formal model of conformity testing
5.2. Algorithms of Conformity Testing
5.3. Evaluation
6. Robustness Testing
6.1. Formal Model of Robustness Testing
6.2 Algorithms of Robustness Testing
6.3. Evaluation
7. Conclusions and Future Work
References