轨道交通车载软件半形式化需求用的静态检查系统及方法

摘要

本发明涉及一种轨道交通车载软件半形式化需求用的静态检查系统及方法，系统包括：语法分析模块对输入语法分析模块的需求进行检查分析，通过后生成抽象语法树；影响关系分析模块以语法分析模块产生的需求抽象语法树作为输入，分析各条需求之间的影响关系；类型检查模块，若事先已定义需求变量的类型，则据此分析需求变量之间的类型转换以及是否存在不同类型需求变量赋值情况；量纲检查模块若事先已定义需求变量的量纲，则据此分析需求变量之间的量纲转换以及是否存在不同量纲的变量赋值情况。与现有技术相比，本发明具有能提高需求验证的效率，节省时间，降低成本等优点。