摘要：软件测试是保证软件可靠性的主要方法,为了提高测试的质量可以在需求分析阶段对测试对象进行分析,根据需求分析规则产生的谓词常常可以用于软件检测。讨论基于谓词的测试准则BOR和BRO,并使用该准则检测需求规则中所有的布尔运算符故障和关系运算符故障。结果表明,根据谓词信息生成的测试用例集合是最小的,且每个测试用例都能从不同方面暴露各种运算符故障,从而可以对软件需求规则进行充分地测试,提高软件设计的准确性。
分类：期刊> 自然科学与工程技术> 工程科技II> 综合科技B类综合
收录：知网收录(中) > 维普收录(中) > 万方收录(中) > 国家图书馆馆藏 > 上海图书馆馆藏
关键词：软件测试 谓词 测试用例生成 测试充分性
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
