基于token选取的openstack单一平面网络建模方法-计算机科学.pdfVIP

第 43 卷第11 期 计算机科学 Vo 1. 43 No. 11 2016 年 11 月 Computer Science Nov 2016 基于 Token 选取的 OpenStack 单一平面网络建模方法 李华1 ， 2 邢熠1 张玉荣1 (内蒙古大学计算机学院 呼和浩特 010021) 1 (内蒙古大学网络信息中心 呼和浩特 010021) 2 摘 要 CPN 形式化建模适合为包含大量并发、通信、同步共享行为的软硬件系统建立形式模型，并完成系统功能和 性能等方面的行为分析。在传统的 CPN 建模中，token 的选取采用穷举法，由此造成生成的 token 数量较多、CPN 模 型生成的状态空间相当庞大甚至状态空间爆炸等问题。针对上述问题，提出将符号执行与 CPN 建模相结合，并在 CPN模型的执行过程