Extending TTCN-3 with Model-Based Fuzzing for Robustness Testing of Telecom Protocols

Visa enkel post
dc.contributor.authorJohansson, William
dc.contributor.authorSvensson, Martin
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-03T13:21:02Z
dc.date.available2019-07-03T13:21:02Z
dc.date.issued2014
dc.description.abstractThe telecommunication network is classi ed by governments as a critical infrastructure which must be protected. It provides text and voice communication, Internet access, and emergency services for mobile subscribers worldwide. Operators set high demands on the availability of the telecommunication products and a common level to mark high availability is 99.999%, or less than ve and a half minutes of downtime a year. Hence, telecommunication vendors have to thoroughly test their products to ensure that the demands are met. One way to achieve this is to apply a robustness testing technique called fuzzing. In this master thesis we designed and implemented a model-based fuzzer for robustness testing of telecommunication protocol implementations. Our fuzzer is generation-based and integrates with the TTCN-3 conformance test environment by extracting protocol models and creates generators to populate the models. A case-study is conducted of fuzzing a telecommunication protocol which shows that the fuzzer is capable of provoking erroneous behavior, some which unlikely would have been found otherwise. After discussion with the conformance test team, the tool is considered easy to learn, and that it will be a helpful addition to the tester's toolbox. Taken together, we believe that the fuzzer will be a valuable asset for robustness testing.
dc.identifier.urihttps://hdl.handle.net/20.500.12380/193628
dc.language.isoeng
dc.setspec.uppsokTechnology
dc.subjectData- och informationsvetenskap
dc.subjectComputer and Information Science
dc.titleExtending TTCN-3 with Model-Based Fuzzing for Robustness Testing of Telecom Protocols
dc.type.degreeExamensarbete för masterexamensv
dc.type.degreeMaster Thesisen
dc.type.uppsokH
local.programmeComputer systems and networks (MPCSN), MSc
Ladda ner
Original bundle
Visar 1 - 1 av 1
Bild (thumbnail)
Namn:
193628.pdf
Storlek:
755.83 KB
Format:
Adobe Portable Document Format
Beskrivning:
Fulltext
Ladda ner
Samling
Examensarbeten för masterexamen