A formal approach study of OO class-level state testing
Zhao Liang, Junmin Ye, Luo Jing, Chen Li · Journal of Naval University of Engineering · 2004
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.