[发明专利]一种开发中软件定义网络应用安全属性测试方法

说明书

本发明公开了一种开发中软件定义网络应用安全属性测试方法，该测试方法包括，构建与开发中软件定义网络应用的功能说明相适应的形式化模型及安全约束。利用模型检测工具检测形式化模型，如果存在对安全约束的违反，则生成并输出对应的反例；如果不存在违反，则为最终版本的功能说明。如果有反例输出，则根据反例生成测试脚本。使用测试脚本对原型实现进行测试，如存在通过的测试判决，则对应修改功能说明和原型实现；如不存在通过的测试判决，则为最终版本的原型实现，测试终止。重复前述步骤，直至产生最终版本的功能说明和原型实现。该方法实现了对开发中的软件定义网络应用进行迭代测试，利于软件定义网络应用的开发。

技术领域

本发明属于网络协议测试技术领域，具体地说，尤其涉及一种开发中软件定义网络应用安全属性测试方法。

背景技术

协议测试技术是保证网络通信协议能够正确实现，以及不同的网络设备之间实现正确互连的重要手段。一致性测试是基本的协议测试方法，其主要用于检测协议的实现是否与协议的规范相一致。安全属性测试是基于一致性测试的扩展测试方法，其主要用于检测协议的实现中是否存在安全漏洞。

基于模型检测的测试是这一领域中的重要问题，其主要是基于模型检测来发现协议规范中存在的错误，生成用于测试协议实现的测试集(或测试脚本)。在大多数已提出的基于模型检测的测试技术中，其基本思想是根据协议规范建立形式化模型，使用模型检测工具查找模型中存在的错误，进而生成对应的测试集并针对协议实现进行测试。

现有技术中基于模型检测的测试方法仅考虑已发布版本的协议实现，对于开发中的协议实现进行测试并没有涉及。而软件定义网络应用是一种新型的网络协议，大多数软件定义网络应用都采用开源项目的方式进行开发，开发周期透明且经过多个版本迭代，需要针对开发中的原型实现进行测试，现有的测试方法难以适用。

发明内容

本发明所要解决的技术问题之一是现有技术中基于模型检测的测试方法存在局限于测试已发布版本的协议实现，不支持针对开发中的软件定义网络应用原型实现进行迭代测试，不利于软件定义网络应用开发的问题。

为了解决上述技术问题，本申请的实施例首先提供了一种开发中软件定义网络应用安全属性测试方法，包括：

根据开发中软件定义网络应用的功能说明提取安全属性，构建与功能说明相适应的形式化模型以及与安全属性相适应的安全约束。

利用模型检测工具探索所述形式化模型的状态空间，如果存在对所述安全约束的违反，则由模型检测工具生成并输出与所述违反对应的反例；如果不存在对所述安全约束的违反，则所述功能说明为最终版本的功能说明，所述安全属性为最终版本的安全属性。

如果有所述反例输出，对所述反例进行解析，根据反例中的进程列表与消息序列生成测试脚本。

使用已有的所有所述测试脚本对开发中软件定义网络应用的原型实现进行测试，如测试结果中存在一个或多个通过的测试判决，则对应修改所述功能说明和所述原型实现，形成新版本的功能说明和新版本的原型实现；如测试结果中不存在通过的测试判决，则所述原型实现为最终版本的原型实现，测试终止。

重复前述步骤，直至产生所述最终版本的功能说明、所述最终版本的安全属性和所述最终版本的原型实现。

优选地，所述开发中软件定义网络应用是正在开发过程中、尚未正式发布的、运行于软件定义网络控制器平台上的软件应用，包括功能说明和原型实现，所述功能说明是用于描述所述开发中软件定义网络应用所具备的功能的文档，所述原型实现是具备所述开发中软件定义网络应用功能的可执行程序。

优选地，所述安全属性包括所述开发中软件定义网络应用应遵循的网络安全规则和具备的网络安全功能；所述形式化模型包括描述软件定义网络应用实体的进程，描述软件定义网络通信链路的信道，以及描述软件定义网络应用数据的数据结构；所述安全约束包含所述形式化模型遵循所述安全属性，必须满足的条件。