[发明专利]轨道交通车载软件半形式化需求用的静态检查系统及方法有效
| 申请号： | 201811611287.6 | 申请日： | 2018-12-27 |
| 公开（公告）号： | CN109815131B | 公开（公告）日： | 2022-06-24 |
| 发明（设计）人： | 常鸣;陈慧琍;陈晓轩;陈硕豪;熊坤鹏 | 申请（专利权）人： | 卡斯柯信号有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 上海科盛知识产权代理有限公司 31225 | 代理人： | 应小波 |
| 地址： | 200070 上海市静安区*** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种轨道交通车载软件半形式化需求用的静态检查系统及方法，系统包括：语法分析模块对输入语法分析模块的需求进行检查分析，通过后生成抽象语法树；影响关系分析模块以语法分析模块产生的需求抽象语法树作为输入，分析各条需求之间的影响关系；类型检查模块，若事先已定义需求变量的类型，则据此分析需求变量之间的类型转换以及是否存在不同类型需求变量赋值情况；量纲检查模块若事先已定义需求变量的量纲，则据此分析需求变量之间的量纲转换以及是否存在不同量纲的变量赋值情况。与现有技术相比，本发明具有能提高需求验证的效率，节省时间，降低成本等优点。 | ||
| 搜索关键词： | 轨道交通 车载 软件 形式化 需求 静态 检查 系统 方法 | ||
【主权项】：
1.一种轨道交通车载软件半形式化需求用的静态检查系统，其特征在于，包括：语法分析模块(M1)，用于将事先定义的半形式化需求语法以特定的范式形成词法器和语法器并作为语法分析模块的基础，对输入语法分析模块的需求进行检查分析，通过后生成抽象语法树；影响关系分析模块(M2)，用于以语法分析模块(M1)产生的需求抽象语法树作为输入，分析各条需求之间的影响关系；类型检查模块(M3)，用于根据影响关系分析模块(M2)产生的需求影响关系图，对于相互间存在影响关系的需求，若事先已定义需求变量的类型，则据此分析需求变量之间的类型转换以及是否存在不同类型需求变量赋值情况；对于事先没有定义变量类型的需求，则分析需求变量之间的类型转换以及赋值是否存在矛盾；量纲检查模块(M4)，用于对通过类型检查模块(M3)的需求影响关系图，对于相互间存在影响关系的需求，若事先已定义需求变量的量纲，则据此分析需求变量之间的量纲转换以及是否存在不同量纲的变量赋值情况；对于事先没有定义变量量纲的需求，则分析需求变量之间的量纲转换以及赋值是否存在矛盾。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于卡斯柯信号有限公司，未经卡斯柯信号有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201811611287.6/，转载请声明来源钻瓜专利网。
