论文部分内容阅读
UML已经成为当前面向对象软件测试研究的重要方向。面向对象的类测试不仅要测试类的输入、输出还需要对类的状态变换进行测试。CHAM具有良好的动态特性可以很好地描述类状态的动态变换。LTS作为多种形式化语言的语义模型可以表达出类的动态特征。通过CHAM来描述UML状态图,并由CHAM生成LTS,最终通过对LTS的遍历生成测试序列。