摘要
软件测试保证和提高了软件质量,因此成为软件界最为关心的问题之一。测试数据的好坏直接影响软件测试的效果。形式规格说明中的前置条件可用来产生测试数据。而前置条件是基于关系操作符的谓词表达式。给出了一个针对集合关系表达式的测试准则和产生符合测试准则的测试数据的算法,根据该测试准则产生的测试数据对于集合条件表达式有比较好的错误检测能力。从给出的数据库查询的例子说明了该方法对于检测代码错误的有效性。
Software testing guaranteeing and improving the software quality becomes the main concerned point in the field. Test data generation effects software testing directly. The preconditions based on relation operators in formal specifications is used to generate test data. A test criterion for generating test data from set relation operators is proposed, and then an algorithm is developed that generates test data satisfying the test criterion. The test data generated by the algorithm can effectively detect errors in codes corresponding to the set relation expression. An example is given to illustrate the effect of detecting errors in codes.
出处
《计算机工程与设计》
CSCD
北大核心
2008年第20期5237-5242,共6页
Computer Engineering and Design
基金
国家自然科学基金项目(60673115)
国家973重点基础研究发展计划基金项目(2002CB312001)
