基于谓词的全路径覆盖软件测试方法研究

摘要：

路径覆盖测试是基于白盒的软件测试中覆盖率最高的测试方法:为了实现复杂程序的全路径覆盖测试,提出了一种基于谓词的全路径覆盖软件测试方法;首先研究了谓词覆盖的基本理论,然后对移除谓词后的孤立链进行测试,根据集成测试的观点,将谓词和对应孤立链集成以实现全路径覆盖,同时在算法中加入基本路径覆盖以实现对程序主要路径的重点测试.应用结果表明,该方法实用,高效,具有一定的推广价值.

关键词：谓词覆盖、孤立链、基本路径覆盖、垒路径覆盖

所属期刊栏目：17

分类号：TP391(计算技术、计算机技术)

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

页数：共4页

页码：649-651,678