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

Automatic Test Case Generator for Object-Z Specification

作　　者：许庆国[1,2] 缪淮扣[1] 曹晓夏[3] 胡晓波[1] 

机构地区：[1]上海大学计算机工程与科学学院,上海200072 [2]武汉大学软件工程国家重点实验室,湖北武汉430072 [3]上海第二工业大学计算机与信息学院,上海201209

出　　处：《软件学报》2011年第6期1155-1168,共14页Journal of Software

基　　金：国家自然科学基金(60970007;61073050);国家重点基础研究发展计划(973)(2007CB310800);上海市自然科学基金(09ZR1412100);上海市科学技术委员会项目(10510704900);上海市重点学科建设项目(J50103);武汉大学软件工程国家重点实验室开放基金(SKLSE2010-08-26)

摘　　要：对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造成了困难.通过展开Object-Z规格说明中的模式定义,改进Object-Z的文法结构,给出了提取Object-Z规格说明语义的方法,研究了从Object-Z规格说明产生测试用例的自动化过程.这一过程主要包含3个阶段:Object-Z语言的自动解析、语义自动抽取和测试用例自动产生.通过介绍的工具原型,可以很容易得到规格说明中的各种语义;基于某些测试准则,能够方便自动产生可视化的抽象测试用例.Most research on test case generation from Object-Z specification focuses on theory.There is almost no tool to support generating test cases automatically.The Object-Z is a mathematics and logic based formal specification language.It uses schema composition and abbreviation format,which brings difficulty for extracting semantics and then generating test cases from specification automatically.This paper provides a solution in extracting semantics and generating test cases from Object-Z specification by unfolding the schema definition and improving its syntax in Object-Z.The process has three steps including parsing Object-Z language,extracting semantics,and generating test cases automatically.

关 键 词：基于规格说明的测试 OBJECT-Z 语义提取 测试用例生成器 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]