世界科技研究与发展
世界科技研究與髮展
세계과기연구여발전
WORLD SCI-TECH R & D
2009年
1期
77-80
,共4页
龙钊%李巍海%刘刚%吕玉琴
龍釗%李巍海%劉剛%呂玉琴
룡쇠%리외해%류강%려옥금
缺陷测试%语义分析%协议测试%VOPN%Petri网
缺陷測試%語義分析%協議測試%VOPN%Petri網
결함측시%어의분석%협의측시%VOPN%Petri망
首先介绍了一种基于语义分析的缺陷测试技术.该测试方法利用语义测试及软件错误注入来进行测试.它比传统测试的成本要小,同时能达到很好的效果.但该方法只能检测协议实现级别的漏洞,而不能检测协议设计中可能存在的缺陷.本文结合了Petri网在协议测试方面的优点提出了一种扩展的语义分析的协议缺陷测试方法.它能通过对协议Petri网模型的分析来捕获协议层面的缺陷,而为此所需的额外开销是很小的.这弥补了原缺陷测试在协议层面的不足.之后对该方法各个阶段进行了介绍.对WAP-WSP协议的进行了缺陷测试,并对结果进行了分析,证明其可行性.
首先介紹瞭一種基于語義分析的缺陷測試技術.該測試方法利用語義測試及軟件錯誤註入來進行測試.它比傳統測試的成本要小,同時能達到很好的效果.但該方法隻能檢測協議實現級彆的漏洞,而不能檢測協議設計中可能存在的缺陷.本文結閤瞭Petri網在協議測試方麵的優點提齣瞭一種擴展的語義分析的協議缺陷測試方法.它能通過對協議Petri網模型的分析來捕穫協議層麵的缺陷,而為此所需的額外開銷是很小的.這瀰補瞭原缺陷測試在協議層麵的不足.之後對該方法各箇階段進行瞭介紹.對WAP-WSP協議的進行瞭缺陷測試,併對結果進行瞭分析,證明其可行性.
수선개소료일충기우어의분석적결함측시기술.해측시방법이용어의측시급연건착오주입래진행측시.타비전통측시적성본요소,동시능체도흔호적효과.단해방법지능검측협의실현급별적루동,이불능검측협의설계중가능존재적결함.본문결합료Petri망재협의측시방면적우점제출료일충확전적어의분석적협의결함측시방법.타능통과대협의Petri망모형적분석래포획협의층면적결함,이위차소수적액외개소시흔소적.저미보료원결함측시재협의층면적불족.지후대해방법각개계단진행료개소.대WAP-WSP협의적진행료결함측시,병대결과진행료분석,증명기가행성.
