Automatic test case generation from requirements for industrial cyber-physical systems

• Industrial cyber-physical systems require complex software to orchestrate heterogeneous mechatronic components and control physical processes. This software is typically developed and refined iteratively in a model-driven fashion. Testing suchmulti-dimensional systems is extremely difficult as subsequent refinements may not correspond accurately with previous system models.

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)

NATURAL SCIENCES  -- Computer and Information Sciences -- Computer Sciences (hsv//eng)

Nyckelord

Dependable Communication and Computation Systems

Kommunikations- och beräkningssystem

Publikations- och innehållstyp

ref (ämneskategori)

art (ämneskategori)