基于有穷自动机的路径覆盖测试方法

• 作者: 毛红梅
• 来源期刊: 计算机系统应用
• 学科: 工学
• 关键词: 覆盖测试 回边 有穷自动机
• 年，卷（期）: 2009,（11）
• 所属期刊栏目: 研究开发
• 页码范围: 103-105,102
• 页数: 4页
• 分类号: TP3
• 字数: 2886字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-3254.2009.11.026

摘要

软件测试是当前软件生成重要的研究课题.从源程序流程图开始,提出了基于自动机的路径覆盖算法,该算法将源程序通过转换规则构造成与之等价的有穷自动机,应用自动机的特性处理有穷自动机中回边,并通过有限自动杌的覆盖路径算法实现路径覆盖测试路径的选择.此方法实现路径覆盖的目标,与其它路径覆盖算法相比,覆盖路径生成数少.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	毛红梅	南昌航空大学计算机学院	20	53	5.0	6.0