|
Title
|
|
|
|
Formal verification of developer tests : a research agenda inspired by mutation testing
| |
|
Author
|
|
|
|
| |
|
Abstract
|
|
|
|
| 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. |
| |
|
Language
|
|
|
|
English
| |
|
Source (book)
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, October 20–30, 2020, Rhodes, Greece
| |
|
Source (series)
|
|
|
|
Lecture notes in computer science ; 12477
| |
|
Publication
|
|
|
|
Cham
:
Springer
,
2020
| |
|
ISBN
|
|
|
|
978-3-030-61469-0
| |
|
DOI
|
|
|
|
10.1007/978-3-030-61470-6_2
| |
|
Volume/pages
|
|
|
|
12477
(2020)
, p. 9-24
| |
|
Full text (Publisher's DOI)
|
|
|
|
| |
|