Modern cars are filled with software. The software for cars is normally written in C and the specifications are at least as bulky as those known from the telecommunication industry. Different from Erlang software, it has some hard real-time requirements, where tasks definitely need to meet certain deadlines. Nevertheless, it is beneficial to test this software by using Erlang as a test framework.
We report on a project of testing an AUTOSAR component by using a combination of Erlang and QuickCheck. We tested the network management module of the Can bus. This network management module is specified as a state machine plus a lot of other details.The most challenging part is dealing with the timers that cause spontaneous transitions from one state to another when time progresses.