从集合表达式产生测试数据的方法

软件测试保证和提高了软件质量,因此成为软件界最为关心的问题之一。测试数据的好坏直接影响软件测试的效果。形式规格说明中的前置条件可用来产生测试数据。而前置条件是基于关系操作符的谓词表达式。给出了一个针对集合关系表达式的测试准则和产生符合测试准则的测试数据的算法,根据该测试准则产生的测试数据对于集合条件表达式有比较好的错误检测能力。从给出的数据库查询的例子说明了该方法对于检测代码错误的有效性。