-
题名一种面向列车车载控制软件的需求分析方法
被引量：4
- 1
-
-
作者
王秀超
缪炜恺
王以松
包丹珠
杨静
-
机构
贵州大学计算机科学与技术学院
华东师范大学计算机科学与软件工程学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2017年第7期48-53,共6页
-
基金
国家自然科学基金"嵌入式控制软件的形式化规格说明构建的工程方法"(61402178)
国家自然科学基金"基于r COS的形式化方法需求分析与验证"(61562011)
-
文摘
由于缺少面向列车车载控制软件的需求分析工具,需求分析人员难以自动分析出预期数据。针对该问题,提出基于模型抽取的需求分析方法,设计控制软件需求分析工具。通过抽取需求描述文档中的需求条目建立可执行模型,使用数据流方法对其进行分析,得到变量影响关系图和状态迁移图,利用动态分析获得以需求描述文档为依据的预期输出数据,并将其与软件的真实运行输出数据进行对比,生成控制软件的可视化分析报告。实验结果表明,该方法可以帮助需求分析人员快速发现软件实现错误,为列车安全运行提供保障。
-
关键词
列车车载控制软件
需求分析
抽象语法树
数据流分析
环路检测
-
Keywords
on-board train control software
requirements analysis
abstract syntax tree
data flow analysis
loop detection
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
