Cyber-Physical Systems (CPS) are most of the time safety-critical and expected to perform in uncertain environments. Therefore the identification of scenarios that prevent a CPS from performing according to its requirements is of fundamental importance. However, the multidisciplinary nature of CPS can make it difficult to identify such scenarios. In this article, we investigate the testing of CPS developed using control theory. In such systems, the software is developed collaboratively by control engineers and software engineers. When testing, it is important to account for this multidisciplinary development context. In particular, control engineers make design assumptions when contributing to system development in order to leverage control-theory and obtain guarantees on the CPS behaviour. However, such assumptions are not always satisfied in the implemented system and their falsification can lead to the loss of the control-theoretical guarantees. We define the problem of generating and identifying test cases that falsify such design assumptions as the stress testing of control-based CPS. Among the types of assumptions listed in the article, we focus on the use of linearised models of the physics. To generate test cases that falsify such assumptions, we leverage control theory to develop a qualitative characterisation of the input space of the control layer in CPS. We then propose a novel test case parametrisation for control-based CPS and use it together with the proposed characterisation to develop a testing approach aiming at falsifying the targeted assumptions. We evaluate our testing approach on six case studies including drone position control and continuous current motor control. Our results show that the proposed testing approach is effective at falsifying the linearity design assumption and the stress test cases can be used to highlight the causes of assumption violations.
翻译:网络-物理系统(CPS)是大部分时间安全关键,预期在不确定的环境中运行。因此,确定使CPS无法按其要求运行的假设情景具有根本重要性。然而,CPS的多学科性质可能使得难以确定这些假设情景。在本篇文章中,我们调查了使用控制理论开发的CPS的测试。在这种系统中,软件是由控制工程师和软件工程师协作开发的。在测试中,必须说明这种多学科发展方式。特别是,控制工程师在推动系统开发时作出设计假设,以便利用控制理论,并获得对CPS行为的保证。然而,这种假设并非总能满足实施系统的多学科性质,而其篡改可能导致失去控制理论情景。我们界定了生成和识别这些设计假设的测试问题,例如控制控制基于控制计算机的压力测试。在文章中列出的假设类型中,我们侧重于直线化物理学模型的使用。为了验证这些假设的测试案例,我们利用控制理论来模拟当前的控制当前控制状态,我们用测试系统测试的测试测试模型来测试测试系统测试系统测试测试的测试测试系统。我们用测试系统测试系统测试的测试测试测试测试系统测试测试测试测试的测试的测试测试测试测试的测试测试,可以使用新的测试系统测试测试测试系统测试测试的测试。我们测试的测试的测试的测试的测试的测试系统。</s>