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