【摘 要】
：
随着嵌入式软件的可信验证在军事、航空航天、通信等领域研究的深入,如何可信验证成为了目前国内外的研究主要方向之一.本文采用基于有限状态机的正则表达式迁移覆盖测试验证
【机 构】
：
大连理工大学软件学院嵌入式系统工程系,大连116620
【出 处】
：
第七届信息安全漏洞分析与风险评估大会
论文部分内容阅读
随着嵌入式软件的可信验证在军事、航空航天、通信等领域研究的深入,如何可信验证成为了目前国内外的研究主要方向之一.本文采用基于有限状态机的正则表达式迁移覆盖测试验证方法,将测试过程分为转化处理、测试划分、验证几个阶段,确保从测试用例上对FSM中每个迁移至少覆盖一次的策略,进而对测试对象的全局变量,并发状态进行测试.验证表明在保证系统状态迁移覆盖的前提下,系统死机、重启、程序异常执行等故障是常出现的几类,经过验证数据得出故障出现率达到30％,经分析,故障问题的引发是由于逻辑设计不完备留下的缺陷,本方法针对测试验证方面具有一定的普适性,为今后相关软件方面的验证提供一个评价方法。
其他文献
在全面加强大学生劳动教育和思想政治教育的时代背景下,学校对学生培养的目标也发生了相应的转换.通过完善思想政治教育育人体系引领学生劳动价值观的形成和发展,成为了当下
公司08年业绩将平稳增长,09年产能瓶颈解决后业绩将有提速。预测08、09年业绩增长13%、22%,提高EPS预测至0.78、0.95元。07年白药的各项经营指标超出公司预定目标和市场普遍
针对信息安全风险评估领域中风险要素关系研究问题,提出面向控制措施选择方法的多目标决策风险分析模型.与现有研究成果相比较,该风险分析模型的优势在于充分考虑威胁、脆弱
教学过程是教师将教学内容通过一定的方法、教学手段传授给学生.教师在这一过程中,不光是简单的讲解知识,还要及时了解学生对所学内容的掌握情况,掌握教学的信息反馈,调控课
近年来相关研究提出了浏览器指纹的获取和识别方法,借助于网页中的动态代码获取浏览器版本、字体、插件等用户指纹信息.但由于浏览器指纹会随着用户的使用而发生变化,完全静
缺什么别缺德程建平江南有名城，昔日是造假者＂乐园＂。如今，这里到处在铁面无私抓质量，城市更见繁荣。去年，笔者在这里买下了空调、隔音设备、稳压器具等万余元商品，用后果真质量非凡
注意观察一下，你会发现，我们周围有很多身材本应是凹凸有致的女性，却时时呈僵硬之态。从养生的角度来看，这其实就是不注意养肝的结果。因为肝“在体合筋，开窍于目，其华在爪”。肝不好，人的筋骨自然是僵硬不堪。反过来说，如果能时常活动活动筋骨，自然可活血养肝。 如果你是一个对锻炼略有体会的人，便会发现，当我们在清晨刚刚醒来或者工作比较劳累的时候，伸一伸懒腰会有说不出的惬意，那种神清气爽的感觉自不必言说。其
早熟温州蜜柑着色气温及其利用张力田，邹大桥（湖北省农科院果茶研究所武昌４３０２０９）（湖北省宜昌市柑桔研究所）我国长江中下游的北缘柑桔产区，冬有严寒、夏有酷暑。科技工作者经几十年的研究
受中国工程建设标准化协会水运工程委员会荷载分委会的委托,交通部天津水运工程科研所于1991年承担了“港口汽车起重机荷载测试及分析”课题的研究。1993年6月3日在郑州由河
新课标指出“教学时应该以学生为主体,教师是学生数学活动的组织者、引导者与合作者”,这句话很好地阐述了教师和学生在课堂上的地位与作用.如果每节课教师都能巧妙地引导学