uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Model-Based Protocol Testing in an Erlang Environment
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Division of Computer Systems. Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.
2016 (English)Doctoral thesis, monograph (Other academic)
Abstract [en]

Testing is the dominant technique for quality assurance of software systems. It typically consumes considerable resources in development projects, and is often performed in an ad hoc manner. This thesis is concerned with model-based testing, which is an approach to make testing more systematic and more automated. The general idea in model-based testing is to start from a formal model, which captures the intended behavior of the software system to be tested. On the basis of this model, test cases can be generated in a systematic way. Since the model is formal, the generation of test suites can be automated and with adequate tool support one can automatically quantify to which degree they exercise the tested software.

Despite the significant improvements on model-based testing in the last 20 years, acceptance by industry has so far been limited. A number of commercially available tools exist, but still most testing in industry relies on manually constructed test cases.

This thesis address this problem by presenting a methodology and associated tool support, which is intended to be used for model-based testing of communication protocol implementations in industry. A major goal was to make the developed tool suitable for industrial usage, implying that we had to consider several problems that typically are not addressed by the literature on model-based testing. The thesis presents several technical contributions to the area of model-based testing, including

- a new specification language based on the functional programming language Erlang,

- a novel technique for specifying coverage criteria for test suite generation, and

- a technique for automatically generating test suites.

Based on these developments, we have implemented a complete tool chain that generates and executes complete test suites, given a model in our specification language. The thesis also presents a substantial industrial case study, where our technical contributions and the implemented tool chain are evaluated. Findings from the case study include that test suites generated using (model) coverage criteria have at least as good fault-detection capability as equally large random test suites, and that model-based testing could discover faults in previously well-tested software where previous testing had employed a relaxed validation of requirements.

Place, publisher, year, edition, pages
Uppsala: Acta Universitatis Upsaliensis, 2016. , 249 p.
Uppsala Dissertations from the Faculty of Science and Technology, ISSN 1104-2516 ; 122
Keyword [en]
Testing, Erlang, Model-Based Testing, Symbolic Execution, Communication Protocols
National Category
Computer Science
Research subject
Computer Science
URN: urn:nbn:se:uu:diva-279489ISBN: 978-91-554-9494-0OAI: oai:DiVA.org:uu-279489DiVA: diva2:908235
Public defence
2016-04-21, ITC 2446, Uppsala, 13:15 (English)
Available from: 2016-03-31 Created: 2016-03-01 Last updated: 2016-04-04Bibliographically approved

Open Access in DiVA

fulltext(1961 kB)92 downloads
File information
File name FULLTEXT01.pdfFile size 1961 kBChecksum SHA-512
Type fulltextMimetype application/pdf
Buy this publication >>

Search in DiVA

By author/editor
Blom, Johan
By organisation
Division of Computer SystemsComputer Systems
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 92 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 1675 hits
ReferencesLink to record
Permanent link

Direct link