作　　者： (刘珊艳）;

机构地区： 荆楚理工学院计算机工程学院

出　　处： 《湖北理工学院学报》

摘　　要： 软件测试是保证软件可靠性的主要方法,为了提高测试的质量可以在需求分析阶段对测试对象进行分析,根据需求分析规则产生的谓词常常可以用于软件检测。讨论基于谓词的测试准则BOR和BRO,并使用该准则检测需求规则中所有的布尔运算符故障和关系运算符故障。结果表明,根据谓词信息生成的测试用例集合是最小的,且每个测试用例都能从不同方面暴露各种运算符故障,从而可以对软件需求规则进行充分地测试,提高软件设计的准确性。

分 类 号： [TP311.53]