基于DFSM的CTCS-2级列控系统测试用例生成方法研究

发布时间：2022-01-07 08:11

　　列车运行控制系统保证列车安全、高效的运行,是现代铁路信号系统中的核心组成部分。研究列控系统的测试方法,对列控系统可靠安全性的提高具有重要的意义。基于确定性有限状态机（Deterministic Finite State Machine,DFSM）的测试方法用DFSM模型描述待测功能需求,通过测试用例生成方法从模型生成测试用例。本文以CTCS-2级列控系统为研究对象,研究基于DFSM的测试路径生成与测试路径实例化方法,给出了自动化生成方案。为了减少满足迁移覆盖测试路径集合的冗余度与路径数,本文基于最小测试成本迁移覆盖准则给出了测试路径的生成方法。方法先解析DFSM模型信息,生成优化迁移覆盖的序列集合。接着生成满足最小测试成本迁移覆盖的序列集合,并扩展为测试路径集合。最后选用目前列控系统测试的案例,演示了测试路径生成的具体步骤,并与广度优先生成迁移覆盖测试路径的算法比较,说明本文方法生成的测试路径集合中迁移冗余数目更少、路径数目更少,可有效地减少测试成本。为了将测试路径实例化为具体的测试用例,本文提出了结合逻辑覆盖与输入空间划分的方法。方法首先根据模型中各迁移条件的逻辑表达式,生成满足逻辑... 

【文章来源】：西南交通大学四川省 211工程院校 教育部直属院校

【文章页数】：66 页

【学位级别】：硕士

【部分图文】：

测试用例生成工具主界面

第50页覆盖的 11 条序列，序列数及内容与 4.4 节的序列集相符。图4-9 最小测试成本迁移覆盖方法演示图 4-10 是对 C0 转 C2_Advance 的迁移条件的逻辑表达式生成具体测试用例的演示。展开 C0 状态的迁移列表，再点击列表中 C2_Advance 状态，在右侧下方文本框中输出该逻辑表达式满足谓词覆盖的具体的测试用例。图4-10 迁移条件测试用例生成演示

展开 C0 状态的迁移列表，再点击列表中 C2_Advance 状态，在右侧下方文本框中输出该逻辑表达式满足谓词覆盖的具体的测试用例。图4-10 迁移条件测试用例生成演示

【参考文献】：
期刊论文
[1]一种列控系统安全关键软件测试用例的实例化方法[J]. 刘思琪,张亚东,杨武东,童音,饶畅.  小型微型计算机系统. 2019(02)
[2]基于状态图测试的迁移路径生成方法[J]. 张毅伟,贲可荣.  计算机科学与探索. 2019(06)
[3]基于UML状态图的列控中心软件测试路径生成方法[J]. 王秀玄.  铁路计算机应用. 2016(08)
[4]基于UML顺序图的地铁联锁测试用例生成方法[J]. 黄平霞,董昱.  小型微型计算机系统. 2016(05)
[5]一种全覆盖的列控车载系统测试用例自动生成算法研究[J]. 袁磊,吕继东,刘雨,李辰岭,赵伟慧.  铁道学报. 2014(08)
[6]一种基于有限状态机的测试路径生成方法[J]. 钱忠胜.  小型微型计算机系统. 2014(07)
[7]约束条件下基于区间组合的测试用例生成[J]. 杨健,张焕国.  武汉大学学报(理学版). 2013(05)
[8]基于区间必然集的测试用例生成方法[J]. 王雅文,宫云战,肖庆.  计算机辅助设计与图形学学报. 2013(04)
[9]中国高速铁路信号系统分析与思考[J]. 郭进,张亚东.  北京交通大学学报. 2012(05)
[10]一种基于模型的形式化测试序列自动生成方法及在ETCS-2中的应用[J]. 赵显琼,郑伟,唐涛.  铁道学报. 2012(05)

博士论文
[1]基于FSM的测试用例生成和测试优化[D]. 刘攀.上海大学 2011
[2]测试数据自动生成技术研究[D]. 史亮.东南大学 2006

硕士论文
[1]基于UML状态图的列控中心轨道电路编码功能测试用例生成方法研究[D]. 曹雅鑫.西南交通大学 2017
[2]基于UML的列控中心改变运行方向功能测试用例生成方法研究[D]. 王秀玄.西南交通大学 2016
[3]CTCS-2级列控系统运营场景设计与可视化研究[D]. 刘木齐.北京交通大学 2016
[4]基于FSM模型的测试方案生成方法研究[D]. 刘红宇.北京工业大学 2015
[5]基于模型的软件测试技术研究[D]. 张清.北京交通大学 2013
[6]基于模型的列控系统测试用例自动生成研究[D]. 周晶晶.北京交通大学 2013



本文编号：3574177