180 Pages
English

Generating tests for feature interaction [Elektronische Ressource] / Sebastian Benz

Gain access to the library to view online
Learn more

Informations

Published by
Published 01 January 2010
Reads 22
Language English
Document size 8 MB




Generating Tests for Feature Interaction

Sebastian Benz



BMW Car IT VIhnisc
Dr.
hen
ec
nd
der
Dr.
V
ak
r
Münc
am
F
der
teraction
Bro
hen
k
hen
Berlin
s
b
T
e
druc
e
F
on
n
eature
Ph.D.
für
1.
ersität
h.c.
ec
2.
astian
Sc
ersität
T
ec
Univ
Erlangung
Dissertation
Generating
am
tändige
der
hnisc
hen
Ab
i
ests
einge
k
h
h
v
für
F
10
der
r
Univ
Brügge,
akultät
Prüfer
In
Dissertation:
Informatik
Univ.-Prof.
T
Dr.
T
Manfred
Seb
y
hnisc
Univ.-Prof.
Münc
Ina
Univ
hieferdec
Benz
er,
Münc
ec
Informatik
he
zur
ersität
oll
Die
des
wurde
20.08.2009
für
der
hen
for
der
und
adem
ei
isc
T
hen
hnisc
Grades
Univ
eines
rs
Doktors
tät
der
hen
Naturwissensc
r
haften
ic
(Dr.
t
rer.
durc
nat.)
die
genehmigten
akultät
Dissertation.
Informatik
V
09.04.20
orsitzender:
angenomme
Univ.-Prof.
.
Be
Institut(SUT).
ut
the
a
tro
v
namely
v
case
task
uses
and
e
formal
f
s
mo
is,
features
test
e
suc
increases
thesis
to
s
temp
future
all
The
TT
test
of
in
dene
prerequisite
te
ected
feature
error
abstraction
i
as
feasible
ab-
um
de-
mo
test
extensiv
to
e
so-
s
encapsulate
essar
re
to
the
et
and
e
In
executions.
n
task
new
ask
er
the
enables
ti
t
F
in
criteria
ystems
v
generation
i
t
in
es
task
en
test
and
under
increasing
cases
e
automated
a
information
i
et
prone
The
suc
dieren
feature
goal,
h
h
and
abstract
ask
p
Hence,
e
approac
case
unication
as
are
hence
ng
tiation
in
urthermore,
me
e
e
ensure
relations
y
een
their
y
t
space
y
tial
thesis
e
diere
a
t
deling
um-
.
h
vides
systems.
that
generation
ystematic
features
h
systematic
task
tegrate
ons
of
w
t
test
scenarios.
enable
b
c
test
of
s
e
a
task
tertainmen
ones
that
olv
increase
teractions.
oten
de
een
an
one
del,
in
the
li
e
dern
generated
a
e
generations.
ell.
to
of
often
requires
In
bridge
the
gap
thesis
een
formation,
the
tro
v
er
ending
a
testing
re-
as
l,
setup
terac-
Therefore
based
concern
um
transformation
dels.
cases
w
test
dels
In
t
scrib
new
t
e
for
hes
tiation
b
ect-orien
testing
means
ti
concerns
nec
the
functions
cases
y
b
in
se
order
they
vide
cop
ans
to
describ
with
the
to
oral
complexit
b
correctness
w
of
tasks
of
thereb
infotainmen
describ
reliabilit
the
systems.
of
infotainme
sequen
this
task
.
W
w
in
in
duce
presen
new
n
mo
a
language
t
ask
approac
TT
b
pro
to
a
n
foundation
case
enables
of
s
that
selection
The
suc
the
sequen
o
al
co
exec
Mo
i
erage
.
infotainmen
urthermore,
feature
e
teraction
new
teraction
selection
s
that
A
the
en
ystemati
for
co
i
erage
case
in
e
r
is
st
exp
ng
test
executions,
an
the
del
that
to
v
describ
e
w
in
p
A
ev
mo
tial
l
t,
as
pr
y
more
mo
paths
an
these
of
that
system
future
t
mits
st
I
Hence,
st
test
ehicle
ar
t
abstractions
is
w
space
The
As
execution
a
these
n-
cases
size.
additional
consequence,
to
th
the
error
straction
s
b
n
w
w
test
n
and
in
SUT.
b
transformation
duce
aries
and
p
h
on
of
t
test
concerns,
telematics,
h
de
test
in
test
whic
and
quires
phase.
is
eac
tions
testing
on
requires
v
separate
mo
of
as
test
T
in
e
executable
mo
scri
ell.
ts.
d
this
comm
w
presen
I
Abstract
ehicles
er
in
order
to
pro
e
a
the
lution
tasks
test
the
instan
system
that
is
asp
able
tation
to
a
p
to
erform
test
in
and
in
reduces
teraction
te
wi
t
th
instan
its
eort
en
y
vironmen
u
t.
.
F
IIVwird
T
he
rr
ask,
t.
Die
In
und
eit
v
enmo
T
enmo
diese
kritisc
k
dec
ahrze
ehlerszenarien
w
auf
F
Gröÿe
einen
h
endung
der
Arb
zu
dellierungssprac
In
wie
Un
ahlkriterie
ehler
fgab
orherge-
te
sind
F
F
der
ests
esc
zwisc
Zu-
Diese
b
g
h
te
hränkt.
i
Ansatz
Ansatz
dies
V
v
on
f
en.
systematisc
führt
hst
neue
v
für
ehlern.
ein,
ermöglic
rauf
dernen
Die
F
die
v
A
aufzudec
ausw
F
erreic
en,
he
sehene
v
systematisc
teraktio-
Die
realer
T
Group
teraktionen
b
not
hreibt
u
den
endig.
standsraum
hen
eine
Arb
ehe
unktionen
sc
s
bare
unkt
einsc
llt
Der
en
orgestellte
neuen
erreic
onen
t
zur
durc
die
estfallgenerierung
erw
o
v
or,
Aufgab
äc
dell
den
Diese
t
eit
hen
TT
mo
eine
est
Mo
F
he
on
Aufgab
stetig.
delle,
teraktionen
so
Um
da-
h
aufbauende
der
estausw
n,
Kurzfassung
Anzahl
in
w
führen
T
h
Gene
gezielt
rierung
he
v
u
on
enabfolgen
T
ählen.
estfällen
so
erfordert
h
ein
systematisc
geeignetes
Ab
T
kung
estmo
on
dell,
unktionsin
das
nen
p
anhand
oten
Systeme
tiell
BMW
e
gezeigt.
F
VVISc
also
pro
of
thank
to
e,
n
urthermore,
i
and
mak
helpful
wh
ys
Holger
IT
Nölle,
d
and
v
Markus
ould
&
m
y
can
m
Finally
his
for
ts.
on
Dr.
e
of
Dr.
.
eb
a
heic
w
W
vironmen
m
k
lik
p
and
o
of
fully
fruitful
thank
am
ecial
l
kno
for
coun
f
man
r
ould
Prof.
h
detailed
supp
w
w
am
me.
all,
ould
y
thank
feedbac
,
MW
Heinec
Manfr
Lein
pro
Oliv
Dr.
er
e
Dr.
wledgemen
and
e
for
Sc
ting
that
thesis.
y
w
me
to
I
Elmar
si
Win
lik
Departmen
y
w
e
Engineering
cus
u
sup
k.
thesis.
to
b
,
s
Jutta
Benz
Reinhard
that
reader
a
guidance
on
and
y
o
things
for
I
her
e
of
ti
and
arzk
al
encouragemen
commen
and
Dr.
le
I
w
a
y
grateful
I
kno
w
m
lik
helpful
to
colleagues
Dr.
h.c.
Grandy
B
Prof.
k
Harald
Car
k
I
Maximilian
for
w
Prof.
er,
viding
er
e
Oliv
creativ
Sc
I
kl,
and
Kathrin
A
heidemann
ductiv
Dana
a
ong
en
reading
Bro
commen
t
on
hieferdec
y
ga
F
ould
I
e
ould
er
e
the
thank
f
Herrmannsdörfer,
os
Jürgens
w
Sebastian
b
ter
ts
the
lit
t
lik
Soft
to
are
r
Systems
fo
for
to
disc
on
ssions
e
feedbac
y
I
for
grateful
Sp
m
ervising
family
thank
Ju
eing
ia,
go
and
olfgang
Dr.
-
second
wing
Stolle
I
thesis
alw
his
ys
and
t
during
them
thank
es
y
I
c
First
to
this
the
to
W
w
easier.
ork
,
,
w
his
lik
insigh
to
tful
Man
commen
Sc
ts
w
and
opf
the
her
man
t,
y
ort
discussions
patience
that
i
had
I
a
as
ma
orking
jor
m
inuence
thesis.
on
VII
I
VI