面向不同应用的可行性数据流测试准则

摘要：

测试准则是完成软件测试必须满足的条件,一个可行的测试准则是当且仅当对任意一个程序,都存在一个测试用例集能够满足该准则.但在通常情况下,由于程序中不可执行的语句或路径的存在,使得基于数据流的测试准则不可行.在一类具有可行性的测试准则FDF的基础上,给出了三类新的基于数据流的测试准则,并且证明其中两类准则比FDF测试准则具有更强的故障检测能力.

关键词：软件测试、数据流分析、测试准则、划分测试、故障检测能力

所属期刊栏目：30

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

资助基金：总装备部预研项目41316.1.2

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

页数：共5页

页码：1178-1182