|
|||||
|
|
| 反应式系统面向性质测试的方法框架 | |
| 引用本文： | 李书浩,王戟,董威,齐治昌.反应式系统面向性质测试的方法框架[J].电子学报,2004,32(F12):222-225. |
| 作者姓名： | 李书浩 王戟 董威 齐治昌 |
| 作者单位： | [1]国防科技大学计算机学院，湖南长沙410073 [2]国防科技大学计算机学院，湖南长沙410073／／武汉大学软件工程国家重点实验室，湖北武汉430072 |
| 摘 要： | 提出了一种反应式系统选择性测试方法．该方法根据描述待测系统的UML Statecharts模型和描述系统功能属性的时序逻辑公式生成有针对性的测试序列．据此实现了一个面向性质的测试工具．实验表明，该方法可以将测试资源集中于用户关注的系统行为．经扩展后，该方法可用于实时系统． |
| 关 键 词： | 软件测试 反应式系统 UML Statecharts 时序逻辑 |
| 本文献已被 维普 等数据库收录！ | |