Lec e No e in Info ma ic (LNI), Ge ell chaf fÈ Info ma ik, Bonn 15
A oma i che Ve link ng on Anfo de ngen nd Te fÈallen - Fallba ie e Fil e ng
Thoma Noack1S effen Helke
Ab ac :De ema i che Ein a on Techniken Wiede e end ng on En ickl ng a e- fak en fÈh nach ei lich eine d a i chen Ko en ed k ion in Sof a ep ojek en. Da Po en ial Wiede e end ng i pe iell im A omo i ebe eich be onde hoch, da ich die Anfo de n- gen on Ba eihe Ba eihe n eil ei e Èande n. Kon ep e Wiede e end ng ind effek- i , enn ie d ch die einge e en En ickl ng e k e ge n e È nd a oma i ie e den.
De halb haben i in jÈnge en A bei en eine Technik a oma i chen Ve link ng on Te fÈallen mi iede e ende en Anfo de ngen o ge ell , die al E ei e ng on DOORS mge e i . Die Technik g eif a f iede e ende e Anfo de ngen Èck, die a eine Vo gÈange ba eihe Èbe nommen den nd ell d ch a oma i ch e e g e Link iche , da die e d ch die elben Te fÈalle abge iche e den, ie die Anfo de ngen de Vo gÈange ba eihe. S pek e Ve link ng - i a ionen, die .B. d ch die Modi®ka ion iede e ende e Anfo de ngen en ehen kÈonnen, e den dabei e kann nd mi einem allgemeinen P Èfhin ei e ehen. Die e Papie e ei e die e Ve fah en m eine fallba ie e Fil e ng mi dem Ziel, pek e Ve link ng i a ionen de-
aillie e be ch eiben nd kon k i e Vo chlÈage de en A ¯Èo ng be ei ellen.
Ke o d :Anfo de ngen, Te fÈalle, Wiede e end ng, T aceabili , Ca e-ba ed Rea oning
1 Mo i a ion
Die Wiede e end ng on En ickl ng a efak en hilf en cheidend, die Ko en E ell ng on Sof a e enken. Spe iell im A omo i ebe eich i die e Vo gehen
ielfÈh end, da ich die Anfo de ngen on Ba eihe Ba eihe n eil ei e Èande n.
Z gleich bi g Wiede e end ng abe a ch Gefah en, denn jede iede e endende A efak m nÈach o gfÈal ig gep Èf e den, ob e pa gena i nd ob e adÈaq a im ne en Kon e e ende e den kann. Eine o gfÈal ige P Èf ng i ei a f endig, fehle anfÈallig nd e ach iede m hohe Ko en, in be onde e dann, enn ie ma- n ell d chgefÈh e den m . De halb i d in en i da an gefo ch , ie p o e n- e È ende En ickl ng e k e ge d ch Komponen en a oma i ie en Wiede e - end ng e gÈan e den kÈonnen. In jÈnge en A bei en haben i eine Technik a o- ma i chen Ve link ng on Te fÈallen mi iede e ende en Anfo de ngen o ge ell , die in dem Anfo de ng managemen e k e g DOORS mge e i [NHK14]. Da Ve - fah en e o a , da fÈ iede e ende e Anfo de ngen nach oll ogen e den kann, a elchen Anfo de ngen de Vo gÈange ba eihe ie abgelei e den. Fe ne
i d da on a gegangen, da die Anfo de ngen de Vo gÈange ba eihe mi Te fÈallen
1Daimle Cen e fo A omo i e IT Inno a ion Ð TU Be lin, homa .noack@ -be lin.de B andenb gi che Techni che Uni e i Èa Co b -Senf enbe g, effen.helke@b- .de
e link ind, die die e ab iche n. Ba ie end a f den Info ma ionen e den Link i- chen Te fÈallen nd iede e ende en Anfo de ngen a oma i ch e e g . Da Ve fah- en kann be ei mi dem Wegfall on Anfo de gen ode ÈAnde ngen de iede e en- de en Anfo de ngen mgehen. In o einem Fall i d eine pek e Ve link ng i a ion de ek ie nd ein allgemeine P Èfhin ei eingefÈg . Eine p Èa i e Be ch eib ng de Ve - link ng i a ion a bi he alle ding noch nich mÈoglich, da (1) keine kla i® ie enden Eigen chaf en fÈ die iede e endenden A efak e o lagen nd ( ) kein geeigne- e S ch e fah en e i ie e, da a f k i i che Wiede e end ng i a ionen hin ei en konn e. Die e Papie ell eine Technik o , die da bi he ige Ve fah en m eine fallba- ie e Fil e ng e ei e , o da a f G ndlage on E fah ng i en pek e Ve lin- k ng i a ionen gena e cha ak e i ie nd kon k i e Vo chlÈage de en A ¯Èo ng ge Èa ig e den kÈonnen.
Da Papie i folgende maûen a fgeba . In Ab chni e den g ndlegende Beg iffe eingefÈh nd die A bei in einen g Èoûe en Z ammenhang ge ell . Ab chni fÈh in da ogenann e W T-P oblem ein, da p Èa i e die F age ell ng be ch eib , ob ein Te fall mi eine iede e ende en Anfo de ngen e link e den oll e. Fe ne gehen i in die em Ab chni a f e and e A bei en ein. In Ab chni 4 ellen i da Kon ep de Fallba ie en Fil e ng o . Wi be ch eiben, ie A efak e gena e kla i® ie e den kÈonnen nd ie mi Hilfe on ÈAhnlichkei maûen eine Fil e ng e folgen kann. In Ab- chni 5 ellen i chlieûlich ie Ak i i Èa en o , die me hodi chen Um e ng de Ve fah en no endig ind. In Ab chni fa en i die E gebni e ammen nd geben einen A blick a f ei e fÈh ende A bei en.
G ndlagen
Die Spe i®ka ion on Anfo de ngen nd Te fÈallen i eine kompli ie e TÈa igkei , die im P ojek nich einfach nebenbei e ledig e den kann. Eine be onde e Bede ng i d ihnen eil, enn Anfo de ngen on He elle n an Liefe an en Èbe geben e den nd die e Liefe an en die be ell en S eme eali ie en. Um nach ei en kÈonnen, da die be ell en S eme ko ek mge e den, e den he elle ei ig Te fÈalle pe i® ie . Die e Te fÈalle ind mi den Anfo de ngen e link . Die Ve link ng ha meh e e Vo eile, ie lokali ie nich ko ek mge e e Anfo de ngen nd e mÈoglich die Be e ng de Te abdeck ng on Anfo de ngen.
.1 Anfo de ng en ickl ng
Anfo de ngen en ehen nich on je a f gleich - im Gegen eil, ie e l ie en a ei- nem ema i chen Anfo de ng en ickl ng p o e . Die e P o e i d in d ei Ke n- ak i i Èa en Ge inn ng, ÈUbe ein imm ng nd Dok men a ion o ie ei Q e chni - ak i i Èa en Validie ng nd Managemen gegliede . Die ein elnen Ak i i Èa en ind in de S anda dli e a a fÈh lich be ch ieben [Po 8]. Die be ei f Èhe o ge ell e Tech- nik a oma i chen Ve link ng on Te fÈallen mi iede e ende en Anfo de ngen
[NHK14] o dne ich in die Q e chni ak i i Èa Managemen on Anfo de ngen ein.
Hie e den d ei Be eiche n e chieden:P io i ie ng on Anfo de ngen,Ve al ng de ÈAnde ng on Anfo de ngen o ie dieVe folgba kei on Anfo de ngen.
De Ke n n e e Me hode i die Ve folgba kei de Wiede e end ng on Anfo de n- gen hin ich lich de Te . Wiede e end ng i hie bei al ÈAnde ng e ehen, enn iede e ende e Anfo de ngen modi® ie e den. Dami o dne ich n e e Me hode in den Be eich de Anfo de ng e al ng (engl.: eq i emen managemen ) ein.
. Te en ickl ng
Wie im Anfo de ng en ickl ng p o e en ehen Te fÈalle nich on je a f gleich.
A ch Te fÈalle ind da Re l a eine ema i chen En eh ng p o e e . De f nda- men ale Te p o e i d in die fÈnf A bei ch i e Te plan ng nd Te e e ng, Te - anal e nd Te de ign, Te eali ie ng nd Te d chfÈh ng, Te a e ng nd Be- ich o ie Ab chl de Te ak i i Èa en gegliede [SL 5]. Die a oma i che Ve link ng on Te fÈallen mi iede e ende en Anfo de ngen o dne ich in den A bei ch i Te plan ng nd Te e e ng ein: In de Te plan ng e den die UmfÈange de Te -
en de®nie , die Èah end de Te e e ng e al e e den. Da E gebni de Te pla- n ng i da Te kon ep . In die em i d be ch ieben, a f elche Te mgeb ng (Wo?) Èah end elche Te fe (Wann?) elche Te objek e (Wa ?) ab iche n ind nd el- che Te iele (Wo ?) dabei e folg e den. Da Te kon ep leg omi fe , elche Te fÈalle mi elchen Anfo de ngen e link ein mÈ en. In jÈnge en A bei en haben i be ch ieben, ie mi Hilfe de Te kon ep die Te abdeck ng on Anfo de ngen e mi el e den kann [No1 ]. In de Te e e ng i d Èbe ach , ob da Te kon ep e fÈll i nd in elchem Umfang Ab eich ngen a f e en.
Die in die e A bei o ge ell e Me hode e link Anfo de ngen mi iede e ende en Anfo de ngen. Da Ziel die e Ve link ng i e , die Nach oll iehba kei in de Te pla- n ng nd Te e e ng fÈo de n, enn Te fÈalle a f de G ndlage iede e ende e Anfo de ngen iede hol e den ollen.
. Ve folgba kei
Im De chen i d de engli che Beg iff T aceabili n e chiedlich Èbe e . WÈah end einige A o en den Beg iff Nach oll iehba kei e enden, g eifen ande e a f den Beg iff Z ÈckfÈh ba kei Èck. Wei e e, hÈa ®g e ende e Beg iffe ind RÈck e folgba kei , Nach e folgba kei ode D chgÈangigkei . Z le e chien ein engli ch p achige B ch, in dem die T aceabili -Beg iff el mfa end de®nie i d [CHGZ1 ]. Ba ie end a f die em B ch Èbe e en i T aceabili mi Ve folgba kei [No15]. Ve folgba kei i die gene elle FÈahigkei , A efak e mi einande e linken nd die e Ve link ng e fol- gen. Nach oll iehba kei (engl.: comp ehen ibili ) i al Z eck de Ve folgba kei
e ehen. Weil i Anfo de ngen nd Te fÈalle e folgen, o dne ich n e e A bei in den Be eich de Anfo de ng - nd Te e folgba kei ein. Dabei i e da Ziel, Wiede -
e end ng on Anfo de ngen nd Wiede hol ng on Te fÈallen nach oll iehen.
Anfo de ng - nd Te e folgba kei
Anfo de ngen nd Te fÈalle kÈonnen nich ge enn oneinande be ach e e den. Sie ehen in einem Ve hÈal ni , da Te fÈalle die ko ek e Um e ng on Anfo de ngen ab- iche n. Dabei m iche ge ell ein, da die ich igen Te fÈalle mi den ich igen An- fo de ngen e link ind. In die em Ab chni i d da W T-P oblem o ge ell . E en - eh , enn Anfo de ngen iede e ende e den nd en chieden e den m , ob die e i ie enden Te fÈalle noch da geeigne ind, die iede e ende en Anfo de n- gen ab iche n.
.1 Anfo de ngen nd Te fÈalle in de P a i
WÈah end de Anfo de ng - nd Te en ickl ng en ehen ahl eiche Anfo de ngen nd Te fÈalle fÈ eine Viel ahl on of a ela igen S emen. Die Anfo de ngen e - den dabei in S emla enhef en (SLH) nd die Te fÈalle in S em e pe i®ka ionen (STS) gep¯eg . Um Nach oll iehba kei e mÈoglichen, ind die Anfo de ngen nd Te fÈalle e link . Bild 1 eig einen A chni a Spe i®ka ion dok men en. Die obe- e linke Bo eig ein S emla enhef eine Vo gÈange ba eihe. Die obe e ech e Bo
eig ein S emla enhef de ak ellen Ba eihe. Die e S emla enhef de a de Vo gÈange ba eihe iede e ende , indem e kopie nd angepa de: In de An- fo de ng iel-1 4 de die Spe i®ka ion de Wa ch n e b ech ngen fe n . Die n e e Bo eig eine Te pe i®ka ion. Die Te fÈalle9 nd94 iche n eben die eWa ch n e - b ech ng on Anfo de ng1 4ab. Da Bei piel de e die P oblem ell ng die e A bei an: Sind die Te fÈalle9 nd94da geeigne , die Anfo de ng iel-1 4ab iche n?
L L
T L T L
Abb. 1: Bei piele fÈ S emanfo de ngen nd S em e fÈalle
. W T-P oblem
Die Me hode Ve link ng on Te fÈallen nd Anfo de ngen ba ie a f einem pe i-
® chen Ve link ng modell, da in de ind iellen P a i beobach e de. Bild eig die e Modell, da al Wiede e ende -Te e - ode W T-P oblem be eichne i d.
W : Wiede e ende . Im Rahmen eine ne en Ba eihenp ojek e den SLH ko- pie nd an da ne e Umfeld angepa . Somi en ehen ei SLH, da SLHQ ell de Q ell-Ba eihe nd da SLHZielde Ziel-Ba eihe. Die e ehen in einem Wiede e en- d ng e hÈal ni : SLHZiel iede e ende SLHQ ell.
T: Te e . Die STS i d nich kopie nd angepa . S a de en e den die Te fÈalle mi den ne en Anfo de ngen de SLHZiel e link . Vo die e Ve link ng be®nden ich die STS nd da SLHQ ellin einem Te e hÈal ni : STS e e SLHQ ell
W T-P oblem nd W T-Ve link ng. In Bild eig ein W -Link on eine Ziel-Anfo - de ng eine Q ell-Anfo de ng. Wei e hin eig ein T-Link on einem Te fall ei- ne Q ell-Anfo de ng. Im W T-P oblem e i ie de ge ichel da ge ell e T-Link om Te fall Ziel-Anfo de ng noch nich . Dami be ch eib da W T-P oblem die Si a- ion, be o de Te fall ein Te e hÈal ni mi de Ziel-Anfo de ng eingeh . Die W T- Ve link ng e den fehlenden T-Link a f de G ndlage de W -Link . Dabei e den pek e Ve link ng i a ionen, ogenann e W T-Inkon i en en, a fgedeck [NHK14].
Da Se en de fehlenden T-Link i d al LÈo en de W T-P oblem be eichne . De ak- elle S and de Technik kenn ei Vo gehen ei e LÈo ng on W T-P oblemen:
die man elle Ve link ng nd die Ve link ng nach dem Anlegen de SLH-Kopie. Mode - ne Fah e g haben bi 1 S e e ge Èa e nd omi minde en 1 S eme. Wenn p o S em ein SLH nd eine STS mi je eil d ch chni lich 5. Anfo de ngen nd Te fÈallen e i ie en, fÈh da e e Vo gehen offen ich lich eine Zei - nd Gena ig- kei p oblema ik. Im ei en Vo gehen ®nde die Ve link ng m fal chen Zei p nk a : Nach dem Kopie en abe o dem Anpa en de SLHZiel. Ungeach e de Vo gehen ei e kann ein Um and hÈa ®g beobach e e den: Von Ba eihe Ba eihe e i ie en imme
enige T-Link . Da bede e in de P a i a nich , da enige ge e e i d - ohl abe , da de Te chlech e nach oll iehba i .
STS
SLHQ SLH
T L L
T L
Q A
A T
Abb. : W T-P oblem nd W T-Ve link ng
. Ve and e A bei en
Da W T-P oblem i ein Ve link ng modell, da da Wiede e end ng e hÈal ni i- chen Anfo de ngen be ch eib . E o dne ich omi in den Be eich de Anfo de ng - e folgba kei (engl.: eq i emen aceabili ) ein. Neben de Anfo de ng iede e - end ng piegel da W T-P oblem a ch da Te e hÈal ni i chen Anfo de ngen nd Te fÈallen ide . Dami o dne e ich a ch in den Be eich de Te e folgba kei (engl.:
e aceabili ) ein. Die W T-Ve link ng nd die dami e b ndenen Anal en ellen Ve link ng echniken da .
WÈah end Ve link ng modelle (engl.: aceabili info ma ion model ) die be eilig en A - efak e nd die mÈoglichen Link i chen ihnen benennen, be ch eiben Ve link ng ech- niken den Umgang mi den Modellen. Hie e i ie en be ei ahl eiche A bei en, on denen im Folgenden die ich ig en o ge ell e den.
. .1 Ve link ng modelle
In den 199 e Jah en gal de T end dem H pe e . Die Idee a e , Anfo de ngen in H - pe e fo m lie en nd d ch H pe link mi einande e linken [PH95]. Da H pe - link gene i ch ind, a e in f Èhen Ve link ng modellen mÈoglich, g nd Èa lich alle mi allem e linken. Ob ohl e mÈoglich i , in den gene ellen Modellen Link on Te fÈallen de®nie en, fehlen den o ge ell en Modellen e pli i e T-Link .
Ne e e A bei en be ch eiben Ve link ngmodelle mi e pli i en T-Link [Ki 8][AI11].
Die e Modelle eben jedoch die Be ch eib ng eine mÈoglich oll Èandigen Ve lin- k ng modell an, m den ge am en Sof a eleben kl ab bilden.
Da W T-P oblem g en ich da on ab, indem e ich e pli i a f einen einfachen Sach- e hal be ch Èank : Die Wiede e end ng on Anfo de ngen nd die dami einhe ge- hende Wiede e end ng on T-Link . Dami i da W T-P oblem kein gene elle , on- de n ein pe iali ie e Ve link ng modell. Z Èa lich fÈh da W T-P oblem den noch nich e b ei e en W -Link i chen iede e ende en Anfo de ngen ein.
. . Ve link ng echniken
E la en ich ei A en on Ve link ng echniken n e cheiden: (1) Die a oma i che Ve link ng nd ( ) die a oma i che Linkanal e. Im Fo ch ng and e i ie en An Èa e e eigni ba ie en (EBV), egelba ie en (RBV), a iabili Èa modellba ie en (VBV), ko enba ie en (KBV), ena ioba ie en (SBV), ielba ie en (ZBV) ode info ma ion- e ie al-ba ie en (IRV) Ve link ng. Die e Ve link ng echniken den be ei in e - chiedenen P blika ionen be ch ieben [RWA ][To1 ]. Die in die em Papie o ge ell e Me hode e ei e den Fo ch ng and m die iede e end ng ba ie e Ve link ng (WBV). Z dem e den einige de Techniken a fgeg iffen, m die W T-Ve link ng e ei e n: Die fallba ie e Fil e ng i eine IRV.
4 Fallba ie e Fil e ng
Die W T-Ve link ng e link Te fÈalle mi iede e ende en Anfo de ngen gemÈaû Ab- bild ng a f de G ndlage on be ehenden Link i chen den be eilig en A efak en.
A efak e haben abe nich n Link . Sie be i en a ch Eigen chaf en, die ie kla i®- ie en. Im Folgenden e den Techniken be ch ieben, ie die e Eigen chaf en Èah end de W T-Ve link ng be Èck ich ig e den kÈonnen. Dami i d e mÈoglich, de aillie e P Èfhin ei e be ei ellen, die den G nd pek e Ve link ng i a ionen a f eigen.
4.1 W T-Fall
Abbild ng eig einen ange eiche en W T-Fall. Ein ange eiche e W T-Fall n e - cheide ich lediglich d ch einen P Èfhin ei om ange eiche en W T-P oblem. Da Ziel de fallba ie en Fil e ng i e , fÈ ak elle ange eiche e W T-P obleme Èahnliche W T-FÈalle in de Fallda enbank chen nd den P Èfhin ei in dem ak ellen W T- P oblem hin e legen. FÈalle en p echen demnach f Èhe gelÈo en P oblemen.
Ein W T-Fall b . W T-P oblem i d ange eiche , indem kla i® ie ende Eigen chaf- en (KE) de Q ell- nd Ziel-Anfo de ngen o ie de Te fall ge peiche e den. In de P a i en p echen KE DOORS-A ib en. Im Bei piel be i en die beiden Anfo de n- gen Schni ellen. WÈah end die Q ell-Anfo de ng eine Schni elle m ZÈnd chlo ha , be i die Ziel-Anfo de ngen eine ei e e ne e Schni elle m Mo o e e ge Èa . Die Schni ellen haben ich al o geÈande . De be eilig e Te fall i a ch kla i® ie . E i ein Schni ellen e fall. Die e W T-P oblem i pek , eil ich die Schni ellen de Anfo de ngen geÈande haben nd ein Schni ellen e fall be eilig i .
Q A
A T
T S
S S
M P SS T
Abb. : W T-Fall mi kla i® ie enden Eigen chaf en
Um e kennen, ob ein ak elle W T-P oblem einem W T-Fall a de Fallda enbank Èahnel , e den binÈa e ÈAhnlichkei maûe [B 1 ] einge e . Die e e mi eln, ie iele glei- che b . n e chiedliche Elemen e die A p Èag ng mengen eine KE be i en nd q an- i® ie en die ÈAhnlichkei . In Abbild ng be i die KESchni ellede Q ell-Anfo de- ng die A p Èag ngZÈnd chlo . Die e A p Èag ng menge n e cheide ich on de A p Èag ng mengeZÈnd chlo , Mo o e e ge Èa de Ziel-Anfo de ng. Mi Hilfe on
ÈAhnlichkei maûen lÈa ich die e Un e chied in P o en a d Ècken.
4. ÈAhnlichkei f nk ionen
An die e S elle e den die ÈAhnlichkei f nk ionen in DOORS bei pielhaf angede - e . Die oll gleich e an cha lichen, ie de An a in de P a i einge e e den kann. Abbild ng 4 eig einen W T-Fall f o ie ei W T-P obleme nd . Mi Hil- fe de ÈAhnlichkei f nk ionen oll e mi el e den, ie Èahnlich nd f ind. Die a fÈh liche Be ch eib ng de ÈAhnlichkei f nk ionen nd ih e ch i ei e An end ng a f f nd o ie a f f nd e folg in [No15].
Die da ge ell en A efak e be i en kla i® ie enden Eigen chaf en (KE). Die Anfo de- ngen haben die Anfo de ng -KEBa eihe ndSchni elle. Da W T-P obleme FÈalle eine Q ell- nd eine Ziel-Anfo de ng haben, e i ie en je ei A p Èag ng mengen Ba eiheQ elle ndBa eiheZielb .Schni elleQ elle ndSchni elleZiel. De Te fall ha die Te fall-KE Te iel. Te fall-KE haben lediglich eine A p Èag ng menge, eil n ein Te fall an W T-P oblemen FÈallen be eilig i . In Anfo de ng e k e gen - ie bei piel ei e DOORS - e den die e KE d ch A ib e (d.h. Spal en) eali ie . FÈ ÈAhnlichkei en in P o en m die An ahl de KE-A p Èag ngen bekann ein. Die
ind #KEBa eihe= (M-, S-, E-Kla e), #KESchni elle=4 (Wi h Wa h Con ol, TÈ e - e ge Èa , T nk Lock, In men Cl e ) o ie #KETe iel=1 (Ko ek e Schni ellen).
S SLH
S STS
Q S SLHQ
F
Abb. 4: Bei pielfall nd -p obleme
Z Be e ng de ÈAhnlichkei e den binÈa e ÈAhnlichkei maûe einge e [B 1 ]. Die e ba ie en a f de En hal en ein anal e on ei Mengen: Ein Elemen kann in beiden Mengen (a:11), e kl i in n eine de beiden Mengen (b:1 , c: 1) ode in keine de beiden Mengen o kommen (d: ). Z nÈach i d fÈ den in de Da enbank abgeleg en Fall f die ÈAhnlichkei de damaligen Q ell- nd Ziel-Anfo de ngen be echne . Hie fÈh
.B. die En hal en ein anal e de Schni elle-KE dem Vie pel (a: ,b: ,c:1,d:1)
Da T pel (a,b,c,d) ¯ieû in ein binÈa e ÈAhnlichkei maû, bei piel ei e Roge Tanimo- o, ein. Die e i de®nie al a+a+db+c+d. Mi dem E gebni de En hal en ein anal e de Schni ellen-KE inne halb on f fÈh egen +⇤+1+⇤1+1 %. Dami ind die Schni ellen de Q ell-Anfo de ng on f % Èahnlich den Schni ellen de Ziel- Anfo de ng on f. Die e ein elne ÈAhnlichkei i d al lokale ÈAhnlichkei be eichne . Die globale ÈAhnlichkei e ich a allen lokalen ÈAhnlichkei en ammen.
Z o de die ÈAhnlichkei de Anfo de ngen inne halb de Fall be ach e . Die e ÈAnde ng de Anfo de ng -KE on Q elle Ziel i d al T end be eichne . De T end de Schni ellen-KE on P oblem i egen (a: ,b: ,c:1,d:1) %. A ch fÈ P oblem e gib ich egen (a:1,b:1,c: ,d: ) ein T end on %. Im Bei piel gil , da ich in f, nd die Schni ellen on Q elle Ziel gleich a k geÈande haben. Die gleich a - ke ÈAnde ng i d mi Hilfe de Ab and 1 %− |Fall-KE T end−P oblem-KE T end| b . 1 %− | %− %| da ge ell . Die ÈAhnlichkei de Schni ellen-T end on f nd o ie f nd lieg omi je eil bei 1 %. A ch de T end de Ba eihen-KE ha ich bei f, nd mi je eil (a: ,b:1,c:1,d:1) gleich a k geÈande . Die ÈAhnlichkei de Ba eihen-T end on f nd o ie f nd lieg dami a ch bei je eil 1 %.
Weil Te fÈalle in W T-P oblemen FÈallen nich al Paa a f e en, kÈonnen Te fall-KE nich endba ie , onde n lediglich di ek , d.h. on Fall e fall P oblem e fall, e glichen
e den. Im Bei piel e i ie lediglich ein Te iel. Dami fÈh de Ve gleich de Te iele on f nd o ie on f nd je eil (a:1,b: ,c: ,d: ) ode 1 %.
Die globale ÈAhnlichkei on f nd o ie f nd e gib ich a dem P od k de lo- kalen ÈAhnlichkei en. Da alle lokalen ÈAhnlichkei en, d.h. die beiden Anfo de ng end
nd de ein elne di ek e Ve gleich de Te fall-KE, bei 1 % liegen, lieg a ch die globa- le ÈAhnlichkei bei 1 %. De P Èfhin ei on f (Schni ellen geÈande . Schni ellen-
e fÈalle p Èfen) kann demnach o ohl fÈ al a ch fÈ Èbe nommen e den.
Im Bei piel ind die Q ell- nd Ziel-Schni ellen on f nd je eil iden i ch, Èah end die Q ell- nd Ziel-Schni ellen on f nd nich iden i ch ind. D ch da obige Vo - gehen i d die e Un e chied nich be Èck ich ig . Neben dem endba ie en Ve gleich kÈonnen a ch Anfo de ng -KE di ek e glichen e den. De di ek e Ve gleich de Q ell- Schni ellen on f nd fÈh egen (a: ,b: ,c: ,d: ) 1 %. Im Gegen a da fÈh de di ek e Ve gleich de Q ell-Schni ellen on f nd egen (a:1,b:1,c:1,d:1) lediglich
%. Neben den Q ell-Schni ellen e den a ch die Ziel-Schni ellen on f nd (1 %) b . f nd (5 %) di ek mi einande e glichen. Dami die Anfo de ng -KE nich eimal in die globale ÈAhnlichkei ein¯ieûen, i d de Mi el e de beiden Ve - gleiche gebilde . Im Bei piel lieg die globale ÈAhnlichkei beim di ek en Ve gleich alle KE on f nd bei %. De Ve gleich on f nd fÈh lediglich 8,4% ÈAhnlichkei . Da e ah cheinlich i , da ich die Ba eihe a Èande abe de Fall ande e Ba eihen al da P oblem en hÈal , kÈonnen die Ba eihen-KE endba ie nd die Schni ellen- KE o ie die Te iel-KE di ek e glichen e den. Die fÈh im Bei piel fÈ f nd
eine globalen ÈAhnlichkei on 1 % Èah end f nd 4 % Èahnlich ind. In de Fallde®ni ion kann je nach An end ng eck p o Anfo de ng -KE fe geleg e den, ob ie endba ie ode di ek e glichen e den oll (nich in Abb. 4 da ge ell ).
5 Ca e-Ba ed Rea oning
Die be ch iebenen Techniken E mi l ng on ÈAhnlichkei en mi dem Ziel de ÈUbe nah- me on P Èfhin ei en o ien ie en ich an Techniken on CBR (Ca e-Ba ed Rea oning).
CBR ba ie a f ei P in ipien: (1) ÈAhnliche P obleme haben Èahnliche LÈo ngen nd ( ) Èahnliche P obleme e en imme iede a f. Die e beiden G nd Èa e la en ich eh einfach a f da W T-P oblem an enden: (1) ÈAhnliche W T-P obleme haben Èahnliche LÈo ngen nd ( ) Èahnliche W T-P obleme e en imme iede a f. CBR i in ielen DomÈanen ei e b ei e . HÈa ®ge An ende ind neben Sof a e echnike n bei piel - ei e a ch Medi ine : (1) ÈAhnliche K ankhei en haben Èahnliche Behandl ng me hoden nd ( ) Èahnliche K ankhei en e en imme iede a f.
T F T P
T P
T FT F T P
U I R
Ä F
P
II R
L E
III R
I R
N F
F
R
T P
P
T FT F T F
N T F
T P
G R R
R
Abb. 5: CBR-Me hode gemÈaû [AP94, S.8]
Abbild ng 5 eig a f de linken Sei e da allgemeine CBR-Vo gehen. Im e en Sch i e den die Èahnlichen FÈalle fÈ ein ak elle P oblem e mi el ( e ie e). Wenn ein Èahnlich- e Fall gef nden de, i d de ge peiche e LÈo ng o chlag de Fall LÈo ng de ak ellen P oblem iede e ende ( e e). Im d i en Sch i i d die LÈo ng de ak ellen P oblem gep Èf nd gegebenenfall angepa (e i e). Im le en Sch i i d da ak ell gelÈo e P oblem in die Fallda enbank a fgenommen, dami e fÈ kÈnf ige CBR-Z klen Ve fÈg ng eh (e ain).
Die ech e Sei e on Abbild ng 5 eig da pe i® che CBR-Vo gehen. Im e en Sch i e den die o be ch iebenen ÈAhnlichkei f nk ionen ange ende , m fÈ ein ak el- le W T-P oblem alle Èahnlichen W T-FÈalle a de Fallda enbank e mi eln (e ie e).
Im An chl da an e den die P Èfhin ei e de Èahnlichen W T-FÈalle in da ak elle W T-P oblem Èbe agen (e e). Im d i en Sch i ®nde eine man elle ÈUbe p Èf ng de
lÈo enden W T-P oblem mi Hilfe de de aillie en P Èfhin ei e a (e i e). Dabei i d a ch die Ko ek hei de P Èfhin ei e kon ollie nd gegebenenfall ko igie . Im le en Sch i e den ko igie e ode ne e P Èfhin ei e de gelÈo en W T-P obleme in W T-FÈalle mge andel nd in die Fallda enbank a fgenommen (e ain).
Die ÈAhnlichkei f nk ionen den E al a ion ecken nÈach in Ha kell imple- men ie nd an chlieûend in DXL (DOORS eX en ion Lang age) nachimplemen ie . Dami konn en die e en beiden CBR-Sch i e in DOORS mge e e den.
Die fallba ie e Fil e ng de in ei ealen S emen e p ob . Konk e e Bei piele fÈ fallba ie e Fil e ngen ind die im obigen Bei piel be ch iebene Schni ellenÈande ng mi be eilig em Schni ellen e fall o ie:
• Wenn ich die ASIL-Ein f ng eine iede e ende en Anfo de ng geÈande ha , dann mÈ en die Siche hei e fÈalle Èbe p Èf e den.
• Wenn ich de Eigen Ème eine iede e ende en Anfo de ng geÈande ha , dann m de Eigen Ème de Te fÈalle Èbe p Èf e den.
Die e en E gebni e eigen, da e echni ch mÈoglich i , kla i® ie e W T-P obleme nd W T-FÈalle a oma i ch mi einande hin ich lich de ÈAhnlichkei ih e kla i® ie en- den Eigen chaf en e gleichen nd einen de aillie e en P Èfhin ei Èbe agen. Da die W T-FÈalle indi id ell de®nie e den kÈonnen, ind die MÈoglichkei en E kenn ng pek e W T-P obleme lediglich d ch die kla i® ie enden Eigen chaf en be ch Èank . Im be ach e en Umfeld e i ie eine Viel ahl olche A ib e. Dahe e i ie en a ch
ahl eiche nÈ liche W T-FÈalle.
Ob ohl e echni ch mÈoglich i , obige Anf agen ellen, i eine olle A oma i- ie ng de CBR-Z kl im be ach e en Umfeld momen an ch ie ig: Z m einen lieg die an den he e ogenen Vo gehen ei en bei de Kla i®ka ion on Anfo de ngen nd Te fÈallen. Z m ande en beda f e an Q ali Ga e imme eine man ellen Re ie . Die-
e man elle Re ie en p ich dem CBR-Sch i e i e.
Z ammenfa ng
In die em Papie de ein be ehende Ve fah en a oma i chen Ve link ng on Te - fÈallen mi iede e ende en Anfo de ngen m eine ne e Komponen e e ei e , mi de
pek e Ve link ng i a ionen gena e cha ak e i ie e den kÈonnen. Hie e den in eine Fallda enbank be ei gelÈo e Ve link ng i a ionen al E fah ng i en abgeleg
nd die e beim A f e en eine Èahnlichen Ve link ng i a ion iede e ende . G nd- lage de Ve fah en i eine fallba ie e Fil e ng, bei de anhand on kla i® ie enden
Eigen chaf en de be ach e en En ickl ng a efak e en chieden e den kann, ob ein Fall de Fallda enbank einem ak ell lÈo enden P oblem ÈAhnlichkei en a f ei . Die Technik lÈa ich d ch ie Ak i i Èa en in ein o handene P o e o gehen me hodi ch in eg ie en. Die e en beiden Ak i i Èa en den al E ei e ng on DOORS implemen- ie . Die E p ob ng in ei ealen S emen beleg die gene elle echni che Machba kei de o ge ell en Ve fah en . In eine g Èoûe angeleg en Feld die ollen i T ade-off hin ich lich de ÈAhnlichkei f nk ionen Op imie ng ih e Pa ame e e mi eln.
Li e a e eichni
[AI11] A mi, A i Ib ahim, S haimi: Implemen ing Te Managemen T aceabili Model o S ppo Te Doc men . In e na ional Jo nal of Digi al Info ma ion and Wi ele Comm nica ion (IJDIWC), 1(1):1 9±1 5, 11.
[AP94] Aamod , Agna Pla a, En ic: Ca e-Ba ed Rea oning: Fo nda ional I e , Me hodolo- gical Va ia ion , and S em App oache . AI comm nica ion , (1): 9±59, 1994.
[B 1 ] B o i , Feli : Di an - nd ÈAhnlichkei maûe. In: SPSS 1, Kapi el 1, S. 9 ± 9.
mi p P ofe ional, 1. A ¯age, 1 .
[CHGZ1 ] Cleland-H ang, Jane Go el, O lena Zi man, And ea: Sof a e and S em T aceabi- li . Sp inge , 1 .
[Ki 8] Ki o a, Va ilka Ki b , Neil Ko ha i, Da hak Child e , Glenda: Effec i e Req i e- men T aceabili : Model , Tool , and P ac ice . BELL LABS Technical Jo nal, 1 (4):14 ±15 , 8.
[NHK14] Noack, Thoma Helke, S effen Ka be, Thoma : Re e-Ba ed Te T aceabili : A - oma ic Linking of Te Ca e and Re ing Req i emen . In e na ional Jo nal On Ad ance in Sof a e, ( 4), 14.
[No1 ] Noack, Thoma : A oma i che Ve link ng on Te fÈallen nd Anfo de ngen: Te plan- ge e e e Fil e ng. Sof a e echnik-T end , (4):5± , 1 .
[No15] Noack, Thoma : A oma i che Ve link ng on Te fÈallen nd Anfo de ngen - Eine iede e end ng o ien ie e Me hode (einge eich ). Di e a ion, TU Be lin, 15.
[PH95] Pohl, Kla Ha me , Pe e : HYDRA: A H pe e Model fo S c ing Info mal Re- q i emen Rep e en a ion . In: P oceeding of he nd In e na ional Wo k hop on Re- q i emen Enginee ing (REFSQ). S. 118±1 4, 1995.
[Po 8] Pohl, Kla : Req i emen Enginee ing - G ndlagen, P in ipien, Techniken.
dp nk . e lag, . A ¯age, 8.
[RWA ] Rochimah, Si i Wan Kadi , Wan M. N. Abd llah, Abd l H.: An E al a ion of T a- ceabili App oache o S ppo Sof a e E ol ion. In: In e na ional Confe ence on Sof a e Enginee ing Ad ance (ICSEA ). IEEE Comp e Socie , S. 19± 8,
A g .
[SL 5] Spillne , And ea Lin , Tilo: Ba i i en Sof a e e . dp nk . e lag, 5.
[To1 ] To ka , Richa d Go chek, Ton Feld , Robe S ahnbe g, Mikael Raja, U ai Akba Kam an, Ka hif: Req i emen T aceabili : A S ema ic Re ie and Ind Ca-
e S d . In e na ional Jo nal of Sof a e Enginee ing and Kno ledge Enginee ing, ( ): 85±4 , 1 .
