###
Journal of Software:2011.22(6):1155-1168

Object-Z 规格说明测试用例的自动生成器
许庆国,缪淮扣,曹晓夏,胡晓波
(上海大学 计算机工程与科学学院,上海 200072;武汉大学 软件工程国家重点实验室,湖北 武汉 430072;上海第二工业大学 计算机与信息学院,上海 201209)
Automatic Test Case Generator for Object-Z Specification
XU Qing-Guo,MIAO Huai-Kou,CAO Xiao-Xia,HU Xiao-Bo
(School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China; State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072, China;School of Computer and Information, Shanghai Second Polytechnic University, Shanghai 201209, China)
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 7524   Download 7172
Received:July 10, 2010    Revised:March 29, 2011
> 中文摘要: 对Object-Z 形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z 是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造成了困难.通过展开Object-Z 规格说明中的模式定义,改进Object-Z 的文法结构,给出了提取Object-Z 规格说明语义的方法,研究了从Object-Z 规格说明产生测试用例的自动化过程.这一过程主要包含3 个阶段:Object-Z 语言的自动解析、语义自动抽取和测试用例自动产生.通过介绍的工具原型,可以很容易得到规格说明中的各种语义;基于某些测试准则,能够方便自动产生可视化的抽象测试用例.
Abstract: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.
文章编号:     中图分类号:    文献标志码:
基金项目:国家自然科学基金(60970007, 61073050); 国家重点基础研究发展计划(973)(2007CB310800); 上海市自然科学基金(09ZR1412100); 上海市科学技术委员会项目(10510704900); 上海市重点学科建设项目(J50103); 武汉大学软件工程国家重点实验室开放基金(SKLSE2010-08-26) 国家自然科学基金(60970007, 61073050); 国家重点基础研究发展计划(973)(2007CB310800); 上海市自然科学基金(09ZR1412100); 上海市科学技术委员会项目(10510704900); 上海市重点学科建设项目(J50103); 武汉大学软件工程国家重点实验室开放基金(SKLSE2010-08-26)
Foundation items:
Reference text:

许庆国,缪淮扣,曹晓夏,胡晓波.Object-Z 规格说明测试用例的自动生成器.软件学报,2011,22(6):1155-1168

XU Qing-Guo,MIAO Huai-Kou,CAO Xiao-Xia,HU Xiao-Bo.Automatic Test Case Generator for Object-Z Specification.Journal of Software,2011,22(6):1155-1168