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

摘要：

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

关键词：形式方法、Object-Z、软件测试、测试数据、集合表达式、代码变异错误测试

所属期刊栏目：29

分类号：TP301.2(计算技术、计算机技术)

资助基金：国家自然科学基金项目60673115;国家973重点基础研究发展计划基金项目2002CB312001

在线出版日期：2009-01-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：5237-5242