GUPEA >
Student essays / Studentuppsatser >
Department of Applied Information Technology / Institutionen för tillämpad informationsteknologi >
Master theses >

Automated Testing of Java ABNF Grammar Parsers with QuickCheck


Please use this identifier to cite or link to this item: http://hdl.handle.net/2077/4579

Files in This Item:

File Description SizeFormat
gupea_2077_4579_4.pdf354KbAdobe PDF
View/Open
Title: Automated Testing of Java ABNF Grammar Parsers with QuickCheck
Authors: Yáñez, Pablo Álvarez
Issue Date: 18-Jun-2007
Degree: Master theses
Series/Report no.: Report / IT University of Göteborg
2007:40
Keywords: Property Based Testing
Parser Testing
Protocol Testing
Abstract: I present a new technique to test Java ABNF grammar parsers using Erlang/QuickCheck, a property based test tool. Its development was lead through the case study of the Java reference implementation of the SIP protocol. The result was successful in the case study, and the technique was also used with some other parser to prove its portability. The study revealed the importance of a complete knowledge about the randomly generated complex strings as the first step before fixing the found error... more
URI: http://hdl.handle.net/2077/4579
Appears in Collections:Master theses

 

 

© Göteborgs universitet 2011