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

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

Abstract: Since there is no requirements analysis tool for on-board train control software,requirements analysis researchers are unable to get expected data.Aiming at this problem,this paper proposes a requirements analysis method based on model extraction and designs a Control Software Requirements Analysis(CSRA) tool.It constructs an executable model by extracting the requirement items of requirements description documents,uses data flow method to analyze the model and obtain the Variable Dependency Diagram (VDD) and State Transition Diagram (STD).By using dynamic analysis,it gets the expected output data based on the requirements description documents and compares the data with real output data to generate an visual analysis report of the control software.Experimental results show that the proposed method can help requirements analysis researchers quickly find errors in software implementation,which provides a guarantee for the safe running of trains.

Key words: on-board train control software, requirements analysis, abstract syntax tree, data flow analysis, loop detection

中图分类号: 

• TP311.5