摘要
面向对象软件是由类及其类之间的关联所实现,类测试是面向对象软件测试的关键。本文研究一种将包含层次和并发结构的状态图转化为可扩展有限状态机(EFSM)并获得相应的测试生成树,由测试树产生软件测试数据的类级软件测试方法。实验证明,该测试方法是有效可行的,在实践中能够取得较好的效果。
Object-oriented software is implemented by the classes and the association between its classes. Class testing is the key to object-oriented software testing. The paper studies a method of class level software testing that how the state diagram containing hierarchy and concurrent structure is transformed into extended finite state machine （ EFSM ） and obtains the corresponding test spanning tree, then uses the test spanning tree to produce software testing data. Experiments show that the test method is feasible and effective, and better results could be achieved in practice.
出处
《计算机与现代化》
2012年第12期136-138,142,共4页
Computer and Modernization
基金
百色学院一般科技项目(2010KB16)
关键词
状态图
类级测试
EFSM
state diagram
class level software testing
EFSM
