CHAM在面向对象类测试中的应用  

Application of CHAM to the Object-Oriented Class Testing

作　　者：赵艳军[1] 崔冬华[1] 

机构地区：[1]太原理工大学计算机科学与技术学院,太原030024

出　　处：《电脑开发与应用》2011年第6期48-49,52,共3页Computer Development & Applications

摘　　要：UML已经成为当前面向对象软件测试研究的重要方向。面向对象的类测试不仅要测试类的输入、输出还需要对类的状态变换进行测试。CHAM具有良好的动态特性可以很好地描述类状态的动态变换。LTS作为多种形式化语言的语义模型可以表达出类的动态特征。通过CHAM来描述UML状态图,并由CHAM生成LTS,最终通过对LTS的遍历生成测试序列。UML has become the object-oriented software testing important research direction.Object-oriented class testing not only to test the class of I/O,the state also need to testing.CHAM has a good dynamic characteristics can be well described class state of the dynamic transformation.LTS as a semantic model of various formalized language can express the dynamic characteristics of the class.UML statechart Described by CHAM,generated LTS by CHAM,generated testing sequences by traverse the LTS.

关 键 词：化学抽象机 标号迁移系统 UML状态图 软件测试 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]