【摘 要】
：
针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN（colored petri net）、面向属性的协议一致性测试序列生成方法。首先,构建被测协议规范的CPN模型,即协议模型,并将被
【机 构】
：
内蒙古大学计算机学院,中国科学院计算技术研究所
【基金项目】
：
国家自然科学基金资助项目(61163011);内蒙古自治区自然科学基金重点资助项目(2011MS0912)
论文部分内容阅读
针对状态空间规模较大的协议,提出了一种基于着色Petri网CPN（colored petri net）、面向属性的协议一致性测试序列生成方法。首先,构建被测协议规范的CPN模型,即协议模型,并将被测协议的若干功能属性采用CPN进行形式描述,形成属性模型。提出了属性模型到协议模型的状态投影算法、模型状态空间的路径匹配算法和搜索算法,基于这些算法给出了一种完整的基于属性的测试序列生成方法。该方法不但可以有效避免协议规模庞大所导致的状态爆炸问题,而且还对测试中的PCO库所进行了特殊标识,完成测试序列中可观察元素
其他文献
企业清算的所得税处理，是指企业在不再持续经营，转入结束自身业务、处置资产、偿还债务以及向所有者分配剩余财产等经济行为时，对清算所得、清算所得税、股息分配等事项的处理。
安全文化作为企业文化建设的重要组成部分，逐渐被越来越多的煤矿企业重视起来，用于推动企业管理水平的全面提升。安全生产管理作为现代企业文明生产的重要标志之一，在企业管理中
目的建立HPLC双波长法同时测定红花药材中羟基红花黄色素A、芦丁、槲皮素和山柰酚含量的方法,为红花质量标准的研究提供科学依据。方法采用Agilent ZORBAX SB-C18(4.6 mm×25
2009年,温岭市城西街道元宝山发现两座东瓯国的墓葬,出土印纹硬陶、印纹软陶、泥质陶、硬陶等9件器物。这是东瓯国考古的又一个重要收获,为进一步研究东瓯国的历史提供了宝贵
本文以北京通州区小学部分骨干教师校本研究培训的实践活动为例,调查教师对专业自主能力发展的观念,认识教师日常的专业自主能力提升行为现状,分析教师参与校本研究实践的现
商业服务网点是住宅建筑独有的一种功能组合用房,其功能定性、安全疏散、平面布置、防火分隔在建筑设计规范和防火规范中并无完全明确的规定,本文根据设计工作中存在的一些问
4月23日，一篇标题为“黄老师，黄小厨方案的钱我们不要了”的微信文章在朋友圈疯传，内容是公关公司A&A Communication认为明星黄磊举办的黄小厨NOOB市集北京站活动抄袭了该公
强夯机在基础建设项目中属于重要的技术装置,其具有施工难度小、使用便捷以及环境适应性强的特征。在使用过程中,其同样具有建设周期短的特征,不过同时也存在工作条件特殊的
当地时间3月11日晚间，世卫组织总干事谭德塞在日内瓦召开的新闻发布会上宣布，新冠肺炎疫情已经构成全球性大流行。疫情正在全球蔓延，凸显各国合作共同抗疫的重要。那么，国际合作
本文介绍并实现了基于模糊PID控制的跑道轨迹识别与追踪算法,并利用颜色识别与追踪算法进行了有效性验证,针对研究问题进行了实验及数据分析,验证了算法的稳定性和准确性。