Testing of Model Verifier within Software Development in Automotive Industry (CROSBI ID 703279)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Kapular, Bruno ; Vranješ, Mario ; Kaštelan, Ivan ; Kovačević, Jelena
engleski
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.
automotive software ; testing ; model verifier ; AUTOSAR
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
252-257.
2021.
objavljeno
10.1109/ZINC52049.2021.9499255
Podaci o matičnoj publikaciji
2021 Zooming Innovation in Consumer Technologies Conference (ZINC)
Novi Sad:
978-1-6654-0417-4
Podaci o skupu
Zooming Innovation in Consumer Technologies Conference (ZINC 2021)
predavanje
26.05.2021-27.05.2021
Novi Sad, Srbija