Conformity testing by optimal constraints for object oriented programs

摘要

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.