GUPEA >
Student essays / Studentuppsatser >
Department of Applied Information Technology / Institutionen för tillämpad informationsteknologi >
Master theses >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2077/4579
|
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
gupea_2077_4579_4.pdf | 354Kb | Adobe 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 |