Sökning: onr:"swepub:oai:DiVA.org:ltu-14609" >
Automatic test case...
Automatic test case generation from requirements for industrial cyber-physical systems
-
- Sinha, Roopak (författare)
- Auckland University of Technology
-
- Pang, Cheng (författare)
- Department of Electrical Engineering and Automation, Aalto University, Espoo
-
- Martinez, Gerardo Santillán (författare)
- Aalto University, Helsinki, Department of Electrical Engineering and Automation, Aalto University, Espoo
-
visa fler...
-
- Vyatkin, Valeriy (författare)
- Luleå tekniska universitet,Datavetenskap
-
visa färre...
-
(creator_code:org_t)
- 2016-03-11
- 2016
- Engelska.
-
Ingår i: Automatisierungstechnik. - : Walter de Gruyter GmbH. - 0178-2312. ; 64:3 (Special Issue), s. 216-230
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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)
Hitta via bibliotek
Till lärosätets databas