| 扩展的语义分析的WAP协议缺陷测试 |
| |
| 引用本文： | 龙钊,李巍海,刘刚,吕玉琴.扩展的语义分析的WAP协议缺陷测试[J].世界科技研究与发展,2009,31(1):77-80. |
| |
| 作者姓名： | 龙钊 李巍海 刘刚 吕玉琴 |
| |
| 作者单位： | 北京邮电大学电子工程学院,北京,100876 |
| |
| 摘 要： | 首先介绍了一种基于语义分析的缺陷测试技术.该测试方法利用语义测试及软件错误注入来进行测试.它比传统测试的成本要小,同时能达到很好的效果.但该方法只能检测协议实现级别的漏洞,而不能检测协议设计中可能存在的缺陷.本文结合了Petri网在协议测试方面的优点提出了一种扩展的语义分析的协议缺陷测试方法.它能通过对协议Petri网模型的分析来捕获协议层面的缺陷,而为此所需的额外开销是很小的.这弥补了原缺陷测试在协议层面的不足.之后对该方法各个阶段进行了介绍.对WAP-WSP协议的进行了缺陷测试,并对结果进行了分析,证明其可行性.
|
| 关 键 词： | 缺陷测试 语义分析 协议测试 VOPN Petri网 |
An Extended Vulnerability Testing of WAP Protocol through Syntax Analysis |
| |
| LONG Zhao,LI Weihai,LIU Gang,LU Yuqin.An Extended Vulnerability Testing of WAP Protocol through Syntax Analysis[J].World Sci-tech R & D,2009,31(1):77-80. |
| |
| Authors: | LONG Zhao LI Weihai LIU Gang LU Yuqin |
| |
| Institution: | LONG Zhao LI Weihai LIU Gang LU Yuqin |
| |
| Abstract: | |
| |
| Keywords: | VOPN |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
