[发明专利]AUTOSAR软件的验证方法、装置、设备及存储介质在审
| 申请号： | 202111205584.2 | 申请日： | 2021-10-15 |
| 公开（公告）号： | CN115981992A | 公开（公告）日： | 2023-04-18 |
| 发明（设计）人： | 张苗苗;滕宇;杜博闻;米钧日;苏宇;孔辉 | 申请（专利权）人： | 华为技术有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36;G06F8/20 |
| 代理公司： | 北京亿腾知识产权代理事务所(普通合伙) 11309 | 代理人： | 陈霁 |
| 地址： | 518129 广东*** | 国省代码： | 广东;44 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本申请实施例提供一种AUTOSAR软件的验证方法、装置、设备及存储介质。该方法包括：获取AUTOSAR软件的系统架构的架构信息；其中，架构信息包括系统架构中架构元素的信息。根据架构元素的信息，从预先构建的时间自动机模板中匹配架构元素对应的目标时间自动机模板；其中，时间自动机模板是基于AUTOSAR标准构建的，时间自动机模板用于表征系统架构在时间上的行为；根据架构元素的信息和架构元素对应的目标时间自动机模板，生成系统架构的时间自动机网络；根据预先获取的验证约束信息，对时间自动机网络进行形式化验证。通过本申请实施例，能够降低AUTOSAR软件的开发成本和纠错成本，提高了AUTOSAR软件的开发效率。 | ||
| 搜索关键词： | autosar 软件 验证 方法 装置 设备 存储 介质 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华为技术有限公司，未经华为技术有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202111205584.2/，转载请声明来源钻瓜专利网。
- 上一篇：D-阿洛酮糖结晶的方法
- 下一篇：自由空间光通信方法及其装置
