SIGNAL+DRAHT | Issue 06/2022
Validation and verification of EULYNX specifications supported by test case generation
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...