论文部分内容阅读
软件测试充分性准则是决定一个软件系统能否被充分测试的规则，而测试充分性的关键问题是其检测故障的能力。该文首先分析了数据流测试基本概念，然后讨论了数据流测试准则之间的关系，最后针对测试准则C1和C2，提出了二者的关系R0R(C1，C2)可保证在特定的错误检测度量方法下，C1比C2具有更好的检错能力。