[发明专利]一种安全程序检查方法和系统有效
| 申请号： | 201810538643.X | 申请日： | 2018-05-30 |
| 公开（公告）号： | CN108710361B | 公开（公告）日： | 2020-07-28 |
| 发明（设计）人： | 李杜;殷莹;姚宏泰;倪明之;王斌 | 申请（专利权）人： | 广州明珞软控信息技术有限公司;广州明珞汽车装备有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 广州市越秀区哲力专利商标事务所(普通合伙) 44288 | 代理人： | 曾嘉仪;徐朝荣 |
| 地址： | 510700 广东省广州市高新技术产*** | 国省代码： | 广东;44 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种安全程序自动检查方法，包括如下步骤：安全方案分析步骤：通过设立的安全保护目的，对安全方案进行分析，得到安全程序保护的设备和被保护对象的类型和数量；安全矩阵表制作步骤：将得到的安全程序保护的设备和被保护对象的类型和数量制作成安全矩阵表，并标记类型和数量相互之间的从属关系；安全程序下载步骤：将安全程序下载到仿真检查工具中；安全矩阵表导入步骤：将安全矩阵表导入仿真检查工具中；安全程序自动检查步骤：使用所真检查工具检查安全程序逻辑是否与安全矩阵表内容一致。本发明还提供一种安全程序自动检查系统。本发明提供的安全程序自动检查方法和系统，可以提高安全程序检查效率，并提高检查验证的准确性。 | ||
| 搜索关键词： | 一种 安全 程序 检查 方法 系统 | ||
【主权项】：
1.一种安全程序自动检查方法，其特征在于，包括如下步骤：安全方案分析步骤：通过设立的安全保护目的，对安全方案进行分析，得到安全程序保护的设备和被保护对象的类型和数量；安全矩阵表制作步骤：将得到的所述安全程序保护的设备和被保护对象的类型和数量制作成安全矩阵表，并标记所述类型和数量相互之间的从属关系；安全程序下载步骤：将安全程序下载到仿真检查工具中；安全矩阵表导入步骤：将所述安全矩阵表导入所述仿真检查工具中；安全程序自动检查步骤：使用所述仿真检查工具检查所述安全程序逻辑是否与所述安全矩阵表内容一致。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于广州明珞软控信息技术有限公司;广州明珞汽车装备有限公司，未经广州明珞软控信息技术有限公司;广州明珞汽车装备有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201810538643.X/，转载请声明来源钻瓜专利网。
