面向属性的UML Statecharts测试生成

摘要：

UML Statecharts刻画了对象在其生命周期中的行为.Statecharts测试的难处在于系统的状态空间和输入空间极其庞大.本文提出了一种面向属性的UML Statecharts测试方法,它根据一种受限的线性时序逻辑属性生成有针对性的测试序列.当测试人员仅对UML Statecharts的某些性质感兴趣,或者在资源有限情况下只能对某些关键性质进行重点测试时,此方法能很好地满足需求.

关键词： 软件测试 Statecharts 时序逻辑 测试序列 UML

作者: 李书浩 王戟 齐治昌

作者单位: 国防科技大学计算机学院(湖南长沙)

会议类型: 国内会议

会议名称: 2003中国计算机大会

会议地点: 北京

会议语种:中文

页码: 1602-1609

在线出版日期: 2003-11-01（万方平台首次上网日期，不代表论文的发表时间）