文章基本信息

标题：AN OPTIMAL APPROACH OF CONFORMITY ASSESSMENT AND ROBUSTNESS TESTING FOR OBJECT ORIENTED CONSTRAINTS
本地全文：下载
作者：KHADIJA LOUZAOUI ; KHALID BENLHACHMI
期刊名称：Journal of Theoretical and Applied Information Technology
印刷版ISSN：1992-8645
电子版ISSN：1817-3195
出版年度：2021
卷号：99
期号：23
语种：English
出版社：Journal of Theoretical and Applied
摘要：In this work we propose a formal modeling of optimal constraints for testing the conformity contract and robustness behaviors of object oriented (OO) programs. Our approach is an important way to generate test data of overriding methods of the inheritance process in the general case where behaviors of OO classes are not necessarily similar. The key idea of this work is to use mathematical entities for developing some algorithms of test data generation to simplify conformity and robustness verification process.Our model of constraints is based on set theory and logical axioms, and can represent in an unambiguous form all properties and behaviors of OO robustness contracts. The second model of this paper is an equivalence partitioning of input data of the program under test, this partitioning technique can be used to reduce the number of test cases that must be developed for classes and subclasses.
关键词：Software Verification;Formal Specification;Conformity Testing;Robustness Testing;Valid Data;Invalid Data;Test Data Generation;Equivalence Partitioning;Inheritance;Constraint Resolution