基于控制流程图的路径覆盖测试的改进方法研究

摘要：

软件测试是当前软件生成重要的研究课题.文中从源程序开始,引入基本块的方法将源程序转换为相应的控制流程图.并采用图形的方法将路径构造相应的自动机,通过对自动机中回边的处理,生成简化的并与之等价的自动机.经过若干变换后,可在自动机上直观地求出路径覆盖的条数和相应的信息.此方法实现路径覆盖的目标,简化路径覆盖生成过程,步骤直观,且减少路径生成数.

关键词：控制流程图、覆盖测试、基本块、自动机

所属期刊栏目：44

分类号：TP311.53(计算技术、计算机技术)

资助基金：江西省自然科学基金the Natural Science Foundation of Jiangxi Province of China under Grant 0611092

在线出版日期：2009-01-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：93-95