论文部分内容阅读
基于模型检验的测试序列生成及优化方法，在描述符号模型检验原理和 CTL （计算树逻辑， Computation Tree Logic）覆盖标准的基础上，通过分析测试序列的覆盖范围，证明了测试序列的覆盖完整性，并生成和优化了安全计算机平台测试序列。
安全计算机平台测试序列的生成与优化
【摘 要】
：
基于模型检验的测试序列生成及优化方法，在描述符号模型检验原理和 CTL （计算树逻辑， Computation Tree Logic）覆盖标准的基础上，通过分析测试序列的覆盖范围，证明了测试序列的覆盖
【机 构】
：
呼和浩特民族学院计算机系
【出 处】
：
内蒙古师范大学学报：自然科学汉文版
【发表日期】
：
2014年6期
【基金项目】
：
国家电子发展基金资助项目
其他文献
【正】 近两年,一直处于低徊淡静中的武汉房地产市场倏地跃出了一匹黑马,并屡创销售奇迹:由中国宝安集团武汉房地产公司投资兴建的南湖花园城,首期开发的25万平方米安居房屋
游戏对婴幼儿的发展有重要的作用,因为它为儿童提供了发展认知能力、社会能力和运动技能的机会.但是,游戏的价值被许多残疾儿童教育者和家长所忽视.因为,残疾幼儿教育计划传
随着信息技术的迅猛发展，信息文化产业也应运而生。信息文化的兴起与发展，为社会文化注入了新的内容，丰富和扩展了社会文化的内涵和外延，对人类社会文化生活的各个领域都产生了深
通过数理统计分析，查找出机油异常消耗与柴油机零部件磨损的一些内在联系，并介绍了一些已取得成效的预防措施。
用反证法及构造法，证明了第一可数正规-闭空间、第一可数正规极大空间、第一可数正规极小空间、第一可数正规弱紧空间的等价性．
物理是一门实验学科，实验在物理学的发展过程中起着非常重要的作用。目前对物理教学实验的重视程度却不是很乐观，物理实验在物理学科中没有发挥到它应有的作用。实验室未能充分
新的《中小学健康教育指导纲要》要求学校在开展健康教育时，学科教学每学期应安排6-7课时，主要载体课程为《体育与健康》。学校用于健康教育的课时一般都很少，靠传统教学方式很
水溶性酚醛树脂是聚合物凝胶类调剖剂中广泛应用的化学交联剂,也用于制备耐温耐盐的凝胶。该凝胶易在长期高温条件下易形成果冻状冻胶,在地层剪切作用下,其结构易被破坏,降低