Toolgestützte Validierungsmethode für verteilte eingebettete Steuerungssysteme im Passagierflugzeugbau:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Bochum
Univ., Lehrstuhl für Regelungssysteme und Steuerungstechnik
2002
|
| Schriftenreihe: | Schriftenreihe des Lehrstuhls für Regelungssysteme und Steuerungstechnik, Fakultät für Maschinenbau
50 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Zugl.: Bochum, Univ., Diss., 2002 |
| Beschreibung: | IV, 130 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV014834437 | ||
| 003 | DE-604 | ||
| 005 | 20021115 | ||
| 007 | t | ||
| 008 | 021029s2002 d||| m||| 00||| ger d | ||
| 016 | 7 | |a 965434567 |2 DE-101 | |
| 035 | |a (OCoLC)314551593 | ||
| 035 | |a (DE-599)BVBBV014834437 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 | ||
| 084 | |a VER 660d |2 stub | ||
| 100 | 1 | |a Ünlü, Murat |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Toolgestützte Validierungsmethode für verteilte eingebettete Steuerungssysteme im Passagierflugzeugbau |c von Murat Ünlü |
| 264 | 1 | |a Bochum |b Univ., Lehrstuhl für Regelungssysteme und Steuerungstechnik |c 2002 | |
| 300 | |a IV, 130 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Schriftenreihe des Lehrstuhls für Regelungssysteme und Steuerungstechnik, Fakultät für Maschinenbau |v 50 | |
| 500 | |a Zugl.: Bochum, Univ., Diss., 2002 | ||
| 650 | 7 | |a Steuerungssystem |2 swd | |
| 650 | 7 | |a Verkehrsflugzeug |2 swd | |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 830 | 0 | |a Schriftenreihe des Lehrstuhls für Regelungssysteme und Steuerungstechnik, Fakultät für Maschinenbau |v 50 |w (DE-604)BV001898100 |9 50 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010037850&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-010037850 | |
Datensatz im Suchindex
| _version_ | 1807593340797976576 |
|---|---|
| adam_text |
INHALT
1
EINLEITUNG
1
1.1
M
OTIVATION
1
1.2
Z
IELSETZUNG
2
13
UEBERSICHT
UEBER
DIE
VORLIEGENDE
ARBEIT
4
1.4
S
TATE
-
OF
-
THE
-A
RT
5
1.4.1
F
EHLERABWEHRSTRATEGIE
6
1.4.2
F
EHLEROFFENBARUNGSSTRATEGIE
8
1.4.3
H
ARDWARE
-V
ERIFIKATION
12
1.5
B
EWERTUNG
DER
VORGESTELLTEN
M
ETHODEN
12
1.6
B
EGRIFFSDEFINITIONEN
15
2
TOOLGESTUETZTE
VALIDIERUNGSMETHODE
19
2.1
SYSTEMATISCHE
UND
AUTOMATISIERTE
TESTPLANUNG,
-DURCHFUEHRUNG
UND
AUSWERTUNG
19
2.1.1
D
IE
PHASEN
DER
TOOLGESTUETZTEN
VALIDIERUNGSMETHODE
19
2.1.2
DER
ABLAUF
DER
TOOLGESTUETZTEN
VALIDIERUNGSMETHODE
21
2.2
A
NWENDBARKEIT
AUF
M
ODUL
-,
I
NTEGRATIONS
-
UND
S
YSTEMTESTS
25
2.2.1
M
ODULVALIDIERUNG
25
2.2.2
I
NTEGRATIONSTESTS
25
2.2.3
S
YSTEMVALIDIERUNG
27
23
A
NWENDBARKEIT
AUCH
AUF
YYB
LACK
-B
OX
-K
OMPONENTEN
"
27
2.4
T
ESTEN
OFFLINE
UND
MIT
P
ROTOTYPEN
ENTSPRECHEND
B
EREITSTELLUNG
27
3
AUTOMATISIERTE
TESTAUSWERTUNG
29
3.1
S
PEZIFIKATIONSSPRACHEN
FUER
EINGEBETTETE
S
TEUERUNGSSYSTEME
29
3.1.1
F
ORMALE
S
PEZIFIKATIONEN
IN
DEN
VERSCHIEDENEN
E
NTWICKLUNGSPHASEN
30
3.1.2
F
ORMALISIERUNG
VON
R
EQUIREMENTS
32
3.1.3
E
INDEUTIGE
NATUERLICHSPRACHLICHE
A
NFORDERUNGEN
34
3.2
D
IE
G
RAMMATIK
DER
ENTWICKELTEN
S
PEZIFIKATIONSSPRACHE
37
3.2.1
D
IE
G
RAMMATIK
FORMALER
S
PRACHEN
37
3.2.2
A
NALOGIE
ZUR
BOOLSCHEN
A
LGEBRA
39
3.2.3
D
IE
S
PRACHELEMENTE
DER
ENTWICKELTE
S
PEZIFIKATIONSSPRACHE
41
33
D
IE
T
ESTBERICHTE
61
3.4
Z
USAMMENFASSUNG
63
4
TESTPLANUNG,
-ENTWURF
UND
TESTFALLSPEZIFIKATION
64
4.1
D
ER
T
ESTPLAN
64
4.2
D
ER
T
ESTENTWURF
65
4.2.1
T
ESTKONZEPTKENNUNG
66
4.2.2
T
ESTANFORDERUNGEN
66
INHALT
II
4.2.3
T
ESTANSAETZE
69
4.2.4
T
ESTSZENARIEN
70
4.2.5
T
ESTENDEKRITERIEN
70
43
D
IE
T
ESTFALLSPEZIFIKATION
71
4.3.1
T
ESTFALLKENZEICHEN
72
4.3.2
T
ESTFALLOBJEKTE
72
4.3.3
T
ESTFALLARGUMENTE
73
4.3.4
T
ESTFALLERGEBNISSE
73
4.3.5
T
ESTFALLUMGEBUNG
74
4.3.6
T
ESTFALLBEDINGUNGEN
74
4.3.7
T
ESTFALLABHAENGIGKEITEN
75
4.4
E
RMITTLUNG
UND
D
EFINITION
DER
T
ESTSTIMULI
76
4.4.1
S
TRUKTURIERTE
D
EFINITION
UND
KOMBINATORISCHE
G
ENERIERUNG
VON
T
ESTSTIMULI
78
4.4.2
S
YSTEMATISCHE
COMPUTERGESTUETZTE
A
UFFINDUNG
DER
T
ESTSTIMULI
84
4.4.3
W
EITERE
E
INFLUSSGROEBEN
101
4.5
Z
USAMMENFASSUNG
103
5
TESTAUSFUEHRUNG
104
5.1
D
IE
T
ESTPROZEDURERSTELLUNG
104
5.2 D
ER
T
ESTAUFBAU
105
53
A
UTOMATISIERTE
T
ESTAUSFUEHRUNG
109
6
INDUSTRIELLES
ANWENDUNGSBEISPIEL
110
6.1
D
AS
F
RISCHWASSERSYSTEM
DER
A340-500/600
110
6.2
D
IE
A
NWENDUNG
DER
V
ALIDIERUNGSMETHODE
112
6.2.1
D
ER
T
ESTPLAN
112
6.2.2
D
ER
T
ESTENTWURF
112
6.2.3
D
IE
T
ESTFALLSPEZIFIKATION
114
6.2.4
T
ESTPROZEDURERSTELLUNG
121
6.2.5
T
ESTAUFBAU
121
6.2.6
T
ESTAUSFUEHRUNG
122
6.2.7
T
ESTAUSWERTUNG
122
63
B
EWERTUNG
DER
ANGEWANDTEN
M
ETHODEN
124
6.3.1
A
UTOMATISIERTE
T
ESTPLANUNG
,
-D
URCHFUEHRUNG
UND
-A
USWERTUNG
124
6.3.2
A
NWENDUNG
AUF
M
ODUL
-,
I
NTEGRATIONS
-
UND
S
YSTEMTESTS
125
6.3.3
A
NWENDBARKEIT
AUF
YYB
LACK
-B
OX
-K
OMPONENTEN
"
126
6.3.4
T
ESTEN
OFFLINE
UND
MIT
H
ARDWARE
-
IN
-
THE
-L
OOP
126
6.3.5
T
ESTEN
ENTSPRECHEND
B
EREITSTELLUNG
GELIEFERTER
K
OMPONENTEN
127
7
ZUSAMMENFASSUNGUNDAUSBLICK
128
8
LITERATUR
131 |
| any_adam_object | 1 |
| author | Ünlü, Murat |
| author_facet | Ünlü, Murat |
| author_role | aut |
| author_sort | Ünlü, Murat |
| author_variant | m ü mü |
| building | Verbundindex |
| bvnumber | BV014834437 |
| classification_tum | VER 660d |
| ctrlnum | (OCoLC)314551593 (DE-599)BVBBV014834437 |
| discipline | Verkehrstechnik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV014834437</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20021115</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">021029s2002 d||| m||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">965434567</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)314551593</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014834437</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">VER 660d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ünlü, Murat</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Toolgestützte Validierungsmethode für verteilte eingebettete Steuerungssysteme im Passagierflugzeugbau</subfield><subfield code="c">von Murat Ünlü</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Bochum</subfield><subfield code="b">Univ., Lehrstuhl für Regelungssysteme und Steuerungstechnik</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IV, 130 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Schriftenreihe des Lehrstuhls für Regelungssysteme und Steuerungstechnik, Fakultät für Maschinenbau</subfield><subfield code="v">50</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Bochum, Univ., Diss., 2002</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Steuerungssystem</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Verkehrsflugzeug</subfield><subfield code="2">swd</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Schriftenreihe des Lehrstuhls für Regelungssysteme und Steuerungstechnik, Fakultät für Maschinenbau</subfield><subfield code="v">50</subfield><subfield code="w">(DE-604)BV001898100</subfield><subfield code="9">50</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010037850&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010037850</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV014834437 |
| illustrated | Illustrated |
| indexdate | 2024-08-17T00:42:22Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010037850 |
| oclc_num | 314551593 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | IV, 130 S. graph. Darst. |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Univ., Lehrstuhl für Regelungssysteme und Steuerungstechnik |
| record_format | marc |
| series | Schriftenreihe des Lehrstuhls für Regelungssysteme und Steuerungstechnik, Fakultät für Maschinenbau |
| series2 | Schriftenreihe des Lehrstuhls für Regelungssysteme und Steuerungstechnik, Fakultät für Maschinenbau |
| spelling | Ünlü, Murat Verfasser aut Toolgestützte Validierungsmethode für verteilte eingebettete Steuerungssysteme im Passagierflugzeugbau von Murat Ünlü Bochum Univ., Lehrstuhl für Regelungssysteme und Steuerungstechnik 2002 IV, 130 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Schriftenreihe des Lehrstuhls für Regelungssysteme und Steuerungstechnik, Fakultät für Maschinenbau 50 Zugl.: Bochum, Univ., Diss., 2002 Steuerungssystem swd Verkehrsflugzeug swd (DE-588)4113937-9 Hochschulschrift gnd-content Schriftenreihe des Lehrstuhls für Regelungssysteme und Steuerungstechnik, Fakultät für Maschinenbau 50 (DE-604)BV001898100 50 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010037850&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Ünlü, Murat Toolgestützte Validierungsmethode für verteilte eingebettete Steuerungssysteme im Passagierflugzeugbau Schriftenreihe des Lehrstuhls für Regelungssysteme und Steuerungstechnik, Fakultät für Maschinenbau Steuerungssystem swd Verkehrsflugzeug swd |
| subject_GND | (DE-588)4113937-9 |
| title | Toolgestützte Validierungsmethode für verteilte eingebettete Steuerungssysteme im Passagierflugzeugbau |
| title_auth | Toolgestützte Validierungsmethode für verteilte eingebettete Steuerungssysteme im Passagierflugzeugbau |
| title_exact_search | Toolgestützte Validierungsmethode für verteilte eingebettete Steuerungssysteme im Passagierflugzeugbau |
| title_full | Toolgestützte Validierungsmethode für verteilte eingebettete Steuerungssysteme im Passagierflugzeugbau von Murat Ünlü |
| title_fullStr | Toolgestützte Validierungsmethode für verteilte eingebettete Steuerungssysteme im Passagierflugzeugbau von Murat Ünlü |
| title_full_unstemmed | Toolgestützte Validierungsmethode für verteilte eingebettete Steuerungssysteme im Passagierflugzeugbau von Murat Ünlü |
| title_short | Toolgestützte Validierungsmethode für verteilte eingebettete Steuerungssysteme im Passagierflugzeugbau |
| title_sort | toolgestutzte validierungsmethode fur verteilte eingebettete steuerungssysteme im passagierflugzeugbau |
| topic | Steuerungssystem swd Verkehrsflugzeug swd |
| topic_facet | Steuerungssystem Verkehrsflugzeug Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010037850&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV001898100 |
| work_keys_str_mv | AT unlumurat toolgestutztevalidierungsmethodefurverteilteeingebettetesteuerungssystemeimpassagierflugzeugbau |