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

• 作者: 乔木 曾一 林宏
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 状态图 超态 并发状态约束
• 年，卷（期）: 2004,（14）
• 所属期刊栏目: 学术探讨
• 页码范围: 91-93
• 页数: 3页
• 分类号: TP311
• 字数: 3609字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2004.14.029

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾一	重庆大学计算机科学与工程学院	76	855	14.0	25.0
2	林宏	重庆大学计算机科学与工程学院	3	47	2.0	3.0
3	乔木	重庆大学计算机科学与工程学院	5	52	4.0	5.0