%0 Journal Article
%T Network Protocol Conformance Testing:An Overview<br>网络协议一致性测试研究综述
%A ZHU Xue-feng
%A XU Jian-jun
%A ZOU Biao
%A ZHANG Zhe
%A SUN Lei
%A <br>朱雪峰
%A 许建军
%A 邹彪
%A 张哲
%A 孙雷
%J 计算机科学
%D 2009
%I 
%X 一致性测试是网络协议验证中最为基本的部分.虽然大量的研究与实践对此问题做过深入的探讨,但是到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法.从协议一致性描述方法入手,分别从一致性测试的体系结构、方法以及测试生成技术等方面对协议一致性测试技术进行了综合研究,最后对其中存在的问题给出了基本解决思路.
%K Network protocol
%K Conformance testing
%K Formal method<br>网络协议
%K 一致性测试
%K 形式化方法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=6CCDFA26849A13A47C844A5D7E9D92B2&yid=DE12191FBD62783C&vid=933658645952ED9F&iid=59906B3B2830C2C5&sid=94C357A881DFC066&eid=DF92D298D3FF1E6E&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=5