本文已被：浏览 2028次 下载 4248次
Received:January 20, 2009
Received:January 20, 2009
中文摘要: 软件测试是当前软件生成重要的研究课题。从源程序流程图开始，提出了基于自动机的路径覆盖算法，该算法将源程序通过转换规则构造成与之等价的有穷自动机，应用自动机的特性处理有穷自动机中回边，并通过有限自动机的覆盖路径算法实现路径覆盖测试路径的选择。此方法实现路径覆盖的目标，与其它路径覆盖算法相比，覆盖路径生成数少。
中文关键词: 覆盖测试 回边 有穷自动机
Abstract:
keywords:
文章编号： 中图分类号： 文献标志码：
基金项目:2006年度江西省自然科学基金(0611092)
| Author Name | Affiliation |
| 毛红梅 | 南昌航空大学 计算机学院 江西 南昌 330063 |
| Author Name | Affiliation |
| 毛红梅 | 南昌航空大学 计算机学院 江西 南昌 330063 |
引用文本：
毛红梅.基于有穷自动机的路径覆盖测试方法①.计算机系统应用,2009,18(11):103-105
.A Method for Path Coverage Testing Based on Deterministic Finite Automata Machine.COMPUTER SYSTEMS APPLICATIONS,2009,18(11):103-105
毛红梅.基于有穷自动机的路径覆盖测试方法①.计算机系统应用,2009,18(11):103-105
.A Method for Path Coverage Testing Based on Deterministic Finite Automata Machine.COMPUTER SYSTEMS APPLICATIONS,2009,18(11):103-105
