基于状态的类测试研究

类是面向对象程序语言的基本组成单位,所以类测试是整个面向对象软件测试的关键所在;论文主要针对传统状态测试方法在发现错误机制上存在的不足,研究了一种利用OSD模型的基于状态的类测试方法,提出了利用OSD模型与系统分析设计的状态图模型进行比较的思想;通过比较两个状态图模型中的状态是否一致以及各个状态间的方法转移是否一致,来发现传统状态测试难以发现的错误;实践证明,该方法能够检测出传统的状态测试方法难以检测到的错误。

State-Based Class Testing Research

Class is the basic unit of object-oriented software,so class testing is most important in object-oriented software testing.In this thesis,we study a new class testing method,which is a state-based testing method using OSD model and present a new method in this thesis which is to compare OSD model with state diagram model which is designed when making system analysis.Throngh comparing the two state diagram models whether consistent the condition to be and whether consistent each condition method shifts,disco...