Konferenzen und Rahmenprogramm
Conclusive On-the-fly Validation of High-Level Functional Tests
Structural testing is an important acceptance criterion for safety-critical embedded and cyberphysical systems (as in Aerospace, Transport, and Critical Infrastructure). To cover all established requirements and, vice versa, all code to be deployed makes testing very difficult and costly. We elaborate on a solution that validates the conclusiveness of high-level functional tests on fully-integrated safety-critical applications in a non-intrusive fashion. Our approach performs an online analysis of hardware processor trace data in real-time to establish coverage proofs on-the-fly during test runs. It offers deep insights into the completeness of both the tests and their underlying requirements. Establishing the validity of tests on a high functional level reduces the effort enormously that is required on lower, less integrated levels to achieve and justify conclusive coverage statements. The savings achieved by our approach in the development process will be demonstrated and quantified.
--- Datum: 26.02.2020 Uhrzeit: 12:00 - 12:30 Uhr Ort: Conference Counter NCC Ost