Testing a Software Block with QuickCheck

dc.contributor.authorWang, Jia
dc.contributor.authorYeoh Shyun, Shyun
dc.contributor.departmentChalmers tekniska högskola / Institutionen för data- och informationsteknik, Datavetenskap (Chalmers)sv
dc.contributor.departmentChalmers University of Technology / Department of Computer Science and Engineering, Computing Science (Chalmers)en
dc.date.accessioned2019-07-03T12:17:29Z
dc.date.available2019-07-03T12:17:29Z
dc.date.issued2009
dc.description.abstractThis 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.
dc.identifier.urihttps://hdl.handle.net/20.500.12380/112105
dc.language.isoeng
dc.setspec.uppsokTechnology
dc.subjectDatalogi
dc.subjectProgramvaruteknik
dc.subjectComputer science
dc.subjectSoftware Engineering
dc.titleTesting a Software Block with QuickCheck
dc.type.degreeExamensarbete för masterexamensv
dc.type.degreeMaster Thesisen
dc.type.uppsokH
Ladda ner
Original bundle
Visar 1 - 1 av 1
Bild (thumbnail)
Namn:
112105.pdf
Storlek:
834.99 KB
Format:
Adobe Portable Document Format
Beskrivning:
Fulltext