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

摘要

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