【摘 要】
：
扩展有限状态机(EFSM)相比于有限状态机(FSM)能够更加精确地刻画系统的动态行为,因而广泛作为各种控制流与数据流系统的测试模型。在EFSM模型的测试中,使用搜索的方法获得触
【机 构】
：
北京航空航天大学仪器科学与光电工程学院;
论文部分内容阅读
扩展有限状态机(EFSM)相比于有限状态机(FSM)能够更加精确地刻画系统的动态行为,因而广泛作为各种控制流与数据流系统的测试模型。在EFSM模型的测试中,使用搜索的方法获得触发目标测试路径的测试数据是近年来的一个研究热点。为进一步提高搜索效率,在遗传算法(GA)的基础上提出一种自动分离测试路径中无关输入变量的方法,该方法通过分析模型中变量与迁移间的关系,判定不影响子路径中谓词条件的无关输入变量,进而从个体中将其分离以实现搜索空间的自动缩减,提升测试数据生成效率。对几种具有不同复杂度的基准EFSM模型进行实验后的结果表明,该方法生成有效测试数据的成功率均达到98. 2%以上,且与未分离输入变量的遗传算法相比,所需平均迭代次数减少44. 7%～85. 9%,平均运行时间减少24. 1%～85. 5%。
其他文献
建立了厚板双面双TIG打底焊有限元模型,并通过焊接试验验证该模型的合理性及准确性.在此基础上分别对不同错边及钝边的坡口形式下厚板打底焊温度场进行了模拟.结果表明,随着
随着供给侧结构改革的推进,从供给侧分析产业结构升级机制受到广泛关注。本文从产业高端化、资源利用效率化和发展绿色化三个视角,构建产业结构升级指标体系,基于我国2004~20
<正>在2018年博鳌亚洲论坛中,我国针对寿险业提出了人身险公司的外资持股比例上限将放宽到51%,三年以后不再设限的利好政策。其实,从持股比例放松到业务范围放开,寿险业开放
对于胶状乳化炸药,在其实际制作及应用中,还存在一些因素,影响其化学敏化性,从而将改变胶状乳化炸药的质量性能。结合现在先进的胶状乳化炸药生产工艺,分析胶状乳化炸药化学
大学生学习积极性受内在因素和外在因素的综合影响。外在因素中包括不同心理尺度的因素。通过设计问卷，调查不同心理尺度对大学生学习积极性的影响。结果表明：小环境对大学生学
目的探究分析对支气管扩张症患者实施临床护理的护理措施。方法纳入2016年1月~2018年1月在我院接受治疗的56例支气管扩张症患者作为病理样本分析对象,对其临床资料进行回顾性
燃气传输管路的水力计算是城市燃气输配教学内容中重要的理论教学内容,针对＂燃气应用技术＂教学过程中水力计算存在较大难度问题,借助Aspen HYSYS软件实现燃气长输管路的阻力计
为了解决现有水声通信系统中FPGA目标程序不能在线更新的问题,提供一种在线更新目标程序的方法及系统。待更新的目标程序经由以太网传输链路发送至包含FPGA的传输节点,FPGA通
随着国际贸易的不断发展,中国市场上进口有机食品的来源国与认证种类越来越丰富。认证与来源国是重要的质量线索,但目前尚无学者基于统一有机认证体系探究食品的来源国效应。