Object-Z规格说明测试用例的自动生成器

作者：许庆国; 缪淮扣; 曹晓夏; 胡晓波

来源：软件学报, 2011, (06): 1155-1168.

• 基于规格说明的测试
• Object-Z
• 语义提取
• 测试用例生成器 specification-based testing
• semantics extraction
• test case generator

对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造成了困难.通过展开Object-Z规格说明中的模式定义,改进Object-Z的文法结构,给出了提取Object-Z规格说明语义的方法,研究了从Object-Z规格说明产生测试用例的自动化过程.这一过程主要包含3个阶段:Object-Z语言的自动解析、语义自动抽取和测试用例自动产生.通过介绍的工具原型,可以很容易得到规格说明中的各种语义;基于某些测试准则,能够方便...

• 单位
  武汉大学; 上海第二工业大学; 上海大学; 软件工程国家重点实验室