智己汽车科技有限公司专利

摘要：

摘要：

摘要：

摘要：本发明公开了一种汽车软件模型自动化验证的方法及系统，所述方法包括：当检测到开发流程有新的提交或变更时触发自动化验证的验证脚本；拉取GitLab上更新的汽车软件模型、配置文件、单元测试用例、集成测试用例；根据静态检查规则配置对汽车软件模型进行静态检查，对汽车软件模型进行编译处理并自动调取及执行相应的动态检查、集成测试用例；将编译处理结果、测试结果生成执行日志，将执行日志解析后存入数据库，自动将数据库中存储的执行日志生成验证结果发出通知。

摘要：

摘要：

摘要：

摘要：

摘要：

摘要：