扩展的语义分析的WAP协议缺陷测试.PDF

第３１卷 第１期 世界科技研究与发展 Ｖｏｌ．３１ Ｎｏ．１ 　 　 ２００９年２月 ７７－８０页 ＷＯＲＬＤＳＣＩＴＥＣＨＲ＆Ｄ Ｆｅｂ．２００９ ｐｐ．７７－８０ 扩展的语义分析的ＷＡＰ协议缺陷测试 龙　钊　李巍海　刘　刚　吕玉琴 （北京邮电大学电子工程学院，北京１００８７６） 摘　要：首先介绍了一种基于语义分析的缺陷测试技术。该测试方法利用语义测试及软件错误注入来进行测试。它比传统测试 的成本要小，同时能达到很好的效果。但该方法只能检测协议实现级别的漏洞，而不能检测协议设计中可能存在的缺陷。本文结 合了Ｐｅｔｒｉ网在协议测试方面的优点提出了一种扩展的语义分析的协议缺陷测试方法。它能通过对协议Ｐｅｔｒｉ网模型的分析来捕 获协议层面的缺陷，而为此所需的额外开销是很小的。这弥补了原缺陷测试在协议层面的不足。之后对该方法各个阶段进行了 介绍。对ＷＡＰＷＳＰ协议的进行了缺陷测试，并对结果进行了分析，证明其可行性。 关键词：缺陷测试；语义分析；协议测试；ＶＯＰＮＰｅｔｒｉ网 中图分类号：ＴＰ３９３．０４　　　文献标识码：Ａ　　　  ＡｎＥｘｔｅｎｄｅｄＶｕｌｎｅｒａｂｉｌｉｔｙＴｅｓｔｉｎｇｏｆＷＡＰＰｒｏｔｏｃｏｌｔｈｒｏｕｇｈＳｙｎｔａｘＡｎａｌｙｓｉｓ ＬＯＮＧＺｈａｏ　ＬＩＷｅｉｈａｉ　ＬＩＵＧａｎｇ　ＬＹｕｑｉｎ （ＳｃｈｏｏｌｏｆＥｌｅｃｔｒｏｎｉｃＥｎｇｉｎｅｅｒｉｎｇ，ＢｅｉｊｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＰｏｓｔａｎｄＴｅｌｅｃｏｍｍｕｎｉｃａｔｉｏｎ，Ｂｅｉｊｉｎｇ１００８７６） Ａｂｓｔｒａｃｔ：Ａｖｕｌｎｅｒａｂｉｌｉｔｙｔｅｓｔｉｎｇｍｅｔｈｏｄｂａｓｅｄｏｎｓｙｎｔａｘａｎａｌｙｓｉｓｉｓｉｎｔｒｏｄｕｃｅｄｆｉｒｓｔ．Ｔｈｅｔｅｓｔｉｎｇｍｅｔｈｏｄｗｏｒｋｓｂｙｓｙｎｔａｘｔｅｓｔｉｎｇａｎｄｓｏｆｔｗａｒｅ ｆａｕｌｔｉｎｊｅｃｔｉｏｎａｎｄｉｔｃｏｓｔｓｌｅｓｓｔｈａｎｔｒａｄｉｔｉｏｎａｌｔｅｓｔｉｎｇｍｅｔｈｏｄｓｔｏａｃｈｉｅｖｅｇｏｏｄｅｆｆｅｃｔ．Ｈｏｗｅｖｅｒ，ｉｔｃａｎｏｎｌｙｃａｔｃｈｔｈｅｂｕｇｓｏｎｉｍｐｌｅｍｅｎｔａｔｉｏｎ ｌｅｖｅｌ，ｂｕｔｃａｎｎｏｔｃｈｅｃｋｔｈｅｂｕｇｓｏｎｐｒｏｔｏｃｏｌｄｅｓｉｇｎｌｅｖｅｌ．Ｉｎｔｈｉｓｐａｐｅｒ，ａｎｅｘｔｅｎｄｅｄｖｕｌｎｅｒａｂｉｌｉｔｙｔｅｓｔｉｎｇｍｅｔｈｏｄｆｏｒｃｏｍｍｕｎｉｃａｔｉｏｎｐｒｏｔｏｃｏｌ， ｗｈｉｃｈｉｓｃｏｍｂｉｎｅｄｗｉｔｈｔｈｅｓｕｐｅｒｉｏｒｉｔｙｏｆＰｅｔｒｉＮｅｔｓｙｓｔｅｍ，ｉｓｂｒｏｕｇｈｔｆｏｒｗａｒｄ．Ｔｈｅｅｘｔｅｎｄｅｄｍｅｔｈｏｄｃａｎｃａｔｃｈｔｈｅｂｕｇｓｏｎｐｒｏｔｏｃｏｌｄｅｓｉｇｎ ｌｅｖｅｌｂｙａｎａｌｙｚｉｎｇｔｈｅＰｅｔｒｉＮｅｔｍｏｄｅｌｏｆｔｈｅｐｒｏｔｏｃｏｌ，ａｎｄｔｈｅａｄｄｉｔｉｏｎａｌｃｏｓｔｉｓｓｍａｌｌ．ＡｖｕｌｎｅｒａｂｉｌｉｔｙｔｅｓｔｉｎｇｏｆＷＡＰＷＳＰｐｒｏｔｏｃｏｌｉｓｍａｄｅ ａｎｄｔｈｅｒｅｓｕｌｔｉｓａｎａｌｙｚｅｄｔｏｐｒｏｖｅｔｈｅｆｅａｓｉｂｉｌｉｔｙｏｆｔｈｅｍｅｔｈｏｄ． Ｋｅｙｗｏｒｄｓ：ｖｕｌｎｅｒａｂｉｌｉｔｙｔｅｓｔｉｎｇ；ｓｙｎｔａｘａｎａｌｙｓｉｓｌ；ｐｒｏｔｏｃｏｌｔｅｓｔｉｎｇ；ＶＯＰＮＰｅｔｒｉＮｅｔ 点，但也存在其局限性。 １　引言