[发明专利]一种基于UPPAAL模型的汽车软件源代码仿真测试方法

摘要

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

主权项

一种基于UPPAAL模型的汽车软件源代码仿真测试方法，其特征是，实现步骤如下：（1）根据需求规格说明，构建UPPAAL模型，构建好的UPPAAL模型中的全局声明部分定义的数据变量和管道变量就是测试系统中的输入变量和输出变量，利用构建好的UPPAAL模型进行仿真和功能需求验证；（2）根据UPPAAL模型的定义或者通过UPPAAL仿真器，确定测试系统的输入队列和输出变量；（3）将UPPAAL模型转化为C++代码；（4）根据测试系统的输入变量和输出变量，确定软件源代码中相应的输入变量和输出变量，在软件源代码和测试系统中的输入变量和输出变量之间建立映射关系；（5）设置测试系统的输入队列，运行代码转化后的UPPAAL模型和软件源代码，并记录它们的输出结果，最后判断它们的输出结果是否一致，如果一致就说明与系统的可控的物理工作过程相关的源代码是正确的，否则就存在错误。