Katholieke Universiteit Leuven
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 the authors' 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.