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...

Full description

Saved in:
Bibliographic Details
Published in:2022 IEEE/ACM 10th International Conference on Formal Methods in Software Engineering (FormaliSE) pp. 23 - 33
Main Author: Halle, Sylvain
Format: Conference Proceeding
Language:English
Published: ACM 01.05.2022
Subjects:
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
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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