【摘 要】
：
针对基于模型的抽象测试用例在列控安全关键软件测试中的可执行问题,从软件DFSM模型抽象测试用例实例化为可执行测试用例的过程入手,提出了输入空间划分和逻辑覆盖相结合的抽
【基金项目】
：
国家自然科学基金青年基金项目(61703349)资助;中央高校基本科研业务费专项(2682017CX101,2682017ZDPY10)资助;中国铁路总公司科技研究开发计划课题(2017X007-D)资助;甘肃省高原交通信息工程及控制重点实验室项目(20161103)资助
论文部分内容阅读
针对基于模型的抽象测试用例在列控安全关键软件测试中的可执行问题,从软件DFSM模型抽象测试用例实例化为可执行测试用例的过程入手,提出了输入空间划分和逻辑覆盖相结合的抽象测试用例自动实例化方法.首先,根据模型测试路径中各迁移条件的逻辑表达式,生成满足逻辑覆盖准则的子句逻辑值组合;其次,对表达式中的输入变量进行输入空间划分,得到各变量的取值集合;然后,以子句的逻辑值组合为约束条件,计算取值集合中满足条件的取值子集将其作为测试输入,并将各变量的测试输入子集进行组合,以此生成可执行的测试用例.最后,以CTCS-0/CTCS-2车载设备手动等级转换功能为研究对象,验证该方法的可行性.
其他文献
目的探索盐酸戊乙奎醚与山莨菪碱治疗休克患者的临床价值。方法选取2016年4月至2018年5月在本院治疗的休克患者87例。休克患者被归类为山莨菪碱治疗组(对照组):43例患者使用
景观治理是自然保护地治理体系中的重要组成部分。将自然保护地景观治理作为一种特殊的空间治理,引入列斐伏尔“三元空间理论”。以长沟泉水国家湿地公园局部景观为案例,探讨
随着经济的发展，在蘑菇栽培技术上逐渐引进了大棚栽培技术，利用大棚栽培蘑菇操作方便，大棚保温性好，易获得蘑菇高产，掌握好大棚蘑菇栽培技术，它将是一个很好的致富途径。文章简要介
飞机舱门纵梁是飞机舱门上的主承力件,对飞机舱门的结构强度有着巨大影响。该文通过论述高速切削技术特点、应用领域,分析了梁类零件的结构特点和加工难点,介绍一种针对梁类
EAP（企业员工帮助计划）利用短程焦点技术解决了管理者和员工工作和生活中大量的问题和困扰，在辅导管理者如何与员工进行绩效谈话上发挥了显著作用，方法简单易学，方向积极向上，是提
青花图案用于现代设计是设计界近几年出现的设计思潮，青花图案再现延伸到手机外观、服装、建筑、小商品外包装等设计领域，以白地青花素淡高雅、古风古韵的艺术风格冲击审美视野
城镇化进程中的社区承担着国家社会主义核心价值观文化建设的重要任务。在多民族杂居的青海城镇社区中,培育和践行社会主义核心价值观呈现着特殊态势。本研究立足青海城镇地
电力调度的数据网络是电力调度中心日常活动的基本控制与管理对象，时电力调度数据网络进行管理是实现自动化的电力调度目标的前提，电力调度数据网络是提高电网运行安全可靠性的
<正>8月27日收盘后,A股MSCI第二次扩容正式生效。未来一个月,富时罗素、标普道琼斯将相继提升A股纳入因子,或纳入A股,分析人士认为这有望为A股带来千亿元的增量资金。伴随三
王明回国对毛泽东独立自主抗日方针的挑战洛川会议后,北方的红军改编为国民革命军第八路军奔赴抗日战场,很快取得了平型关大捷和夜袭阳明堡机场的胜利。接着,八路军开始向敌