Test Suite Generation for Boolean Conditions with Equivalence Class Partitioning

Boolean test input generation is the process of finding sets of values for variables of a logical expression such that a given coverage criterion is achieved. This paper presents a formal framework in which evaluating an expression produces a tree structure, and where a coverage criterion is express...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) s. 23 - 33
Hlavný autor:	Halle, Sylvain
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	ACM 01.05.2022
Predmet:	Debugging Partitioning algorithms Software Software and its engineering → Software testing and debugging Software engineering Software testing Theory of computation → Logic and verification
ISSN:	2575-5099
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Popis
Shrnutí:	Boolean test input generation is the process of finding sets of values for variables of a logical expression such that a given coverage criterion is achieved. This paper presents a formal framework in which evaluating an expression produces a tree structure, and where a coverage criterion is expressed as equivalence classes induced by a particular transformation over these trees. It then defines many well-known coverage criteria as particular cases of this framework. The paper describes an algorithm to generate test suites by a reduction through a graph problem; this algorithm works in the same way regardless of the criterion considered. An experimental evaluation of this technique shows that it produces test suites that are in many cases smaller than existing tools.
ISSN:	2575-5099
DOI:	10.1145/3524482.3527659