一种面向对象类级状态测试的形式化方法研究

面向对象的软件开发给测试带来了新的挑战,传统的测试技术不能直接用于面向对象的软件测试中,必须对其进行扩充和完善.类级测试是面向对象测试过程中的一个重要阶段,而类状态的测试是类级测试的核心.作者将扩充后的黑盒测试技术应用到类状态的测试过程中,可直接使用方法级的测试数据有效测试类中方法间的交互及其类状态的变化.最后,通过一个实例说明对类级状态的测试及其测试用例的生成.

A formal approach study of OO class-level state testing

Object-oriented software development raises new challenges for testing issues, and the traditional testing techniques must be extended to meet OO testing requirements. The class-level testing is an important aspect of OO testing and state testing is the core of class-level testing. When the extended black-box techniques are applied to state testing, the method-level testing data can be used directly and efficiently to test the interactions among class components, as well as the class states. In the end, an example is introduced to illuminate the class-level testing and the test case producing process.