Testing a Software Block with QuickCheck

Typ
Examensarbete för masterexamen
Master Thesis
Program
Publicerad
2009
Författare
Wang, Jia
Yeoh Shyun, Shyun
Modellbyggare
Tidskriftstitel
ISSN
Volymtitel
Utgivare
Sammanfattning
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.
Beskrivning
Ämne/nyckelord
Datalogi, Programvaruteknik, Computer science, Software Engineering
Citation
Arkitekt (konstruktör)
Geografisk plats
Byggnad (typ)
Byggår
Modelltyp
Skala
Teknik / material