一种面向列车车载控制软件的需求分析方法

摘要：

由于缺少面向列车车载控制软件的需求分析工具,需求分析人员难以自动分析出预期数据.针对该问题,提出基于模型抽取的需求分析方法,设计控制软件需求分析工具.通过抽取需求描述文档中的需求条目建立可执行模型,使用数据流方法对其进行分析,得到变量影响关系图和状态迁移图,利用动态分析获得以需求描述文档为依据的预期输出数据,并将其与软件的真实运行输出数据进行对比,生成控制软件的可视化分析报告.实验结果表明,该方法可以帮助需求分析人员快速发现软件实现错误,为列车安全运行提供保障.

关键词：列车车载控制软件、需求分析、抽象语法树、数据流分析、环路检测

所属期刊栏目：43

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

资助基金：国家自然科学基金"嵌入式控制软件的形式化规格说明构建的工程方法"61402178;国家自然科学基金"基于rCOS的形式化方法需求分析与验证"61562011

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

页数：共6页

页码：48-53