Testmusterbeschaffung aus algorithmischen Beschreibungen:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
1990
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Paderborn, Univ. Gesamthochsch., Diss., 1990 |
| Beschreibung: | 169 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004533371 | ||
| 003 | DE-604 | ||
| 005 | 19911209 | ||
| 007 | t | ||
| 008 | 910724s1990 gw d||| m||| 00||| ger d | ||
| 035 | |a (OCoLC)256036910 | ||
| 035 | |a (DE-599)BVBBV004533371 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91 |a DE-355 |a DE-83 |a DE-11 | ||
| 084 | |a ELT 359d |2 stub | ||
| 100 | 1 | |a Reisig, Reinhard |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Testmusterbeschaffung aus algorithmischen Beschreibungen |c vorgelegt von Reinhard Reisig |
| 264 | 1 | |c 1990 | |
| 300 | |a 169 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Paderborn, Univ. Gesamthochsch., Diss., 1990 | ||
| 650 | 0 | 7 | |a Testmustergenerierung |0 (DE-588)4234817-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Test |0 (DE-588)4059549-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Integrierte Schaltung |0 (DE-588)4027242-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Testmustergenerierung |0 (DE-588)4234817-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Integrierte Schaltung |0 (DE-588)4027242-4 |D s |
| 689 | 1 | 1 | |a Test |0 (DE-588)4059549-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002791183&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002791183 | ||
Datensatz im Suchindex
| _version_ | 1804118668583370752 |
|---|---|
| adam_text | Titel: Testmusterbeschaffung aus algorithmischen Beschreibungen
Autor: Reisig, Reinhard
Jahr: 1990
Inhaltsverzeichnis
Verzeichnis der Definitionen, Algorithmen, Sätze und Beispiele 4
Verzeichnis der Abbildungen und Tabellen 6
1 Einleitung 9
2 TAB-ähnliche Verfahren 14
2.1 Testmusterbeschaffung aus Verhaltensmodellen 14
2.2 Testmusterbeschaffung aus Zustandsübergangsgraphen 15
2.3 Testmusterbeschaffung an Hand mehrerer Schaltungsmodelle 16
2.4 Zufalls- oder Pseudozufallsverfahren 17
2.5 Hardware-Validierung 18
2.6 Software-Validierung 19
3 Voraussetzungen für die Anwendbarkeit von TAB 20
3.1 Voraussetzungen an den Entwurfsprozeß 20
3.2 Einstell- und Beobachtbarkeit 24
4 Informelle Beschreibung des Verfahrens TAB 28
4.1 Algorithmische Modelle ohne Nebenläuflgkeit und Prozeduren 28
4.1.1 Zustandsfolge auf algorithmischer Ebene 28
4.1.2 Auswahl von für den Fertigungstest geeigneten algorithmischen Zu-
standsübergängen 30
4.1.3 Zustandsfolge auf RT-Ebene 34
4.1.4 Bildung von Paaren zwischen algorithmischen und RT-Zuständen ... 35
4.1.5 Testmusterableitung 39
4.2 Algorithmische Modelle mit Nebenläufigkeit, aber ohne Prozeduren 40
4.3 Algorithmische Modelle mit Nebenläufigkeit und Prozeduren 44
4.4 Zuweisungskonzept 49
5 Formale Beschreibung des Verfahrens TAB 54
1
5.1 Algorithmisches Modell 54
5.2 RT-Modell 87
5.3 Beschaffung von Testmustern 92
6 Integration von TAB in den Schaltungsentwurfsprozeß und Unterstützung
der Entwurfsvalidierung durch TAB 107
7 Diskussion des Verfahrens TAB 109
7.1 Gewährleistet die TAB-Strategie, daß alle Kanten des Zustandsübergangs-
graphs des Steuerwerks des RT-Modells durch Tests überdeckt werden? . . . 111
7.2 Läfit eine Überdeckung aller Kanten des RT-Zustandsübergangsgraphs einen
guten Test des Steuerwerks erwarten? 122
7.2.1 Homogene ROM-Steuerwerke 122
7.2.2 Homogene PLA-Steuerwerke 123
7.2.3 Steuerwerkrealisierungen mit mehreren parallelen PLAs 125
7.2.4 Steuerwerkrealisierungen mit einem Gatterschaltnetz 125
7.2.5 Inhomogene Steuerwerksrealisierungen 127
7.3 Keine Verwendung unzulässiger Testmuster 130
7.4 Anwendungen 130
7.5 Bewertung des Verfahrens TAB 134
8 Zusammenfassung 138
A Algorithmus zur Berechnung der kleinsten RT-Realisierungsfunktion
rtrmin 139
B Algorithmus zur Berechnung der kleinsten RT-Realisierungsfunktion
TtTmin und zur Berechnung von ableiten 145
C Zum Speicherplatz- und Laufzeitbedarf von TAB 151
C.l Berechnung des Ausführungsgraphs 156
C.l.l Prozedur bestimme-Aufrufschachtelungsfalte 156
C.1.2 Prozedur pruefeSchaltart 156
C.1.3 Prozedur berechne-Avsfuehrungsgraph 157
2
C.2 Berechnungen auf RT-Ebene: Berechnung der RT-Zustandsfolge, von rtrmin,
von ableiten und des TAB-Tests 159
C.2.1 Speicherplatz der Berechnungen auf RT-Ebene 159
C.2.2 Laufzeit der Berechnungen auf RT-Ebene 162
C.3 Bedeutung der verwendeten Konstanten 165
Literatur 167
3
Verzeichnis der Definitionen, Algorithmen, Sätze und Bei¬
spiele
Definition 5.1: Petri-Netz-Graph 54
Definition 5.2: Markierung 54
Definition 5.3: Petri-Netz 55
Definition 5.4: Markierungsfolge eines Petri-Netzes 55
Definition 5.5: none 56
Definition 5.6: CAP-Netz-Graph, t, t° 56
Beispiel 5.7 56
Definition 5.8: Schaltregelfunktion eines CAP-Netz-Graphs 57
Definition 5.9: CAP-Netz 58
Beispiel 5.10 59
Definition 5.11: strukturierter CAP-Netz-Graph 60
Beispiel 5.12 66
Definition 5.13: strukturiertes CAP-Netz 66
Definition 5.14: Vorgängertransition, Nachfolgertransition 66
Satz 5.15: 1-Sicherheit 67
Definition 5.16: algorithmisches Modell 69
Beispiel 5.17 70
Definition 5.18: Ausführung eines algorithmischen Modells 71
Beispiel 5.19 72
Definition 5.20: Prozedurauflösung 73
Definition 5.21: Schachtelungsfunktion 74
Algorithmus 5.22: Bestimmung der Aufrufschachtelungsfalte 75
Beispiel 5.23 76
Definition 5.24: Vorausführung 77
Definition 5.25: Ausführungsgraph 79
Beispiel 5.26 84
4
Definition 5.27: RT-Mode.ll 88
Beispiel 5.28 88
Definition 5.29: Ausführung eines RT-Modells 89
Definition 5.30: Zustandsfolge einer RT-Modell-Ausführung 89
Definition 5.31: logischer Zustand, Beobachtungszustand 90
Beispiel 5.32 90
Definition 5.33: Transformationsfunktion 93
Beispiel 5.34 93
Definition 5.35: RT-Realisierung 96
Beispiel 5.36 96
Definition 5.37: rtrmin 98
Satz 5.38: kleinste RT-Realisierungsfunktion 98
Definition 5.39: TAB-Test 100
Beispiel 5.40 103
Definition 5.41: TAB 106
Definition 7.1: endlicher Automat 109
Definition 7.2: Steuerwerksautomat 109
Definition 7.3: Kante des Zustandsübergangsgraphs eines endlichen Automatens,
kurz: Automatenkante 109
Beispiel 7.4 110
Algorithmus A.l: Berechnung der kleinsten RT-Realisierungsfunktion rtrmin .... 139
Algorithmus B.l: Berechnung der kleinsten RT-Realisierungsfunktion rirm;„ und
der Menge ableiten 145
5
Verzeichnis der Abbildungen und Tabellen
Abbildung 1.1 9
Abbildung 1.2 11
Abbildung 1.3 12
Abbildung 3.1 23
Abbildung 4.1 29
Abbildung 4.2 30
Tabelle 4.3 33
Abbildung 4.4 34
Abbildung 4.5 35
Tabelle 4.6 36
Abbildung 4.7 37
Tabelle 4.8 39
Abbildung 4.9 41
Abbildung 4.10 42
Abbildung 4.11 45
Abbildung 4.12 46
Abbildung 4.13 46
Abbildung 4.14 47
Tabelle 4.15 48
Abbildung 4.16 50
Abbildung 4.17 51
Abbildung 4.18 52
Abbildung 4.19 53
Tabelle 5.1 57
Abbildung 5.2 63
Abbildung 5.3 63
Abbildung 5.4 63
6
Abbildung 5.5 64
Abbildung 5.6 64
Abbildung 5.7 65
Abbildung 5.8 67
Abbildung 5.9 68
Tabelle 5.10 72
Tabelle 5.11 85
Tabelle 5.12 91
Abbildung 5.13 94
Tabelle 5.14 95
Abbildung 5.15 97
Abbildung 5.16 103
Tabelle 5.17 105
Abbildung 7.1 110
Abbildung 7.2 112
Abbildung 7.3 113
Abbildung 7.4 113
Abbildung 7.5 114
Abbildung 7.6 115
Abbildung 7.7 117
Abbildung 7.8 118
Abbildung 7.9 120
Abbildung 7.10 122
Abbildung 7.11 123
Abbildung 7.12 126
Abbildung 7.13 127
Abbildung 7.14 128
Tabelle 7.15 132
7
Abbüdung 7.16 133
Abbüdung C.l 152
8
|
| any_adam_object | 1 |
| author | Reisig, Reinhard |
| author_facet | Reisig, Reinhard |
| author_role | aut |
| author_sort | Reisig, Reinhard |
| author_variant | r r rr |
| building | Verbundindex |
| bvnumber | BV004533371 |
| classification_tum | ELT 359d |
| ctrlnum | (OCoLC)256036910 (DE-599)BVBBV004533371 |
| discipline | Elektrotechnik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01526nam a2200397 c 4500</leader><controlfield tag="001">BV004533371</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19911209 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">910724s1990 gw d||| m||| 00||| ger d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)256036910</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004533371</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ELT 359d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Reisig, Reinhard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Testmusterbeschaffung aus algorithmischen Beschreibungen</subfield><subfield code="c">vorgelegt von Reinhard Reisig</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">169 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="500" ind1=" " ind2=" "><subfield code="a">Paderborn, Univ. Gesamthochsch., Diss., 1990</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Testmustergenerierung</subfield><subfield code="0">(DE-588)4234817-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Test</subfield><subfield code="0">(DE-588)4059549-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Integrierte Schaltung</subfield><subfield code="0">(DE-588)4027242-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="689" ind1="0" ind2="0"><subfield code="a">Testmustergenerierung</subfield><subfield code="0">(DE-588)4234817-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Integrierte Schaltung</subfield><subfield code="0">(DE-588)4027242-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Test</subfield><subfield code="0">(DE-588)4059549-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=002791183&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002791183</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV004533371 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:13:57Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002791183 |
| oclc_num | 256036910 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-355 DE-BY-UBR DE-83 DE-11 |
| owner_facet | DE-91 DE-BY-TUM DE-355 DE-BY-UBR DE-83 DE-11 |
| physical | 169 S. graph. Darst. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| record_format | marc |
| spelling | Reisig, Reinhard Verfasser aut Testmusterbeschaffung aus algorithmischen Beschreibungen vorgelegt von Reinhard Reisig 1990 169 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Paderborn, Univ. Gesamthochsch., Diss., 1990 Testmustergenerierung (DE-588)4234817-1 gnd rswk-swf Test (DE-588)4059549-3 gnd rswk-swf Integrierte Schaltung (DE-588)4027242-4 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Testmustergenerierung (DE-588)4234817-1 s DE-604 Integrierte Schaltung (DE-588)4027242-4 s Test (DE-588)4059549-3 s HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002791183&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Reisig, Reinhard Testmusterbeschaffung aus algorithmischen Beschreibungen Testmustergenerierung (DE-588)4234817-1 gnd Test (DE-588)4059549-3 gnd Integrierte Schaltung (DE-588)4027242-4 gnd |
| subject_GND | (DE-588)4234817-1 (DE-588)4059549-3 (DE-588)4027242-4 (DE-588)4113937-9 |
| title | Testmusterbeschaffung aus algorithmischen Beschreibungen |
| title_auth | Testmusterbeschaffung aus algorithmischen Beschreibungen |
| title_exact_search | Testmusterbeschaffung aus algorithmischen Beschreibungen |
| title_full | Testmusterbeschaffung aus algorithmischen Beschreibungen vorgelegt von Reinhard Reisig |
| title_fullStr | Testmusterbeschaffung aus algorithmischen Beschreibungen vorgelegt von Reinhard Reisig |
| title_full_unstemmed | Testmusterbeschaffung aus algorithmischen Beschreibungen vorgelegt von Reinhard Reisig |
| title_short | Testmusterbeschaffung aus algorithmischen Beschreibungen |
| title_sort | testmusterbeschaffung aus algorithmischen beschreibungen |
| topic | Testmustergenerierung (DE-588)4234817-1 gnd Test (DE-588)4059549-3 gnd Integrierte Schaltung (DE-588)4027242-4 gnd |
| topic_facet | Testmustergenerierung Test Integrierte Schaltung Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002791183&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT reisigreinhard testmusterbeschaffungausalgorithmischenbeschreibungen |