An Automated Software Verification Tool for Model-based Development of Embedded Systems with Simulink

摘要

This paper describes the implementation of an automated test tool developed in Matlab/Simulink environment that supports model testing and software verification in model-based development of control applications. This tool based on 'black box' testing strategy serves on the one hand to check the "semantic" or "functional" correctness (SiL: Software-in-the-loop) of automatically with RTW (Real Time Workshop) generated C-code for algorithms designed and modelled in Simulink and on the other hand to compare the obtained results with the results of the simultaneously running Model-in-the-loop test (MiL). The aim behind this tool is to develop reliable software that fulfils system requirements, assure quality and can perform satisfactorily in the intended deployment environment.