Method of software test paths generation for train control center based on UML state chart diagram
-
摘要: 针对列控中心测试，介绍了基于UML状态图的列控中心测试路径生成方法。根据列控中心需求规范建立UML状态图模型；采用改进的深度优先搜索算法（DFS）自动搜索有向图得到从初始节点到终止节点的所有路径集合，利用贪心算法构造超串合并测试需求；利用路径集合扩展测试需求集合，最终实现测试路径自动生成；以列控中心改变区间运行方向功能为例，给出测试路径生成方法实现。Abstract: Aiming at testing train control center (TCC), this article introduced the method of test paths generation for TCC based on UML state chart diagram. The UML state chart diagram model was established on the requirement specification of TCC. An improved Depth First Search (DFS) Algorithm was used to automatically search the directed graph, and get all paths from the initial node to the end node. The Greedy Algorithm was used to construct the test requirement of super string merging, and the path set was used to extend test requirements set. Finally, the automatic generation of test path was implemented. Taking changing running direction in sections of TCC for example, the implementation of test path generation method was given.
-
-
[1] 王 喆，郭艳军. 基于Lua 的列控中心自动测试脚本技术研究[J]. 自动化技术与应用，2013，32（3）：53. [2] 徐宏喆，陈建明. UML 自动化测试技术[M]. 西安：西安交通大学出版社，2006 ：48-49. [3] 赵春刚. UML系统建模基础教程[M].北京：北京大学出版社，2013 ：80-90. [4] 郝荣霞. 图论导引[M]. 北京：北京交通大学出版社，2014 ：33-34. [5] 申时凯，吴绍兵，申浩如，等. 计算最短公共超串的贪婪算法[J]. 计算机工程与设计，2007，28（8）. [6] 中华人民共和国铁道部. 科技运[2010]138 号 列控中心技术规范[S]. 北京：中华人民共和国铁道部，2010. -
期刊类型引用(7)
1. 张浩，吴胜，张人娄. SDLSD：基于状态图的智能合约描述语言. 软件导刊. 2024(04): 119-130 . 
百度学术
2. 蒋银虎，旦敏，李春云. 基于Web的高校资产管理系统的设计与实现. 电脑知识与技术. 2023(29): 52-54 . 百度学术
3. 孙德刚. 基于Markov链使用模型的软件可靠性测试方法. 信息技术与信息化. 2022(06): 123-126 . 百度学术
4. 蒲卿路，王月波，刘涛，孙云，李继秀. 基于模型的测试用例生成方法. 计算机测量与控制. 2021(12): 22-26+32 . 百度学术
5. 栾家伟，吴陈. 基于UML状态图测试用例生成的策略研究. 计算机与数字工程. 2020(02): 409-411+432 . 百度学术
6. 唐汇东，杨华昌，王浩然，任宛星. 基于蚁群算法的STP系统测试序列优化生成. 计算机工程与设计. 2020(08): 2259-2264 . 百度学术
7. 刘思琪，张亚东，杨武东，童音，饶畅. 一种列控系统安全关键软件测试用例的实例化方法. 小型微型计算机系统. 2019(02): 378-382 . 百度学术
其他类型引用(6)
计量
- 文章访问数: 100
- HTML全文浏览量: 0
- PDF下载量: 45
- 被引次数: 13
下载:
