| 摘要: |
| 对Object-Z 形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z 是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造成了困难.通过展开Object-Z 规格说明中的模式定义,改进Object-Z 的文法结构,给出了提取Object-Z 规格说明语义的方法,研究了从Object-Z 规格说明产生测试用例的自动化过程.这一过程主要包含3 个阶段:Object-Z 语言的自动解析、语义自动抽取和测试用例自动产生.通过介绍的工具原型,可以很容易得到规格说明中的各种语义;基于某些测试准则,能够方便自动产生可视化的抽象测试用例. |
| 关键词: 基于规格说明的测试 Object-Z 语义提取 测试用例生成器 |
| DOI：10.3724/SP.J.1001.2011.04021 |
| 分类号: |
| 基金项目:国家自然科学基金(60970007, 61073050); 国家重点基础研究发展计划(973)(2007CB310800); 上海市自然科学基金(09ZR1412100); 上海市科学技术委员会项目(10510704900); 上海市重点学科建设项目(J50103); 武汉大学软件工程国家重点实验室开放基金(SKLSE2010-08-26) |
|
| Automatic Test Case Generator for Object-Z Specification |
|
XU Qing-Guo1,2, MIAO Huai-Kou1, CAO Xiao-Xia3, HU Xiao-Bo1
|
|
1.School of Computer Engineering and Science, Shanghai University, Shanghai 200072, China;2.State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072, China;3.School of Computer and Information, Shanghai Second Polytechnic University, Shanghai 201209, China
|
| 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. |
| Key words: specification-based testing Object-Z semantics extraction test case generator |
