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

Formalized Description of Reusable Test Case Based on Z Specification

作　　者：张娟[1,2,3] 童维勤[1] 蔡立志[3] 

机构地区：[1]上海大学计算机工程与科学学院,上海200047 [2]江西财经大学,南昌330013 [3]上海市计算机软件评测重点实验室,上海200235

出　　处：《计算机工程》2012年第16期44-48,共5页Computer Engineering

基　　金：国家火炬计划基金资助项目(2009GH510068);上海市科委科研计划基金资助项目(10DZ2291800)

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

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]