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

180

pages

English

Documents

2010

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

180

pages

English

Ebook

2010

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Publié par

technische_universitat_munchen

Publié le

01 janvier 2010

Nombre de lectures

Langue

English

Poids de l'ouvrage

8 Mo

Publié par

technische_universitat_munchen

Publié le

01 janvier 2010

Nombre de lectures

Langue

English

Poids de l'ouvrage

8 Mo

Wissenschaft

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
help