一种基于UPPAAL模型的汽车软件源代码仿真测试方法技术

本发明专利技术属于软件工程领域，针对汽车软件系统中与可控的物理工作过程相关的源代码测试中存在的问题，同时考虑到UPPAAL模型的特性，设计了一种汽车软件源代码仿真测试系统。该系统的输入是由数据变量的集合、事件变量的集合和时钟约束的集合组成的三元组的队列，输出是数据变量的集合。为了实现源代码仿真测试系统的自动性和实时性，将UPPAAL模型转化为C++代码。在软件源代码和代码转化后的UPPAAL模型处理完所有的输入数据后，如果它们的输出结果一致就可以判定源代码是正确的，否则就存在错误。使用本发明专利技术能够测试汽车软件中与可控的物理工作过程相关的源代码，从而确保系统的安全性，并且能够降低软件开发成本、加快软件开发速度和提高软件的质量。

【技术实现步骤摘要】

本专利技术涉及一种软件工程领域，尤其涉及一种基于UPPAAL模型的汽车软件源代码仿真测试方法。
技术介绍
随着汽车智能化程度的不断提高，更多的控制功能趋于使用软件来实现，导 致汽车软件的规模和复杂度不断增长。Manfred Broy在文献中预测，“未来五年内上市的下一代高档轿车上，软件的总量将达到1GB，软件将成为汽车价值的主要贡献者，同时软件开发的比重和成本也将不断提高”。随着汽车上软件比重的不断提高，汽车软件开发面临着越来越多的挑战，这些挑战主要来自如下几个方面(I)汽车系统是一种嵌入式实时性系统，具有严格的时间约束性，这种时间约束性与软件系统的可控的物理工作过程密切相关，汽车系统的安全性主要依靠软件系统的可控的物理工作过程的正确性；(2)汽车系统是一种复杂而庞大的嵌入式计算机系统，包括数以万计的、与需求相关的功能条目；(3)汽车系统是一种分布式计算机系统，包括大量的用于诸如ECU、激励器等组件间交互信息的信号；(4)电子产品和汽车电子系统功能的复杂性日益增加。面对这些挑战，需要新的方法、模型和工具来确保汽车系统的安全性和可靠性。对于汽车系统这样一种安全关键系统而言，设计者必须本文档来自技高网...

【技术保护点】
一种基于UPPAAL模型的汽车软件源代码仿真测试方法，其特征是，实现步骤如下：（1）根据需求规格说明，构建UPPAAL模型，构建好的UPPAAL模型中的全局声明部分定义的数据变量和管道变量就是测试系统中的输入变量和输出变量，利用构建好的UPPAAL模型进行仿真和功能需求验证；（2）根据UPPAAL模型的定义或者通过UPPAAL仿真器，确定测试系统的输入队列和输出变量；（3）将UPPAAL模型转化为C++代码；（4）根据测试系统的输入变量和输出变量，确定软件源代码中相应的输入变量和输出变量，在软件源代码和测试系统中的输入变量和输出变量之间建立映射关系；（5）设置测试系统的输入队列，运行代码转化后...

【技术特征摘要】

【专利技术属性】
技术研发人员：闫旭琴，刘晓建，王知学，成巍，
申请(专利权)人：山东省科学院自动化研究所，
类型：发明
国别省市：