My thesis introduces the bases of software verification, and one appropriate application in a multinational corporation, that deals with the AUTOSAR module development. The thesis describes the main points of the verification and the implementation.
Then, the testing system will be introduced in details, that used to run those tests on microcontrollers, that were written in C programming language. I developed the communication interface on this system, that allows the target to handle streams (file, console, later TCP/IP, CAN, etc.) through the debugger interface, without any requisites of other communication channel.
In the last section of the thesis, I show how to run tests in a virtual environment with the help of a debugger, which is connected to an instruction set simulator, and how it was implemented in the testing system.
This implementation gives us two important advantages. First, the developers can work without any physical hardware, and they can use extra features of the debugger that are not available on the real hardware. Second, it allows us to run the tests on the continuous integration system with a target compiler, and to run on a real target architecture. Furthermore, this method decreases the testing time, by skipping the flashing step, and also the server park can run several instances simultaneously without any additional cost.