Interactive Testing with HOL-TestGen | Zendy

Achim D. Brucker | Zendy; Burkhart Wolff | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Interactive Testing with HOL-TestGen

Author(s) -

Achim D. Brucker,

Burkhart Wolff

Publication year - 2006

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-34454-3

DOI - 10.1007/11759744_7

Subject(s) - hol , computer science , unit testing , proof assistant , white box testing , programming language , test (biology) , automated theorem proving , variety (cybernetics) , formal methods , software engineering , theoretical computer science , software , software system , artificial intelligence , software construction , mathematics , paleontology , geometry , mathematical proof , biology

HOL-TestGen is a test environment for specification-based unit testing build upon the proof assistant Isabelle/HOL . While there is considerable skepticism with regard to interactive theorem provers in testing communities, we argue that they are a natural choice for (automated) symbolic computations underlying systematic tests. This holds in particular for the development on non-trivial formal test plans of complex software, where some parts of the overall activity require inherently guidance by a test engineer. In this paper, we present the underlying methods for both black box and white box testing in interactive unit test scenarios. HOL-TestGen can also be understood as a unifying technical and conceptual framework for presenting and investigating the variety of unit test techniques in a logically consistent way.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research