In English

Testing a Software Block with QuickCheck

Jia Wang ; Shyun Yeoh Shyun
Göteborg : Chalmers tekniska högskola, 2009. 45 s.
[Examensarbete på avancerad nivå]

This thesis has delivered a prototype to prove that it is technically feasible to test a software block written in C++ with QuickCheck in Erlang. The prototype consists of two parts. The first part solves the message passing communication problem and presents a scheme to translate Erlang messages to C++ objects automatically and vice versa. The second and final part is a QuickCheck state machine implementation with automatically generated test case generators. The correctness of the system under test is established by verifying the expected output signals based on QuickCheck generated input signals.



Publikationen registrerades 2010-02-12. Den ändrades senast 2013-04-04

CPL ID: 112105

Detta är en tjänst från Chalmers bibliotek