This talk discusses failure analysis and mutation testing in CPS Simulink models. Due to the data-flow oriented nature of the computations, test cases can easily exercise every element in a CPS Simulink model, on one hand complicating failure analysis, and on the other hand dramatically simplifying coverage of the injected faults. This talk will discuss how to obtain and leverage information about the behavior of the components present in Simulink models to effectively determine the causes of failures. Further, it will present the notion of property-based mutation testing, as a better alternative to mutation testing in CPS Simulink models.
Program Display Configuration
Tue 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Viennachange