网络的日趋完善使其成为信息交互的主要载体,随之网络的安全性引起了人们的重视。网络协议的具体实现是网络的基础,因此,网络协议自身的安全性决定了整个网络的安全性。本论文主要对国产基础软件中涉及到的网络协议的安全性进行研究,然后研发出了对协议的安全性进行检测的测试工具。论文首先研究了基于形式化方法的软件测试技术,在对多种形式化描述语言及协议测试方法进行综合分析比较的基础上,选择采用RSL形式化描述语言与模糊测试技术作为开发测试工具的主要方法。为了便于协议实现模型到具体形式化描述的转换,论文选择了CSP的协议模型作为形式化描述的基础。同时,本文对几种常见的网络协议进行了研究,按协议的功能实现把被测网络协议划分为两类：多序列的网络协议和单序列的网络协议。在对协议进行形式化的基础上,论文针对划分的两种网络协议分别提出了测试用例的生成规则：对于多序列网络协议,采用动作序列和异常元素库相结合的方法生成测试用例；对于单序列网络协议,采用报文格式和异常元素库相结合的方法生成测试用例。根据这两种网络协议测试用例的生成规则对协议的模糊测试引擎进行了设计,以此为基础论文研发出了一款测试工具---网络协议安全性模糊测试工具。最后,本文通过实验的方式对工具的有效性进行了验证。验证结果表明,该工具能够有效的发现网络协议的安全漏洞,满足了国产基础软件的安全测试需求。另外,该工具不仅可以独立对协议的安全性进行测试,而且还可以通过预先定义的接口与其它测试工具协作完成测试,大大增强了工具的扩展性和通用性。