Deterministic State Space Exploration for Concurrent Embedded Software
Piet Cordemans, Jeroen Boydens, Eric Steegmans · Lirias · 2012
Concurrent embedded software is prone to data races, race conditions and deadlock issues. Moreover, the effect of its non-deterministic behavior is likely underestimated; therefore test coverage will be incomplete. In our approach, concurrency is isolated from the test environment. More specifically, a colored petri net model represents the platform-independent concurrency model, which delivers execution traces for tests to cover the state space completely in a deterministic manner. A proof of concept application indicates the feasibility of this approach.