基于统计模型检验的不稳定网络鲁棒性评测方法

摘要

本发明提供一种网络系统的鲁棒性的评测系统及其工作方法。评测系统首先构造网络系统协议的时间自动机，描述协议的整体工作流程。然后，在模型中引入加权迁移对该时间自动机进行扩展，构建系统的随机时间自动机，以对环境中的不确定因素建模。基于该随机时间自动机，可以使用统计模型检验技术对系统的性能进行分析与评估，以在协议设计和选择阶段，实现参数配置、性能比较等目标。本方法主要是通过对不稳定网络系统中协议及环境的建模，分析与评估网络系统在特定环境下的性能，以此评测该网络系统的鲁棒性。统计模型检验技术基于仿真及统计的方法避免了对系统状态的穷尽搜索，在时间和空间上的消耗大大降低，能够用于处理大规模系统。

主权项

一种基于统计模型检验的不稳定网络鲁棒性评测方法，包括：工作流程建模模块、复杂环境与动态行为建模模块和测评模块；工作流程建模模块对网络系统进行建模，输出网络系统的协议的理想时间自动机；复杂环境与动态行为建模模块输入上述理想时间自动机，通过带权迁移，即给不同的迁移赋予不同的权值，并根据网络系统的不确定性输出所述协议的随机时间自动机；测评模块输入理想时间自动机和随机时间自动机，对所述网络系统的鲁棒性进行测评；网络系统的鲁棒性的评测系统包括下列步骤：步骤1：工作流程建模，构造网络系统的协议的理想时间自动机,描述协议的整体工作流程；步骤2：复杂环境与动态行为建模，在上述整体工作流程的模型中引入带权迁移，对该理想时间自动机进行扩展，构建网络系统的随机时间自动机，实现模型状态间的随机迁移，以对环境中的不确定因素建模；步骤3：检验网络系统的鲁棒性，分别对上述理想时间自动机和随机时间自动机在不同环境下的性能进行验证，理想时间自动机使用经典模型检验技术检验网络系统的正确性，而随机时间自动机利用统计模型检验技术检验网络系统的性能。