您的位置： 专家智库 > >

龙钊

作品数：1 被引量：0H指数：0
供职机构：北京邮电大学电子工程学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇语义
  • 1篇语义分析
  • 1篇WAP协议
  • 1篇PETRI网

机构

  • 1篇北京邮电大学

作者

  • 1篇李巍海
  • 1篇刘刚
  • 1篇吕玉琴
  • 1篇龙钊

传媒

  • 1篇世界科技研究...

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
扩展的语义分析的WAP协议缺陷测试
2009年
首先介绍了一种基于语义分析的缺陷测试技术。该测试方法利用语义测试及软件错误注入来进行测试。它比传统测试的成本要小,同时能达到很好的效果。但该方法只能检测协议实现级别的漏洞,而不能检测协议设计中可能存在的缺陷。本文结合了Petri网在协议测试方面的优点提出了一种扩展的语义分析的协议缺陷测试方法。它能通过对协议Petri网模型的分析来捕获协议层面的缺陷,而为此所需的额外开销是很小的。这弥补了原缺陷测试在协议层面的不足。之后对该方法各个阶段进行了介绍。对WAP-WSP协议的进行了缺陷测试,并对结果进行了分析,证明其可行性。
龙钊李巍海刘刚吕玉琴
关键词：语义分析PETRI网
全选 清除 导出
共1页<1>
聚类工具0