In English

Using QuickCheck to verify Erlang implementation of GTPv2

Johan Emilsson
Göteborg : Chalmers tekniska högskola, 2011. 53 s.
[Examensarbete på avancerad nivå]

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.



Publikationen registrerades 2012-03-06. Den ändrades senast 2013-04-04

CPL ID: 155659

Detta är en tjänst från Chalmers bibliotek