基于扩展有限状态机的定义-清除路径的生成方法

• 作者: 卢炎生 毛澄映 谢晓东 雷波
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 类单元测试 扩展有限状态机 定义-使用路径 定义-清除路径 测试用例
• 年，卷（期）: 2006,（7）
• 所属期刊栏目: 算法研究
• 页码范围: 67-69
• 页数: 3页
• 分类号: TP311.5
• 字数: 2262字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2006.07.021

摘要

本文提出了一种面向对象测试中定义-清除路径(DC路径)生成方法,以扩展有限状态机EFSM作为测试模型,结合数据流分析方法,用图论中的结点间最短路径求解思想生成DC路径.这样产生的路径考虑了对象状态迁移,能够发现类中方法与变量之间交互作用时发生的错误,并精简了定义-使用路径(DU路径)组成的测试用例集.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卢炎生	华中科技大学计算机科学与技术学院	216	1989	20.0	34.0
2	谢晓东	华中科技大学计算机科学与技术学院	21	265	9.0	16.0
3	毛澄映	华中科技大学计算机科学与技术学院	18	247	8.0	15.0
4	雷波	华中科技大学计算机科学与技术学院	3	15	2.0	3.0