Verification of FlexRay using directed and coverage-based testing – A comparison

Conference: Zuverlässigkeit und Entwurf - 1. GMM/GI/ITG-Fachtagung
03/26/2007 - 03/28/2007 at München, Germany

Proceedings: Zuverlässigkeit und Entwurf

Pages: 8Language: englishTyp: PDF

Personal VDE Members are entitled to a 10% discount on this title

Authors:
Baumeister, Markus; Ungermann, Jörn (Philips Research Laboratories Aachen, Germany)

Abstract:
Verification of system behavior by testing is one component to prevent systematic errors and thus improve the system reliability. FlexRay, a fault-tolerant, distributed communication protocol for automotive use in safetyrelevant applications, constitutes such a reliable albeit complex system. We describe a coverage-based constrained-random testing approach employing a fully functional reference model, its use to test a FlexRay controller, and compare it with an independently developed directed test approach. Using the errors uniquely found by each approach, we show that the random approach outperforms the directed one resulting in less undetected errors for the cost of a higher error handling effort.