Using QuickCheck to verify Erlang implementation of GTPv2

Examensarbete för masterexamen

Please use this identifier to cite or link to this item: https://hdl.handle.net/20.500.12380/155659
Download file(s):
File Description SizeFormat 
155659.pdfFulltext554.7 kBAdobe PDFView/Open
Type: Examensarbete för masterexamen
Master Thesis
Title: Using QuickCheck to verify Erlang implementation of GTPv2
Authors: Emilsson, Johan
Abstract: In this master thesis project, Quviq QuickCheck is used in order to perform unit testing of a stateless subsystem of Ericsson'sMME, which is a central node in the 4G network. During the project, errors that have not been found in previous testing are discovered, QuickCheck test code is found to be cheap to maintain, and the specific environ- ment is found to be ideal for QuickCheck testing.
Keywords: Information Technology;Informationsteknik
Issue Date: 2011
Publisher: Chalmers tekniska högskola / Institutionen för data- och informationsteknik (Chalmers)
Chalmers University of Technology / Department of Computer Science and Engineering (Chalmers)
URI: https://hdl.handle.net/20.500.12380/155659
Collection:Examensarbeten för masterexamen // Master Theses



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