1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 电子工程/通信技术
  5. 数据通信与网络

面向测试生成的信息表扩展有限状态机模型转换研究.docxVIP

  • 1
  • 0
  • 约2.74万字
  • 约 52页
  • 2024-07-12 发布于江苏
  • 举报

面向测试生成的信息表扩展有限状态机模型转换研究.docx

    面向测试生成的信息表扩展有限状态机模型转换研究

    面向测试生成的信息表扩展有限状态机模型转换研究

    PAGE

    PAGE1

    PAGE

    PAGE3

    摘要

    移动设备和内容的爆炸式增长，服务器虚拟化以及云服务的出现推动了软件定义网络的出现与发展。为保证软件定义网络控制平面在生命周期的每个阶段的正确性，针对已发布的软件定义网络控制平面，需要通过测试找出其中存在的设计缺陷与存在错误。

    基于形式化方法的测试方法经过多年的发展，已在网络协议测试领域被证明是行之有效的。为了测试软件定义网络控制平面，针对其特性，应采用信息表扩展有限状态机进行描述。

    面向测试生成的信息表扩展有限状态机模型转换研究.docx 原文免费试下载

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >