Using QuickCheck to verify Erlang implementation of GTPv2
Ladda ner
Typ
Examensarbete för masterexamen
Master Thesis
Master Thesis
Program
Publicerad
2011
Författare
Emilsson, Johan
Modellbyggare
Tidskriftstitel
ISSN
Volymtitel
Utgivare
Sammanfattning
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.
Beskrivning
Ämne/nyckelord
Information Technology , Informationsteknik