计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2012年
16期
44-48
,共5页
测试用例库%测试用例套%测试项%形式化描述%Z规格说明%软件测试
測試用例庫%測試用例套%測試項%形式化描述%Z規格說明%軟件測試
측시용례고%측시용례투%측시항%형식화묘술%Z규격설명%연건측시
可复用的、统一的描述规范是测试用例复用的前提条件,能够为测试用例的共享提供良好的复用机制.为此,遵循测试用例最小粒度划分的原则,针对基于Z规格说明的软件测试,提出测试项、测试用例、测试用例套、测试用例库等概念,并给出这些概念的形式化定义.通过Z规格说明对可复用测试用例库进行描述,保证该用例库的描述准确和无二义性.应用结果证明,该方法能提高测试用例的可复用性.
可複用的、統一的描述規範是測試用例複用的前提條件,能夠為測試用例的共享提供良好的複用機製.為此,遵循測試用例最小粒度劃分的原則,針對基于Z規格說明的軟件測試,提齣測試項、測試用例、測試用例套、測試用例庫等概唸,併給齣這些概唸的形式化定義.通過Z規格說明對可複用測試用例庫進行描述,保證該用例庫的描述準確和無二義性.應用結果證明,該方法能提高測試用例的可複用性.
가복용적、통일적묘술규범시측시용례복용적전제조건,능구위측시용례적공향제공량호적복용궤제.위차,준순측시용례최소립도화분적원칙,침대기우Z규격설명적연건측시,제출측시항、측시용례、측시용례투、측시용례고등개념,병급출저사개념적형식화정의.통과Z규격설명대가복용측시용례고진행묘술,보증해용례고적묘술준학화무이의성.응용결과증명,해방법능제고측시용례적가복용성.