Extending behavioral test models with symbolic data

Master thesis (2013)

Authors

C. Hartman

Contributors

M.R. Mousavi (mentor)

Programme

Embedded Systems () (TU Delft)

LTS STS Labled Transition Systems Symbolic Transition Systems Ioco Sioco Model based testing

More Info

expand_more

To reference this document use:

http://resolver.tudelft.nl/uuid:a139d6c5-3575-489b-8b0c-0f0e266f62bd

Published Date

24-05-2013

Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Programme

Embedded Systems

Abstract

Model-based testing is a technique to automatically generate test cases and oracles in order to test an implementation. A typical behavrial model used for model-based testing is a Labeled Transition System9LTS). However cre-ating the LTS models needed for testing is a complex task, and especially when data is involved the number of states and thus the complexity will explode fast. Incorporating data in an LTS leads to a Symbolic Transitions System (STS), where data is stored in variables and actions have guards and updates. The result is that the number of states is reduced and the complexity is moved to the update rules and guards. In order to simplify the construction of STS an algorithm is presented that is capable of extracting data form an implementation and enriching the LTS model in order to from an STS. A domain expert can than inspect the model for possible faults and in the future the model can be used for regression testing of the implementation.

Files

2013-Hartman.pdf

(pdf | 0.502 Mb)