Testing of Model Verifier within Software Development in Automotive Industry

摘要

Modern vehicles are becoming more equipped every day with an increasing number of Advanced Driver-Assistance Systems (ADASs), and thus the amount of complex software on which these ADASs are based is growing. Although the introduction of standardization and automatic program code writing tools in the industry has somewhat facilitated the development of complex ADASs, there is still room for progress in the process of verifying their correctness. As manual writing of software tests for large systems is extremely time-consuming, more and more efforts are being made to automate this process. That is why a tool for automatic verification of models made according to the AUTOSAR standard, called System Definition Verifier (SDV), is being developed. However, this tool also requires verification itself as it is an automated tool. In this paper, a number of models are created to validate the SDV. As the use of the tool was found to be difficult, a graphical user interface (GUI) was created as part of this same project to make any future efforts easier. The created models and GUI are used to perform validation of specific SDV. Validation results given by the tested tool revealed that the SDV detected 97.26% of the error types present in the models, whereas the use of the created GUI accelerated the validation process significantly.