|
|||||
|
|
| Object-Z 规格说明测试用例的自动生成器 | |
| 引用本文： | 许庆国,缪淮扣,曹晓夏,胡晓波.Object-Z 规格说明测试用例的自动生成器[J].软件学报,2011,22(6):1155-1168. |
| 作者姓名： | 许庆国 缪淮扣 曹晓夏 胡晓波 |
| 作者单位： | 1. 上海大学,计算机工程与科学学院,上海,200072;武汉大学,软件工程国家重点实验室,湖北武汉430072 2. 上海大学,计算机工程与科学学院,上海,200072 3. 上海第二工业大学计算机与信息学院,上海,201209 |
| 基金项目： | 国家自然科学基金，国家重点基础研究发展计划(973)，上海市自然科学基金，上海市科学技术委员会项，上海市重点学科建设项，武汉大学软件工程国家重点实验室开放基金 |
| 摘 要： | 对Object-Z形式规格说明构造测试用例的研究,目前主要集中在理论研究阶段,测试用例的自动生成几乎没有相应的工具支持.Object-Z是基于数学和逻辑的语言,并大量使用了模式复合和简写形式,这给计算机提取完整语义用以自动产生测试用例造成了困难.通过展开Object-Z规格说明中的模式定义,改进Object-Z的文法结构,给出了提取Object-Z规格说明语义的方法,研究了从Object-Z规格说明产生测试用例的自动化过程.这一过程主要包含3个阶段:Object-Z语言的自动解析、语义自动抽取和测试用例自动产生.通过介绍的工具原型,可以很容易得到规格说明中的各种语义;基于某些测试准则,能够方便自动产生可视化的抽象测试用例. |
| 关 键 词： | 基于规格说明的测试 Object-Z 语义提取 测试用例生成器 |
| 收稿时间： | 2010/7/10 0:00:00 |
| 修稿时间： | 2011/3/29 0:00:00 |
Automatic Test Case Generator for Object-Z Specification |
|
| XU Qing-Guo,MIAO Huai-Kou,CAO Xiao-Xia and HU Xiao-Bo.Automatic Test Case Generator for Object-Z Specification[J].Journal of Software,2011,22(6):1155-1168. | |
| Authors: | XU Qing-Guo MIAO Huai-Kou CAO Xiao-Xia and HU Xiao-Bo |
| Affiliation: | 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 unfol... |
| Keywords: | Object-Z |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载全文 | |