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:

Files in This Item:

File Description SizeFormat
gupea_2077_4579_4.pdf354KbAdobe PDF
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
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
Appears in Collections:Master theses



© Göteborgs universitet 2011