| 基于Z规格说明的可复用测试用例形式化描述 |
| |
| 引用本文： | 张娟,童维勤,蔡立志.基于Z规格说明的可复用测试用例形式化描述[J].计算机工程,2012,38(16):44-48. |
| |
| 作者姓名： | 张娟 童维勤 蔡立志 |
| |
| 作者单位： | 上海大学计算机工程与科学学院;江西财经大学;上海市计算机软件评测重点实验室 |
| |
| 基金项目： | 国家火炬计划基金资助项目(2009GH510068);上海市科委科研计划基金资助项目(10DZ2291800) |
| |
| 摘 要： | 可复用的、统一的描述规范是测试用例复用的前提条件，能够为测试用例的共享提供良好的复用机制。为此，遵循测试用例最小粒度划分的原则，针对基于Z规格说明的软件测试，提出测试项、测试用例、测试用例套、测试用例库等概念，并给出这些概念的形式化定义。通过Z规格说明对可复用测试用例库进行描述，保证该用例库的描述准确和无二义性。应用结果证明，该方法能提高测试用例的可复用性。
|
| 关 键 词： | 测试用例库 测试用例套 测试项 形式化描述 Z规格说明 软件测试 |
| 收稿时间： | 2011-09-14 |
| 修稿时间： | 2011-12-13 |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
|
