基于时间自动机模型的测试用例生成方法优化

摘要：

为了减少测试产生、执行,存储以及维护测试用例的代价,提出了一种基于时间自动机模型的测试用例生成方法的优化技术.针对实时系统中不同的时间尺度,为了加快基于模型的测试用例生成的速度,通过对原时间自动机模型的结构进行改进,对这类实时系统进行测试产生优化.实验结果表明,优化后产生的测试用例集的大小及所用时间相对于优化之前有较大程度的约减,为进一步减少测试执行的时间,提高测试效率,加快软件开发进程提供了可行的解决途径.

关键词：测试用例生成、模型检测、时间自动机、实时系统、状态空间爆炸、加速

所属期刊栏目：31

分类号：TP301.1(计算技术、计算机技术)

资助基金：河南省教育厅自然科学研究基金项目2008A520024

在线出版日期：2010-08-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：2765-2768