Abstract
We present hol-TestGen, an extensible test environment for specification-based testing build upon the proof assistant Isabelle. hol-TestGen leverages the semi-automated generation of test theorems (a form of partitioning the test input space), and their refinement to concrete test-data, as well as the automatic generation of a test driver for the execution and test result verification.
hol-TestGen can also be understood as a unifying technical and conceptual framework for presenting and investigating the variety of unit test and sequence test techniques in a logically consistent way.
Chapter PDF
Similar content being viewed by others
Keywords
References
Brucker, A.D., Wolff, B.: hol-Testgen 1.0.0 user guide. Technical Report 482, ETH Zurich (April 2005)
Brucker, A.D., Wolff, B.: Symbolic test case generation for primitive recursive functions. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 16–32. Springer, Heidelberg (2005)
Brucker, A.D., Wolff, B.: Test-sequence generation with hol-TestGen with an application to firewall testing. In: Gurevich, Y., Meyer, B. (eds.) TAP 2007. LNCS, vol. 4454, pp. 149–168. Springer, Heidelberg (2007)
Brucker, A.D., Brügger, L., Wolff, B.: Model-based firewall conformance testing. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) TestCom/FATES 2008. LNCS, vol. 5047, pp. 103–118. Springer, Heidelberg (2008)
Brucker, A.D., Brügger, L., Wolff, B.: Verifying test-hypotheses: An experiment in test and proof. Electronic Notes in Theoretical Computer Science 220(1), 15–27 (2008); proceedings of the Fourth Workshop on Model Based Testing (MBT) (2008) ISSN 1571-0661, doi(10.1016/j.entcs, 11.003)
Wenzel, M.M.: Isabelle/Isar – a versatile environment for human-readable formal proof documents. PhD thesis, TU München, München (February 2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brucker, A.D., Wolff, B. (2009). hol-TestGen . In: Chechik, M., Wirsing, M. (eds) Fundamental Approaches to Software Engineering. FASE 2009. Lecture Notes in Computer Science, vol 5503. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00593-0_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-00593-0_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00592-3
Online ISBN: 978-3-642-00593-0
eBook Packages: Computer ScienceComputer Science (R0)