Model Driven Development of Data Sensitive Systems

Petur Olsen

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

183 Downloads (Pure)

Resumé

Model-driven development strives to use formal artifacts during the development
process. Formal artifacts enables automatic analyses of some aspects of the
system under development. This serves to increase the understanding of the
(intended) behavior of the system as well as increasing error detection and
pushing error detection to earlier stages of development.

The complexity of modeling and the size of systems which can be analyzed
is severely limited when introducing data variables. The state space grows
exponentially in the number of variable and the domain size of the variables.
This quickly leads to state-space explosion problems and usually results in data
being abstracted away in the models. This works great for systems where the
particular values of the variables do not significantly alter the execution of the
system. Examples of this type of system are transport protocols or pure storage
systems, where the actual values of the data is not relevant for the behavior of
the system. For many systems the values are important. For instance the control
flow of the system can be dependent on the input values. We call this type of
system data sensitive, as the execution is sensitive to the values of variables.

This theses strives to improve model-driven development of such data-sensitive
systems. This is done by addressing three research questions. In the first
we combine state-based modeling and abstract interpretation, in order to ease
modeling of data-sensitive systems, while allowing efficient model-checking and
model-based testing. In the second we develop automatic abstraction learning
used together with model learning, in order to allow fully automatic learning
of data-sensitive systems to allow learning of larger systems. In the third we
develop an approach for modeling and model-based testing of stateless systems
with very large input and output domains.
OriginalsprogEngelsk
Antal sider146
StatusUdgivet - 29 aug. 2014

Fingerprint

Error detection
Model checking
Testing
Explosions
Network protocols

Citer dette

@phdthesis{8d9ab9b64b55460d9803de58a58839d0,
title = "Model Driven Development of Data Sensitive Systems",
abstract = "Model-driven development strives to use formal artifacts during the developmentprocess. Formal artifacts enables automatic analyses of some aspects of thesystem under development. This serves to increase the understanding of the(intended) behavior of the system as well as increasing error detection andpushing error detection to earlier stages of development.The complexity of modeling and the size of systems which can be analyzedis severely limited when introducing data variables. The state space growsexponentially in the number of variable and the domain size of the variables.This quickly leads to state-space explosion problems and usually results in databeing abstracted away in the models. This works great for systems where theparticular values of the variables do not significantly alter the execution of thesystem. Examples of this type of system are transport protocols or pure storagesystems, where the actual values of the data is not relevant for the behavior ofthe system. For many systems the values are important. For instance the controlflow of the system can be dependent on the input values. We call this type ofsystem data sensitive, as the execution is sensitive to the values of variables.This theses strives to improve model-driven development of such data-sensitivesystems. This is done by addressing three research questions. In the firstwe combine state-based modeling and abstract interpretation, in order to easemodeling of data-sensitive systems, while allowing efficient model-checking andmodel-based testing. In the second we develop automatic abstraction learningused together with model learning, in order to allow fully automatic learningof data-sensitive systems to allow learning of larger systems. In the third wedevelop an approach for modeling and model-based testing of stateless systemswith very large input and output domains.",
keywords = "Model-based development, model-based testing, data-sensitive systems, model learning",
author = "Petur Olsen",
year = "2014",
month = "8",
day = "29",
language = "English",

}

Model Driven Development of Data Sensitive Systems. / Olsen, Petur.

2014. 146 s.

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

TY - BOOK

T1 - Model Driven Development of Data Sensitive Systems

AU - Olsen, Petur

PY - 2014/8/29

Y1 - 2014/8/29

N2 - Model-driven development strives to use formal artifacts during the developmentprocess. Formal artifacts enables automatic analyses of some aspects of thesystem under development. This serves to increase the understanding of the(intended) behavior of the system as well as increasing error detection andpushing error detection to earlier stages of development.The complexity of modeling and the size of systems which can be analyzedis severely limited when introducing data variables. The state space growsexponentially in the number of variable and the domain size of the variables.This quickly leads to state-space explosion problems and usually results in databeing abstracted away in the models. This works great for systems where theparticular values of the variables do not significantly alter the execution of thesystem. Examples of this type of system are transport protocols or pure storagesystems, where the actual values of the data is not relevant for the behavior ofthe system. For many systems the values are important. For instance the controlflow of the system can be dependent on the input values. We call this type ofsystem data sensitive, as the execution is sensitive to the values of variables.This theses strives to improve model-driven development of such data-sensitivesystems. This is done by addressing three research questions. In the firstwe combine state-based modeling and abstract interpretation, in order to easemodeling of data-sensitive systems, while allowing efficient model-checking andmodel-based testing. In the second we develop automatic abstraction learningused together with model learning, in order to allow fully automatic learningof data-sensitive systems to allow learning of larger systems. In the third wedevelop an approach for modeling and model-based testing of stateless systemswith very large input and output domains.

AB - Model-driven development strives to use formal artifacts during the developmentprocess. Formal artifacts enables automatic analyses of some aspects of thesystem under development. This serves to increase the understanding of the(intended) behavior of the system as well as increasing error detection andpushing error detection to earlier stages of development.The complexity of modeling and the size of systems which can be analyzedis severely limited when introducing data variables. The state space growsexponentially in the number of variable and the domain size of the variables.This quickly leads to state-space explosion problems and usually results in databeing abstracted away in the models. This works great for systems where theparticular values of the variables do not significantly alter the execution of thesystem. Examples of this type of system are transport protocols or pure storagesystems, where the actual values of the data is not relevant for the behavior ofthe system. For many systems the values are important. For instance the controlflow of the system can be dependent on the input values. We call this type ofsystem data sensitive, as the execution is sensitive to the values of variables.This theses strives to improve model-driven development of such data-sensitivesystems. This is done by addressing three research questions. In the firstwe combine state-based modeling and abstract interpretation, in order to easemodeling of data-sensitive systems, while allowing efficient model-checking andmodel-based testing. In the second we develop automatic abstraction learningused together with model learning, in order to allow fully automatic learningof data-sensitive systems to allow learning of larger systems. In the third wedevelop an approach for modeling and model-based testing of stateless systemswith very large input and output domains.

KW - Model-based development

KW - model-based testing

KW - data-sensitive systems

KW - model learning

M3 - Ph.D. thesis

BT - Model Driven Development of Data Sensitive Systems

ER -