摘要: 可复用的、统一的描述规范是测试用例复用的前提条件,能够为测试用例的共享提供良好的复用机制。为此,遵循测试用例最小粒度划分的原则,针对基于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
中图分类号:
张娟, 童维勤, 蔡立志. 基于Z规格说明的可复用测试用例形式化描述[J]. 计算机工程, 2012, 38(16): 44-48.
ZHANG Juan, TONG Wei-Qi, CA Li-Zhi. Formalized Description of Reusable Test Case Based on Z Specification[J]. Computer Engineering, 2012, 38(16): 44-48.