< Back to previous page


Formal verification of developer tests

Book Contribution - Book Abstract Conference Contribution

Subtitle: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.
Book: 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
Pages: 9 - 24
Publication year:2020
Keywords:P1 Proceeding