< Terug naar vorige pagina


Formal verification of developer tests

Boekbijdrage - Boekabstract Conferentiebijdrage

Ondertitel:a research agenda inspired by mutation testing
With the current emphasis on DevOps, automated software tests become a necessary ingredient for continuously evolving, high-quality software systems. This implies that the test code takes a significant portion of the complete code base---test to code ratios ranging from 3:1 to 2:1 are quite common. We argue that "testware" provides interesting opportunities for formal verification, especially because the system under test may serve as an oracle to focus the analysis. As an example we describe five common problems (mainly from the subfield of mutation testing) and how formal verification may contribute. We deduce a research agenda as an open invitation for fellow researchers to investigate the peculiarities of formally verifying testware.
Boek: Leveraging applications of formal methods, verification and validation: engineering principles : proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, October 20–30, 2020, Rhodes, Greece
Pagina's: 9 - 24
Jaar van publicatie:2020
Trefwoorden:P1 Proceeding