计算机工程 ›› 2012, Vol. 38 ›› Issue (16): 44-48.doi: 10.3969/j.issn.1000-3428.2012.16.011

• 软件技术与数据库 • 上一篇    下一篇

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

张 娟 1,2,3,童维勤 1,蔡立志 3   

  1. (1. 上海大学计算机工程与科学学院,上海 200047;2. 江西财经大学,南昌 330013;3. 上海市计算机软件评测重点实验室,上海 200235)
  • 收稿日期:2011-09-14 修回日期:2011-12-13 出版日期:2012-08-20 发布日期:2012-08-17
  • 作者简介:张 娟(1975-),女,工程师,主研方向:软件测试;童维勤,教授、博士生导师;蔡立志,博士
  • 基金项目:
    国家火炬计划基金资助项目(2009GH510068);上海市科委科研计划基金资助项目(10DZ2291800)

Formalized Description of Reusable Test Case Based on Z Specification

ZHANG Juan 1,2,3, TONG Wei-qin 1, CAI Li-zhi 3   

  1. (1. School of Computer Engineering and Science, Shanghai University, Shanghai 200047, China; 2. Jiangxi University of Finance and Economics, Nanchang 330013, China; 3. Shanghai Key Laboratory of Computer Software Evaluating & Testing, Shanghai 200235, China)
  • Received:2011-09-14 Revised:2011-12-13 Online:2012-08-20 Published:2012-08-17

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

关键词: 测试用例库, 测试用例套, 测试项, 形式化描述, Z规格说明, 软件测试

Abstract: Reusable and unified description criteria is the condition of test case reuse. This criteria gives the good reuse system to test cases. In order to increase the reusability of test cases, by following the principle of minimizing the composition of test case, this paper gives the concepts and formalized definitions of test item, test case, test case suite and test case library, etc. The formalized description to test cases in the test case library, by using Z specification, ensures the accurate and unambiguous to reusable test case library. Application result shows that the method can improve the test cases reusability.

Key words: test case library, test case suite, test item, formalized description, Z specification, software test

中图分类号: