Using QuickCheck to verify Erlang implementation of GTPv2

Visa enkel post
dc.contributor.authorEmilsson, Johan
dc.contributor.departmentChalmers tekniska högskola / Institutionen för data- och informationsteknik (Chalmers)sv
dc.contributor.departmentChalmers University of Technology / Department of Computer Science and Engineering (Chalmers)en
dc.date.accessioned2019-07-03T12:47:01Z
dc.date.available2019-07-03T12:47:01Z
dc.date.issued2011
dc.description.abstractIn 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.
dc.identifier.urihttps://hdl.handle.net/20.500.12380/155659
dc.language.isoeng
dc.setspec.uppsokTechnology
dc.subjectInformation Technology
dc.subjectInformationsteknik
dc.titleUsing QuickCheck to verify Erlang implementation of GTPv2
dc.type.degreeExamensarbete för masterexamensv
dc.type.degreeMaster Thesisen
dc.type.uppsokH
Ladda ner
Original bundle
Visar 1 - 1 av 1
Bild (thumbnail)
Namn:
155659.pdf
Storlek:
554.7 KB
Format:
Adobe Portable Document Format
Beskrivning:
Fulltext
Ladda ner
Samling
Examensarbeten för masterexamen