Modeling and Optimizing CPS Software Testing based on Petri Nets

Abstract

Software testing is an important means to ensure the quality of software. However, there is a lack of effective modeling and optimization of CPS software testing. In this paper, Petri nets are used to model the underlying devices, components, connectors and test cases of CPS software. Aspect oriented programming extracts the crosscutting concerns of CPS software testing. The behaviors and their relationships are described based on AOP, and a weaving mechanism is used to dynamically integrate these models into the test model of CPS. The correctness of the model is analyzed by using the operation semantics and related theories of Petri nets. Based on the state space of constructed model, a strategy is proposed to dynamically select the test suite. The experiment results show that this method can effectively describe the CPS software testing process, which can improve the quality of software testing.

Survey on test case generation, selection and prioritization for cyber‐physical systems

“…At each level, they select some of the foregoing effectiveness and cost measures and combine them by assigning a weight to each metric. Weight-based search algorithms convert a multi-objective problem into a single objective function by assigning a particular weight to each optimization objective [115]. The objective of testing at the MiL level is testing functional requirements, so the authors choose fault detection capability, functional requirements coverage, pairwise functional requirements coverage and test execution time at this level.…”