[发明专利]AUTOSAR软件的验证方法、装置、设备及存储介质

说明书

本申请实施例提供一种AUTOSAR软件的验证方法、装置、设备及存储介质。该方法包括：获取AUTOSAR软件的系统架构的架构信息；其中，架构信息包括系统架构中架构元素的信息。根据架构元素的信息，从预先构建的时间自动机模板中匹配架构元素对应的目标时间自动机模板；其中，时间自动机模板是基于AUTOSAR标准构建的，时间自动机模板用于表征系统架构在时间上的行为；根据架构元素的信息和架构元素对应的目标时间自动机模板，生成系统架构的时间自动机网络；根据预先获取的验证约束信息，对时间自动机网络进行形式化验证。通过本申请实施例，能够降低AUTOSAR软件的开发成本和纠错成本，提高了AUTOSAR软件的开发效率。

技术领域

本申请涉及计算机技术领域，具体涉及一种AUTOSAR软件的验证方法、装置、设备及存储介质。

背景技术

随着汽车嵌入式软件开发流程的不断发展，越来越多的汽车零部件厂商及代工厂(Original Equipment Manufacturer，OEM)采用汽车开放系统架构(Automotive OpenSystemArchitecture，AUTOSAR)进行软件开发。为了保证车辆系统的安全性和可靠性，需要对开发的AUTOSAR软件进行测试。

AUTOSAR软件的开发过程包括应用程序的代码生成阶段。目前，通常在应用程序的代码生成阶段之后对AUTOSAR软件进行测试。但是应用程序的代码生成阶段已处于AUTOISAR软件的开发的后期阶段，因此，在应用程序的代码生成阶段之后对AUTOSAR软件进行验证，导致开发成本和纠错成本较高，降低了AUTOSAR软件的开发效率。

发明内容

本申请实施例提供了一种AUTOSAR的验证方法、装置、设备及存储介质，该方案通过基于预先构建的AUTOSAR标准对应的时间自动机模板，对AUTOSAR软件的系统架构转换成时间自动机网络，即可完成AUTOSAR软件的验证，无需将AUTOSAR软件转换为代码后对AUTOSAR软件进行验证，降低了开发成本和纠错成本，提高了AUTOSAR软件的开发效率。

第一方面，本申请实施例提供了一种AUTOSAR软件的验证方法，包括：

获取AUTOSAR软件的系统架构的架构信息；其中，所述架构信息包括所述系统架构中架构元素的信息。

根据所述架构元素的信息，从预先构建的时间自动机模板中匹配所述架构元素对应的目标时间自动机模板；其中，所述时间自动机模板是基于AUTOSAR标准构建的，所述时间自动机模板用于表征所述系统架构在时间上的行为；

根据所述架构元素的信息和所述架构元素对应的目标时间自动机模板，生成所述系统架构的时间自动机网络；

根据预先获取的验证约束信息，对所述时间自动机网络进行形式化验证。

在一种可能的实现方式中，所述架构元素包括可运行实体和任务，所述架构信息包括所述可运行实体的可运行实体信息和所述任务的任务信息；

所述根据所述架构元素的信息，从预先构建的多个时间自动机模板中匹配所述架构元素对应的目标时间自动机模板，包括：

根据所述任务的任务信息，从所述多个时间自动机模板中匹配与所述任务对应的目标时间自动机模板；

根据所述可运行实体的可运行实体信息，从所述多个时间自动机模板中匹配与所述可运行实体对应的目标时间自动机模板。

在一种可能的实现方式中，所述架构元素包括可运行实体和任务，所述架构信息包括所述可运行实体的可运行实体信息和所述任务的任务信息；

所述根据所述架构元素的信息、预先获取的运行时间信息和所述每个架构元素对应的目标时间自动机模板，生成所述系统架构的时间自动机网络，包括：

根据所述可运行实体的可运行实体信息，确定所述可运行实体的运行时间信息；