期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
扩展的语义分析的WAP协议缺陷测试
1
作者 龙钊 李巍海 +1 位作者 刘刚 吕玉琴 《世界科技研究与发展》 CSCD 2009年第1期77-80,共4页
首先介绍了一种基于语义分析的缺陷测试技术。该测试方法利用语义测试及软件错误注入来进行测试。它比传统测试的成本要小,同时能达到很好的效果。但该方法只能检测协议实现级别的漏洞,而不能检测协议设计中可能存在的缺陷。本文结合了P... 首先介绍了一种基于语义分析的缺陷测试技术。该测试方法利用语义测试及软件错误注入来进行测试。它比传统测试的成本要小,同时能达到很好的效果。但该方法只能检测协议实现级别的漏洞,而不能检测协议设计中可能存在的缺陷。本文结合了Petri网在协议测试方面的优点提出了一种扩展的语义分析的协议缺陷测试方法。它能通过对协议Petri网模型的分析来捕获协议层面的缺陷,而为此所需的额外开销是很小的。这弥补了原缺陷测试在协议层面的不足。之后对该方法各个阶段进行了介绍。对WAP-WSP协议的进行了缺陷测试,并对结果进行了分析,证明其可行性。 展开更多
关键词 缺陷测试 语义分析 协议测试 VOPN PETRI网
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部