计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2009年
5期
93-97
,共5页
周章慧%王同洋%吴俊军%张新访
週章慧%王同洋%吳俊軍%張新訪
주장혜%왕동양%오준군%장신방
健壮性测试%增强有限状态机%全球平台%安全通道协议
健壯性測試%增彊有限狀態機%全毬平檯%安全通道協議
건장성측시%증강유한상태궤%전구평태%안전통도협의
健壮性测试对软件尤其是安全产品有极其重要的意义,本文使用有限状态机来对软件产品进行建模,通过状态扩充和状态对各种异常事件的响应,构建完备的增强有限状态机,使用该模型可以进行健壮性测试.我们利用该方法对GlobalPlatform卡规范中安全通信的安全通道协议SCP02进行了测试.测试结果表明,该方法产生的测试案例包比GP组织认可的测试包具有更高的覆盖性和错误检测能力,该方法产生的案例不仅可以用于健壮性测试,也可以用于功能性和符合性测试.
健壯性測試對軟件尤其是安全產品有極其重要的意義,本文使用有限狀態機來對軟件產品進行建模,通過狀態擴充和狀態對各種異常事件的響應,構建完備的增彊有限狀態機,使用該模型可以進行健壯性測試.我們利用該方法對GlobalPlatform卡規範中安全通信的安全通道協議SCP02進行瞭測試.測試結果錶明,該方法產生的測試案例包比GP組織認可的測試包具有更高的覆蓋性和錯誤檢測能力,該方法產生的案例不僅可以用于健壯性測試,也可以用于功能性和符閤性測試.
건장성측시대연건우기시안전산품유겁기중요적의의,본문사용유한상태궤래대연건산품진행건모,통과상태확충화상태대각충이상사건적향응,구건완비적증강유한상태궤,사용해모형가이진행건장성측시.아문이용해방법대GlobalPlatform잡규범중안전통신적안전통도협의SCP02진행료측시.측시결과표명,해방법산생적측시안례포비GP조직인가적측시포구유경고적복개성화착오검측능력,해방법산생적안례불부가이용우건장성측시,야가이용우공능성화부합성측시.
