计算机工程2017，Vol.43Issue(7)：48-53,6.DOI:10.3969/j.issn.1000-3428.2017.07.008
一种面向列车车载控制软件的需求分析方法
A Requirements Analysis Method for On-board Train Control Software
摘要
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分类
信息技术与安全科学引用本文复制引用
王秀超,缪炜恺,王以松,包丹珠,杨静..一种面向列车车载控制软件的需求分析方法[J].计算机工程,2017,43(7):48-53,6.基金项目
国家自然科学基金"嵌入式控制软件的形式化规格说明构建的工程方法"(61402178) （61402178）
国家自然科学基金"基于rCOS的形式化方法需求分析与验证"(61562011). （61562011）
