Towards automated composition of heterogeneous tests for cyber-physical systems

Alex Groce, Paul G Flikkema, Josie Holmes

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

A key trait of modern cyber-physical systems (CPS) is complexity due to the number of components and layers in these systems. Unlike in traditional software development, where the device layer is essentially completely abstracted away by an operating system, CPS components include low-power edge nodes, gateways, and servers that together provide sensing, actuation, communication, model and state inference, and autonomous or user-driven control. Moreover, the CPS design process involves implementation of these functions at different levels of abstraction, from high-level computational models to bare-mental implementations. Unfortunately, even when advanced testing or verification methods are applied only to low level system aspects, those efforts are separated from high-level tests of a CPS, which are often produced by a different team, and do not stress the low-level system. Effective automated test composition would make it possible to automatically produce integration/system tests for CPS, even with extremely heterogeneous aspects, where individual elements have effective tests but the interactions between the sub-systems are untested. Because of the size of the search space involved and the complexity of modeling and designing CPS, we also propose in the long term a move towards system architectures to support testing across both system layers and levels of abstraction.

Original languageEnglish (US)
Title of host publicationTECPS 2017 - Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems, co-located with ISSTA 2017
PublisherAssociation for Computing Machinery, Inc
Pages12-15
Number of pages4
ISBN (Electronic)9781450351126
DOIs
StatePublished - Jul 13 2017
Event1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems, TECPS 2017 - Santa Barbara, United States
Duration: Jul 13 2017 → …

Other

Other1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems, TECPS 2017
CountryUnited States
CitySanta Barbara
Period7/13/17 → …

Fingerprint

Chemical analysis
Gateways (computer networks)
Computer operating systems
Testing
abstraction
Cyber Physical System
Software engineering
Servers
Systems analysis
Communication
software development
subsystem
communication
interaction

Keywords

  • Cyber-physical systems
  • Software architecture
  • Test composition

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Education

Cite this

Groce, A., Flikkema, P. G., & Holmes, J. (2017). Towards automated composition of heterogeneous tests for cyber-physical systems. In TECPS 2017 - Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems, co-located with ISSTA 2017 (pp. 12-15). Association for Computing Machinery, Inc. https://doi.org/10.1145/3107091.3107094

Towards automated composition of heterogeneous tests for cyber-physical systems. / Groce, Alex; Flikkema, Paul G; Holmes, Josie.

TECPS 2017 - Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems, co-located with ISSTA 2017. Association for Computing Machinery, Inc, 2017. p. 12-15.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Groce, A, Flikkema, PG & Holmes, J 2017, Towards automated composition of heterogeneous tests for cyber-physical systems. in TECPS 2017 - Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems, co-located with ISSTA 2017. Association for Computing Machinery, Inc, pp. 12-15, 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems, TECPS 2017, Santa Barbara, United States, 7/13/17. https://doi.org/10.1145/3107091.3107094
Groce A, Flikkema PG, Holmes J. Towards automated composition of heterogeneous tests for cyber-physical systems. In TECPS 2017 - Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems, co-located with ISSTA 2017. Association for Computing Machinery, Inc. 2017. p. 12-15 https://doi.org/10.1145/3107091.3107094
Groce, Alex ; Flikkema, Paul G ; Holmes, Josie. / Towards automated composition of heterogeneous tests for cyber-physical systems. TECPS 2017 - Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems, co-located with ISSTA 2017. Association for Computing Machinery, Inc, 2017. pp. 12-15
@inproceedings{5553f0211f1741779b2045c97cfe2e5d,
title = "Towards automated composition of heterogeneous tests for cyber-physical systems",
abstract = "A key trait of modern cyber-physical systems (CPS) is complexity due to the number of components and layers in these systems. Unlike in traditional software development, where the device layer is essentially completely abstracted away by an operating system, CPS components include low-power edge nodes, gateways, and servers that together provide sensing, actuation, communication, model and state inference, and autonomous or user-driven control. Moreover, the CPS design process involves implementation of these functions at different levels of abstraction, from high-level computational models to bare-mental implementations. Unfortunately, even when advanced testing or verification methods are applied only to low level system aspects, those efforts are separated from high-level tests of a CPS, which are often produced by a different team, and do not stress the low-level system. Effective automated test composition would make it possible to automatically produce integration/system tests for CPS, even with extremely heterogeneous aspects, where individual elements have effective tests but the interactions between the sub-systems are untested. Because of the size of the search space involved and the complexity of modeling and designing CPS, we also propose in the long term a move towards system architectures to support testing across both system layers and levels of abstraction.",
keywords = "Cyber-physical systems, Software architecture, Test composition",
author = "Alex Groce and Flikkema, {Paul G} and Josie Holmes",
year = "2017",
month = "7",
day = "13",
doi = "10.1145/3107091.3107094",
language = "English (US)",
pages = "12--15",
booktitle = "TECPS 2017 - Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems, co-located with ISSTA 2017",
publisher = "Association for Computing Machinery, Inc",

}

TY - GEN

T1 - Towards automated composition of heterogeneous tests for cyber-physical systems

AU - Groce, Alex

AU - Flikkema, Paul G

AU - Holmes, Josie

PY - 2017/7/13

Y1 - 2017/7/13

N2 - A key trait of modern cyber-physical systems (CPS) is complexity due to the number of components and layers in these systems. Unlike in traditional software development, where the device layer is essentially completely abstracted away by an operating system, CPS components include low-power edge nodes, gateways, and servers that together provide sensing, actuation, communication, model and state inference, and autonomous or user-driven control. Moreover, the CPS design process involves implementation of these functions at different levels of abstraction, from high-level computational models to bare-mental implementations. Unfortunately, even when advanced testing or verification methods are applied only to low level system aspects, those efforts are separated from high-level tests of a CPS, which are often produced by a different team, and do not stress the low-level system. Effective automated test composition would make it possible to automatically produce integration/system tests for CPS, even with extremely heterogeneous aspects, where individual elements have effective tests but the interactions between the sub-systems are untested. Because of the size of the search space involved and the complexity of modeling and designing CPS, we also propose in the long term a move towards system architectures to support testing across both system layers and levels of abstraction.

AB - A key trait of modern cyber-physical systems (CPS) is complexity due to the number of components and layers in these systems. Unlike in traditional software development, where the device layer is essentially completely abstracted away by an operating system, CPS components include low-power edge nodes, gateways, and servers that together provide sensing, actuation, communication, model and state inference, and autonomous or user-driven control. Moreover, the CPS design process involves implementation of these functions at different levels of abstraction, from high-level computational models to bare-mental implementations. Unfortunately, even when advanced testing or verification methods are applied only to low level system aspects, those efforts are separated from high-level tests of a CPS, which are often produced by a different team, and do not stress the low-level system. Effective automated test composition would make it possible to automatically produce integration/system tests for CPS, even with extremely heterogeneous aspects, where individual elements have effective tests but the interactions between the sub-systems are untested. Because of the size of the search space involved and the complexity of modeling and designing CPS, we also propose in the long term a move towards system architectures to support testing across both system layers and levels of abstraction.

KW - Cyber-physical systems

KW - Software architecture

KW - Test composition

UR - http://www.scopus.com/inward/record.url?scp=85027701069&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85027701069&partnerID=8YFLogxK

U2 - 10.1145/3107091.3107094

DO - 10.1145/3107091.3107094

M3 - Conference contribution

AN - SCOPUS:85027701069

SP - 12

EP - 15

BT - TECPS 2017 - Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems, co-located with ISSTA 2017

PB - Association for Computing Machinery, Inc

ER -