Cyrille Artho, Armin Biere, Martina Seidl,
"Model-Based Testing for Verification Back-Ends"
: Proceedings of the 7th International Conference on Tests & Proofs, Seite(n) 39-55, 6-2013, ISBN: 978-3-642-38915-3
Model-Based Testing for Verification Back-Ends
Sprache des Titels:
Proceedings of the 7th International Conference on Tests & Proofs
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.