| 基于有穷自动机的路径覆盖测试方法① |
| |
| 引用本文： | 毛红梅. 基于有穷自动机的路径覆盖测试方法①[J]. 计算机系统应用, 2009, 18(11): 103-105 |
| |
| 作者姓名： | 毛红梅 |
| |
| 作者单位： | 南昌航空大学,计算机学院,江西,南昌,330063 |
| |
| 基金项目： | 2006年度江西省自然科学基金(0611092) |
| |
| 摘 要： | 软件测试是当前软件生成重要的研究课题。从源程序流程图开始，提出了基于自动机的路径覆盖算法，该算法将源程序通过转换规则构造成与之等价的有穷自动机，应用自动机的特性处理有穷自动机中回边，并通过有限自动机的覆盖路径算法实现路径覆盖测试路径的选择。此方法实现路径覆盖的目标，与其它路径覆盖算法相比，覆盖路径生成数少。
|
| 关 键 词： | 覆盖测试 回边 有穷自动机 |
| 收稿时间： | 2009-01-20 |
A Method for Path Coverage Testing Based on Deterministic Finite Automata Machine |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机系统应用》浏览原始摘要信息 |
|
点击此处可从《计算机系统应用》下载全文 |
|
