SIGNAL+DRAHT | Issue 06/2022

Validation and verification of EULYNX specifications supported by test case generation

June 2022 | Daniel Schwencke

Initiatives such as EULYNX and RCA are currently specifying the interfaces and subsystems for the future CCS system architectures. A high degree of quality is essential, as the specifications are intended to become widely used standards. This article reports on a case study that has performed validation and verification activities on the EULYNX point specification based on the inspection of test cases that have been automatically generated from a model of the specified behaviour. The method, which utilises the already model-based specification, has proved to be efficient and has been able to detect several specification issues...