基于FSM的测试序列生成方法研究

来源 :计算机应用研究 | 被引量 : 11次 | 上传用户:o9876521
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了降低UIO序列方法的测试序列长度,通过研究现有的测试序列生成方法,将可逆序列引入到测试序列的生成算法中,将其作为所有转移和状态的连接序列,并利用中国农村邮递员问题的解法构造一条最短遍历路径,使得各个状态的UIO序列之间的重复部分达到最大,测试序列的整体长度被缩短。对测试序列的实验结果表明,算法能够有效降低测试序列的长度。
其他文献
为了在分子水平上研究拟除虫菊酯抗性家蝇靶标抗性机制,根据昆虫para型钠通道Ⅱ区S4至S6及Ⅱ与Ⅲ连接区的保守区域,设计简并引物,利用降落RT-PCR,克隆拟除虫菊酯kdr(R品系)家
对采自北京,郑州,商丘地区的3个淡色库蚊地理种群的蚊虫,进行了有机磷和氨基甲酸酯类抗性水平的测定;利用淀粉凝胶电泳技术分析了4个等位酶;甘油酶-3-磷酸脱氢酶(GPD)、苹果
针对目前数据挖掘系统缺乏通用性和复用性的问题,对UML进行轻量级扩展,采用UML Profile机制建立了一套关联规则挖掘元模型,实现了关联规则挖掘在概念层上的建模设计,取代了以往在具体的表结构和数据仓库系统上进行建模的方法,并在某大型钢结构企业的决策支持系统中验证了模型的有效性。最后在Analy-sis Services 2008上经过验证,利用UML Profile机制建立的关联规则挖掘元模型
应用组织学与组织化学方法观察阿苯哒唑对旋毛虫囊包幼虫的形态结构、某些酶活性及核酸含量的变化.实验结果表明,阿苯哒唑可导致囊包变形,其周围以嗜酸性粒细胞为主的炎细胞
本文在适宜的综合实验条件下通过构建生命表,研究了杀虫隆对家蝇(Musca domestica)生长发育及种群动态的影响.结果表明:杀虫隆对家蝇卵不具有杀灭作用,但能显著抑制家蝇幼虫的生
蝇密度监测是制定预防控制以蝇为媒介的传染性疾病策略、考核防制效果以及评价一个地区环境状况的依据.因此建立一种或多种具有可比性、可操作性、科学的监测方法十分重要.常