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
Original Titel:
Model-Based Testing for Verification Back-Ends
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 7th International Conference on Tests & Proofs
Original Kurzfassung:
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.
Forschungs-