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

• 作者: 曹晓夏 缪淮扣 胡晓波 许庆国
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 基于规格说明的测试 Object-Z 语义提取 测试用例生成器
• 年，卷（期）: 2011,（6）
• 所属期刊栏目: 形式化方法与工具专刊
• 页码范围: 1155-1168
• 分类号: TP311
• 字数: 9078字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2011.04021

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	缪淮扣	上海大学计算机工程与科学学院	100	1030	16.0	26.0
2	许庆国	上海大学计算机工程与科学学院	9	35	4.0	5.0
6	曹晓夏	上海第二工业大学计算机与信息学院	2	13	2.0	2.0
7	胡晓波	上海大学计算机工程与科学学院	2	14	2.0	2.0