Cyrille Artho, Armin Biere, Martina Seidl,
"Model-Based Testing for Verification Backends"
: Proc. 7th Intl. Conf. on Tests & Proofs (TAP'13), LNCS, Serie Lecture Notes in Computer Science (LNCS), Springer, Seite(n) 39-55, 2013
Model-Based Testing for Verification Backends
Sprache des Titels:
Proc. 7th Intl. Conf. on Tests & Proofs (TAP'13), LNCS
Many verification tools used in practice rely on sophisticated
SAT and SMT solvers. These reasoning engines are assumed and expected
to be correct, but, in general, too complex to be fully verified.
Therefore, effective testing techniques have to be employed. In this paper,
we show how to employ model-based testing (MBT) to test sequences of
application programming interface (API) calls and different system configurations. We applied this approach to our SAT solver Lingeling and
compared it to existing testing approaches, revealing the effectiveness of
MBT for the development of reliable SAT solvers.