Testing a Software Block with QuickCheck

Examensarbete för masterexamen

Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.12380/112105
Download file(s):
File Description SizeFormat 
112105.pdfFulltext834.99 kBAdobe PDFView/Open
Type: Examensarbete för masterexamen
Master Thesis
Title: Testing a Software Block with QuickCheck
Authors: Wang, Jia
Yeoh Shyun, Shyun
Abstract: 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.
Keywords: Datalogi;Programvaruteknik;Computer science;Software Engineering
Issue Date: 2009
Publisher: Chalmers tekniska högskola / Institutionen för data- och informationsteknik, Datavetenskap (Chalmers)
Chalmers University of Technology / Department of Computer Science and Engineering, Computing Science (Chalmers)
URI: https://hdl.handle.net/20.500.12380/112105
Collection:Examensarbeten för masterexamen // Master Theses



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.