状态图的并发状态约束及测试用例生成研究

摘要：

该文在状态图的基础上,提出了并发状态约束机制,以此解决了在构造状态模型和生成测试用例阶段状态空间的爆炸问题,同时也解决了生成可执行测试用例的问题.首先讨论了具有超态的状态图模型,然后给出了状态约束机制及其定义,在此模型的基础上给出了生成可执行测试用例的算法,该算法采用启发式探索,在生成测试用例的过程中就丢弃了不可执行的路径.

关键词：状态图、超态、并发状态约束

所属期刊栏目：40

分类号：TP311(计算技术、计算机技术)

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

页数：共3页

页码：91-93