RT conference output
T1 A Case Study on Combining Model-based Testing and Constraint Programming for Path Coverage
A1 Castro Cabrera, María Carmen
A1 García-Domínguez, Antonio
A1 Medina Bulo, María Inmaculada
A2 Ingeniería Informática
K1 Model-based Testing
K1 Path Coverage
K1 Constraint Programming
K1 GraphWalker
K1 MiniZinc
AB This paper within the advances in software testing is related to the generation of test suites and black box testing. Test coverage is a popular technique to evaluate test quality: a test suite that can exercise a large part of the paths in a program will provide higher confidence that the program will work as expected. One way to obtain test suites with high path coverage is through model-based testing, and specifically using a diagram, which represents the various states in the program and their possible transitions. Using model-based testing, it is possible to obtain a set of paths that achieves a set of coverage criteria. Constraint programming approaches can then be used to turn each path into a test case with its program inputs and oracle, by solving the input and output constraints collected along the path. In this paper, we present a case study on this combination of techniques, by developing a state diagram that represents a popular piece of software, and using it to derive a set of test cases that achieve path coverage through constraint programming. Specifically, two tools have been used: GraphWalker (to obtain a set of paths through the program) and MiniZinc (to obtain test inputs by solving the constraints along the paths). We have obtained good results on the cat GNU Coreutils utility, especially in terms of ease of understanding the logic of the software through the GraphWalker diagram and its visual execution, as well as the agility in obtaining the restrictions to be solved to achieve path coverage.
PB Lugi Lavazza, University of Insubria at Varese, Italy
SN 978-1-61208-997-3
SN 2308-4235
YR 2022
FD 2022-10
LK http://hdl.handle.net/10498/38437
UL http://hdl.handle.net/10498/38437
LA eng
DS Repositorio Institucional de la Universidad de Cádiz
RD 05-nov-2026