Automotive software systems have become increasingly complex and huge, leading to long development cycle and increased development difficulty. When a complete automotive software project has reached a scale of several gigabytes, the complicated development process is prone to produce the following two irregular problems: (1) variable inconsistency problem and (2) code coexistence problem. These irregular problems may eventually lead to serious consequences, such as car crashes. In response to the above irregular problems, we develop a variable consistency check tool called AutoToolVCC for automotive software projects. AutoToolVCC divides the variable consistency check process into two stages: (1) extracting all variable information from the automotive software project and (2) checking the consistency of the variables through the variable preprocessing technique and the variable attribute check technique. After an actual check of multiple automotive software projects (approximately 500–1000 MB in size) provided by an automotive manufacturer, the accuracy of variable consistency check is as high as 100%, and the check time only takes about 10–30 s, whereas the pervious plain method needs 100–600 s.

中文翻译：

---

AutoToolVCC：汽车软件项目的变量一致性检查工具

汽车软件系统变得越来越复杂和庞大，导致开发周期长，开发难度增加。当一个完整的汽车软件项目达到几GB的规模时，复杂的开发过程容易产生以下两个不规则问题：（1）变量不一致问题和（2）代码共存问题。这些不规则的问题最终可能会导致严重的后果，比如车祸。针对以上不规则问题，我们为汽车软件项目开发了一个名为AutoToolVCC的变量一致性检查工具。AutoToolVCC 将变量一致性检查过程分为两个阶段：(1) 从汽车软件项目中提取所有变量信息； (2) 通过变量预处理技术和变量属性检查技术检查变量的一致性。经过对汽车厂商提供的多个汽车软件项目（大小约500-1000MB）的实际检查，变量一致性检查的准确率高达100%，检查时间仅约10-30s，而以前的普通方法需要 100-600 秒。