文章基本信息

标题：A Formal Model of Robustness Testing for an Object-Oriented Specification
本地全文：下载
作者：Khadija Louzaoui ; Khalid Benlhachmi
期刊名称：International Journal of Software Engineering and Its Applications
印刷版ISSN：1738-9984
出版年度：2016
卷号：10
期号：3
页码：163-178
DOI：10.14257/ijseia.2016.10.3.15
出版社：SERSC
摘要：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.
关键词：Formal specification; conformity testing; robustness testing; valid data; ; invalid data; test data generation; inheritance; constraint resolution