一种列控系统安全关键软件测试用例的实例化方法

摘要：

针对基于模型的抽象测试用例在列控安全关键软件测试中的可执行问题,从软件DFSM 模型抽象测试用例实例化为可执行测试用例的过程入手,提出了输入空间划分和逻辑覆盖相结合的抽象测试用例自动实例化方法. 首先,根据模型测试路径中各迁移条件的逻辑表达式,生成满足逻辑覆盖准则的子句逻辑值组合;其次,对表达式中的输入变量进行输入空间划分,得到各变量的取值集合;然后,以子句的逻辑值组合为约束条件,计算取值集合中满足条件的取值子集将其作为测试输入,并将各变量的测试输入子集进行组合,以此生成可执行的测试用例. 最后,以CTCS-0 /CTCS-2车载设备手动等级转换功能为研究对象,验证该方法的可行性.

关键词：软件测试、测试用例、逻辑覆盖、确定性有限状态机、列车运行控制

所属期刊栏目：40

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金青年基金项目61703349 资助;中央高校基本科研业务费专项2682017CX101, 2682017ZDPY10 资助;中国铁路总公司科技研究开发计划课题2017X007-D 资助;甘肃省高原交通信息工程及控制重点实验室项目20161103 资助

在线出版日期：2019-05-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：378-382