【技术实现步骤摘要】
【技术保护点】
一种基于并行扩展有限状态机的协议层次化测试生成方法,包括:步骤1,将待测试的网络设备的协议规范描述为一并行扩展有限状态机模型;步骤2,将所述并行扩展有限状态机模型中各个组件模型间的变量使用情况描述为一状态机依赖图;步骤3,根据所述状态机依赖图,采用自底向上的可达图生成算法生成组件状态机可达图;步骤4,根据所述组件状态机可达图生成组件状态机本地测试集;步骤5,根据状态机依赖图,采用自顶向下的生成算法将所述组件状态机本地测试集生成组件状态机并行测试集。
【技术特征摘要】
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。