基于Z规格说明的可复用测试用例形式化描述

• 作者: 张娟 童维勤 蔡立志
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 测试用例库 测试用例套 测试项 形式化描述 Z规格说明 软件测试
• 年，卷（期）: 2012,（16）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 44-48
• 分类号: TP311
• 字数: 5617字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2012.16.011

摘要

可复用的、统一的描述规范是测试用例复用的前提条件,能够为测试用例的共享提供良好的复用机制.为此,遵循测试用例最小粒度划分的原则,针对基于Z规格说明的软件测试,提出测试项、测试用例、测试用例套、测试用例库等概念,并给出这些概念的形式化定义.通过Z规格说明对可复用测试用例库进行描述,保证该用例库的描述准确和无二义性.应用结果证明,该方法能提高测试用例的可复用性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	童维勤	上海大学计算机工程与科学学院	37	217	7.0	12.0
2	蔡立志		26	210	8.0	13.0
3	张娟	上海大学计算机工程与科学学院	42	161	6.0	10.0