Uncertainty-Wise Testing of Cyber-Physical Systems

被引:11
|
作者
Ali, Shaukat [1 ]
Lu, Hong [1 ]
Wang, Shuai [1 ]
Yue, Tao [1 ,2 ]
Zhang, Man [1 ]
机构
[1] Simula Res Lab, Oslo, Norway
[2] Univ Oslo, Oslo, Norway
来源
ADVANCES IN COMPUTERS, VOL 107 | 2017年 / 107卷
关键词
SOFTWARE TEST DATA; SEARCH ALGORITHMS; PRIORITIZATION; ENVIRONMENT; GENERATION; SIMULATION; MINIMIZATION; FRAMEWORK; SELECTION; CHECKING;
D O I
10.1016/bs.adcom.2017.06.001
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
As compared with classical software/system testing, uncertainty-wise testing explicitly addresses known uncertainty about the behavior of a System Under Test (SUT), its operating environment, and interactions between the SUT and its operational environment, across all testing phases, including test design, test generation, test optimization, and test execution, with the aim to mainly achieve the following two goals. First, uncertainty-wise testing aims to ensure that the SUT deals with known uncertainty adequately. Second, uncertainty-wise testing should be also capable of learning new (previously unknown) uncertainties such that the SUT's implementation can be improved to guard against newly learned uncertainties during its operation. The necessity to integrate uncertainty in testing is becoming imperative because of the emergence of new types of intelligent and communicating software-based systems such as Cyber-Physical Systems (CPSs). Intrinsically, such systems are exposed to uncertainty because of their interactions with highly indeterminate physical environments. In this chapter, we provide our understanding and experience of uncertainty-wise testing from the aspects of uncertainty-wise model-based testing, uncertainty-wise modeling and evolution of test ready models, and uncertainty-wise multiobjective test optimization, in the context of testing CPSs under uncertainty. Furthermore, we present our vision about this new testing paradigm and its plausible future research directions.
引用
收藏
页码:23 / 94
页数:72
相关论文
共 50 条
  • [1] Uncertainty-wise test case generation and minimization for Cyber-Physical Systems
    Zhang, Man
    Ali, Shaukat
    Yue, Tao
    JOURNAL OF SYSTEMS AND SOFTWARE, 2019, 153 : 1 - 21
  • [2] Uncertainty-Wise Cyber-Physical System test modeling
    Zhang, Man
    Ali, Shaukat
    Yue, Tao
    Norgren, Roland
    Okariz, Oscar
    SOFTWARE AND SYSTEMS MODELING, 2019, 18 (02): : 1379 - 1418
  • [3] Uncertainty-Wise Cyber-Physical System test modeling
    Man Zhang
    Shaukat Ali
    Tao Yue
    Roland Norgren
    Oscar Okariz
    Software & Systems Modeling, 2019, 18 : 1379 - 1418
  • [4] Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems
    Valle, Pablo
    Arrieta, Aitor
    Han, Liping
    Ali, Shaukat
    Yue, Tao
    SOFTWARE AND SYSTEMS MODELING, 2025,
  • [5] Conformance Testing for Cyber-Physical Systems
    Woehrle, Matthias
    Lampka, Kai
    Thiele, Lothar
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2012, 11 (04)
  • [6] Uncertainty in Coupled Models of Cyber-Physical Systems
    Acosta, Maribel
    Hahner, Sebastian
    Koziolek, Anne
    Kuehn, Thomas
    Mirandola, Raffaela
    Reussner, Ralf
    ACM/IEEE 25TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022 COMPANION, 2022, : 569 - 578
  • [7] Servo robust control of cyber-physical systems with physical uncertainty and cyber interference
    Yu, Rongrong
    Zhao, Xu
    Liu, Mingxin
    Chen, Ye-Hwa
    Tian, Ying
    ISA TRANSACTIONS, 2025, 159 : 55 - 65
  • [8] Enabling Model Testing of Cyber-Physical Systems
    Gonzalez, Carlos A.
    Varmazyar, Mojtaba
    Nejati, Shiva
    Briand, Lionel C.
    Isasi, Yago
    21ST ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS 2018), 2018, : 176 - 186
  • [9] A theoretical framework for testing cyber-physical systems
    Bhateja, Puneet
    2019 6TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT 2019), 2019, : 818 - 823
  • [10] Testing Abstractions for Cyber-Physical Control Systems
    Mandrioli, Claudio
    Carlsson, Max Nyberg
    Maggio, Martina
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2024, 33 (01)