摘要
对基于状态的类测试用例自动生成进行了研究,重点放在状态预测和测试消息序列生成上:类的动态行为用UML的状态图表示,测试时直接从RationalRose的规约文件中读取状态图规约生成测试消息序列;对状态的预测使用状态不变量;生成消息序列时对算法进行优化,减少消息序列的冗余,从而缩短消息序列的路径长度。
This paper probed into the automatic test cases generation of state-based class testing, emphasizing test sequences generation and state prediction. The dynamic behaviours of a class was modeled by UML statechart, and the test sequences were directly generated from state information in Rational Rose specification files. State invariants were used for the state prediction. The test sequences generation algorithm was optimized to trim the redundancy of the test sequences, thereby the length of the test sequences was shortened. '
出处
《计算机应用》
CSCD
北大核心
2003年第12期12-15,共4页
journal of Computer Applications
基金
陕西省教育厅科研基金项目 (0 0JK2 6 5)
