| 基于时间自动机模型的测试用例生成方法优化 |
| |
| 引用本文： | 范素娟,庄雷. 基于时间自动机模型的测试用例生成方法优化[J]. 计算机工程与设计, 2010, 31(12) |
| |
| 作者姓名： | 范素娟 庄雷 |
| |
| 作者单位： | 郑州大学,信息工程学院,河南,郑州,450001 |
| |
| 基金项目： | 河南省教育厅自然科学研究基金项目 |
| |
| 摘 要： | 为了减少测试产生、执行,存储以及维护测试用例的代价,提出了一种基于时间自动机模型的测试用例生成方法的优化技术.针对实时系统中不同的时间尺度,为了加快基于模型的测试用例生成的速度,通过对原时间自动机模型的结构进行改进,对这类实时系统进行测试产生优化.实验结果表明,优化后产生的测试用例集的大小及所用时间相对于优化之前有较大程度的约减,为进一步减少测试执行的时间,提高测试效率,加快软件开发进程提供了可行的解决途径.
|
| 关 键 词： | 测试用例生成 模型检测 时间自动机 实时系统 状态空间爆炸 加速 |
Improvement on method of test cases generation based on timed automata |
| |
| FAN Su-juan,ZHUANG Lei. Improvement on method of test cases generation based on timed automata[J]. Computer Engineering and Design, 2010, 31(12) |
| |
| Authors: | FAN Su-juan ZHUANG Lei |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
