| Authors | M. Zhang |
| Title | U-TCsGM: Generating and Minimizing Uncertainty-Based Test Cases for Cyber-Physical Systems (Tool Demo) |
| Afilliation | Software Engineering, Software Engineering |
| Project(s) | MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems |
| Status | Published |
| Publication Type | Talks, contributed |
| Year of Publication | 2016 |
| Location of Talk | MPM4CPS WG meetings in Malaga, Spain, 24-25 November 2016 |
| Keywords | Model-based Testing, Search-Based Testing, Uncertainty |
| Abstract | In this tool demo, we will present the implementation of our recent research work on generating and minimizing executable test cases from the test models of a Cyber-Physical System tagged with subjective uncertainty. The algorithms are founded on uncertainty theory and NSGA-II—the most commonly used multi-objective search algorithm. We will demonstrate the complete process starting from creating a test model with uncertainty, generating test cases, minimizing test cases, and finally executing the minimized test cases using a real CPS case study. |
| Citation Key | 24942 |