基于Token选取的OpenStack单一平面网络建模方法

摘要：

CPN形式化建模适合为包含大量并发、通信、同步共享行为的软硬件系统建立形式模型,并完成系统功能和性能等方面的行为分析.在传统的CPN建模中,token的选取采用穷举法,由此造成生成的token数量较多、CPN模型生成的状态空间相当庞大甚至状态空间爆炸等问题.针对上述问题,提出将符号执行与CPN建模相结合,并在CPN模型的执行过程中采用一种基于token选取的方法,进而得到CPN模型的状态可达图.通过对OpenStack云平台支持创建的单一平面网络进行CPN建模,针对传统方法和所提方法生成的状态空间,分析了其规模的变化,验证了所提方法的有效性.

关键词：CPN、符号执行、token选择、OpenStack、单一平面网络

所属期刊栏目：43

分类号：TP393.1(计算技术、计算机技术)

资助基金：国家自然科学基金项目61163011,61262082

在线出版日期：2017-03-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：66-70,106