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.

Subject headings

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

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

Keyword

Dependable Communication and Computation Systems

Kommunikations- och beräkningssystem

Publication and Content Type

ref (subject category)

art (subject category)