Speaker
Fabrizio Pastore
(SnT University Luxembourg)
Description
Software has a prominent role in space systems; the success of space missions depends on the dependability of ground and flight software, but how can we systematically assess the quality of the test suites used to verify such software?
This talk provides an overview of the results achieved by the FAQAS-2 activity, which built an efficient toolset to go beyond structural coverage by measuring how a test suite detects faults that are automatically injected into the software under test. Leveraging technical developments in FAQAS-1, FAQAS-2 led to a methodology for the determination of test adequacy and the automated generation of the test cases required to achieve such adequacy.
