刘珊艳

(荆楚理工学院 计算机工程学院,湖北 荆门 448000)

基于谓词的系统需求测试用例生成方法研究

刘珊艳

(荆楚理工学院 计算机工程学院,湖北 荆门 448000)

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

软件测试；谓词；测试用例生成；测试充分性

随着软件系统规模和复杂性的增加，软件测试的任务也变得越来越复杂与繁重。为了减少测试过程的盲目性，提高测试效率，在需求分析的开始阶段就对测试任务进行明确的分析，对测试目标进行有效的组织，同时准确地记录测试结果尤为重要。正如需求分析是软件系统设计与实现的基础，软件测试也应该以准确而详尽的测试需求分析为基础[1]。

基于谓词的测试可以在早期软件需求完成后就进行需求正确性的验证。在软件的需求文档中会存在软件设计所需遵守规则的说明，这些规则可以成为测试集设计的依据。编程人员可能对这些规则进行正确的编码，也可能没有正确编码，导致程序中存在缺陷。……