【摘 要】
：
为解决当前Simulink模型变异测试中测试执行开销大、测试用例生成效率低等问题,首先根据当前的Simulink模型变异算子集,基于程序变异技术提出了Simulink模型的变异测试过程和
【机 构】
：
北京航空航天大学可靠性与系统工程学院;
【基金项目】
：
航空科学基金资助项目(20095551025);中央高校基本科研业务费专项资金资助项目(YWF-11-03-Q-114)
论文部分内容阅读
为解决当前Simulink模型变异测试中测试执行开销大、测试用例生成效率低等问题,首先根据当前的Simulink模型变异算子集,基于程序变异技术提出了Simulink模型的变异测试过程和一组改进变异算子集.实验表明,在不影响测试用例集变异评分的情况下,该组变异算子集能够有效减少变异模型的生成数量,从而降低测试开销.其次,设计了一种基于搜索的Simulink模型变异测试用例生成方法,该方法将变异模型的测试用例生成问题转换为目标函数极小化问题,通过模拟退火算法对目标函数寻优,最终搜索出能够杀死该变异模型的测试用例.最后,将该方法应用于典型案例,验证了方法的正确性和有效性.
其他文献
目的研究穴位贴敷对运动性疲劳的改善状况。方法将50名大学生运动员随机分为贴敷组和假贴敷组。观察运动员的主观感觉疲劳程度评分(RPE)、心境状态量表(POMS)主观指标的变化,
本文采用枳术丸对三种不同证型小儿厌食证进行治疗，观察治疗前后日摄食量的改变、临床症状积分的改变，以及不同证型与疗效的关系。表明枳术丸对脾失健运、胃阴不足两型厌食证的
针对已有的节点重要性评价方法,基于节点的移除可能导致网络拓扑结构变化的不足,提出了一种利用节点间关联特性的通信网络节点重要性评价方法.该方法定义的节点重要性贡献矩
随着素质教育和新课程改革的不断推进,目前对于初中物理教学也有了一些新的要求,尤其是对于在初中的物理教学内容而言,出现了一些新的变化,因为在初中物理学习中物理实验占有
<正>一、引言定向增发新股成为股权分置改革后中国上市公司股权再融资的主要工具。不同于公开增发(SEO),证监会对于定向增发没有明确的盈利要求,业绩平平甚至亏损的企业理论
论文研究并设计了基于移动客户端的供电网格服务平台,能够有效支撑供电服务网格作业流程,整合客户服务信息资源,建立高效的供电服务网格沟通渠道。平台与后端各营销信息系统
<正> 《中华人民共和国消费者权益保护法》(以下简称《消法》)自实施以来,在保护消费者合法权益,打击侵害消费者的行为方面发挥了极为重要的作用,各地立法机关更是依据《消法
随着我国社会主义市场经济的逐步建立和不断完善,项目投资的多元化和投资环境的复杂化,现行的财务评价指标仍然难以完全适应经济形势迅速发展的需要的现状出发,分析了投资项
苗族家庭教育的内容和方式很有特点,对它进行研究,有利于了解苗族家庭教育的历史与现状,据此,可以为促进苗族乃至整个少数民族教育的发展,提高少数民族人口的文化素质提供理
为了降低变速箱啸叫,以MASTA为平台,建立了变速箱啸叫分析模型,对引起啸叫的主要激励进行了分析。在充分考虑变速箱壳体、轴承、轴及齿轮等零部件柔性变形叠加对齿轮传递误差