Test von OSI-Protokollen:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | German |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1989
|
| Series: | Informatik-Fachberichte
225 |
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | Mit der stark anwachsenden Anzahl heterogener Rechnernetze gewinnt der Test der eingesetzten Kommunikationssoftware bezüglich Konformität und Kompatibilität immer mehr an Bedeutung. Die im vorliegenden Buch vorgestellten Werkzeuge und Methoden bieten sowohl dem Anwender als auch dem Ersteller derartiger Kommunikationssoftware Möglichkeiten zum Test der eingesetzten bzw. in der Entwicklung stehenden Kommunikationssoftware. Zur Problematik des Testens von OSI-Protokollen werden in diesem Buch neuartige Methoden und Werkzeuge vorgestellt, die die automatische Testdurchführung und die automatische Generierung von Testdaten ermöglichen. Dem Leser wird ein umfassender Überblick über die Probleme des Protokolltestens und ihre Lösungsmöglichkeiten geboten. Die folgenden Werkzeuge und Methoden werden im Buch behandelt: - das Karlsruher Testsystem KATE, das die automatische Durchführung von OSI-Protokolltests ermöglicht, wobei Konformität, Kompatibilität, Robustheit und Zuverlässigkeit von OSI-Protokollimplementierungen der Schichten 3-7 getestet werden können. - das TRANS-CHECK-Verfahren, ein Automatenverfahren, das die automatische Generierung von Testdaten für den Konformitätstest erlaubt. Im Unterschied zu den anderen Automatenverfahren liefert das TRANS-CHECK-Verfahren wesentlich kürzere Testsequenzen, die hinsichtlich der Fehlererkennung dieselbe Mächtigkeit besitzen wie die durch ähnliche Verfahren erzeugten Testsequenzen. Die Beschreibung der Testszenarien erfolgt in der eigens hierfür entwickelten TEST CONTROL LANGUAGE, die an die speziellen Eigenschaften von KATE angepaßt ist |
| Physical Description: | 1 Online-Ressource (IX, 205S.) |
| ISBN: | 9783642839931 9783540518242 |
| ISSN: | 0343-3005 |
| DOI: | 10.1007/978-3-642-83993-1 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042433650 | ||
| 003 | DE-604 | ||
| 005 | 20191204 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1989 |||| o||u| ||||||ger d | ||
| 020 | |a 9783642839931 |c Online |9 978-3-642-83993-1 | ||
| 020 | |a 9783540518242 |c Print |9 978-3-540-51824-2 | ||
| 024 | 7 | |a 10.1007/978-3-642-83993-1 |2 doi | |
| 035 | |a (OCoLC)863859155 | ||
| 035 | |a (DE-599)BVBBV042433650 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 004.6 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a TEC 000 |2 stub | ||
| 100 | 1 | |a Stoll, Wilhelm |d 1923-2010 |e Verfasser |0 (DE-588)1082553328 |4 aut | |
| 245 | 1 | 0 | |a Test von OSI-Protokollen |c von Wilhelm Stoll |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1989 | |
| 300 | |a 1 Online-Ressource (IX, 205S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Informatik-Fachberichte |v 225 |x 0343-3005 | |
| 500 | |a Mit der stark anwachsenden Anzahl heterogener Rechnernetze gewinnt der Test der eingesetzten Kommunikationssoftware bezüglich Konformität und Kompatibilität immer mehr an Bedeutung. Die im vorliegenden Buch vorgestellten Werkzeuge und Methoden bieten sowohl dem Anwender als auch dem Ersteller derartiger Kommunikationssoftware Möglichkeiten zum Test der eingesetzten bzw. in der Entwicklung stehenden Kommunikationssoftware. Zur Problematik des Testens von OSI-Protokollen werden in diesem Buch neuartige Methoden und Werkzeuge vorgestellt, die die automatische Testdurchführung und die automatische Generierung von Testdaten ermöglichen. Dem Leser wird ein umfassender Überblick über die Probleme des Protokolltestens und ihre Lösungsmöglichkeiten geboten. Die folgenden Werkzeuge und Methoden werden im Buch behandelt: - das Karlsruher Testsystem KATE, das die automatische Durchführung von OSI-Protokolltests ermöglicht, wobei Konformität, Kompatibilität, Robustheit und Zuverlässigkeit von OSI-Protokollimplementierungen der Schichten 3-7 getestet werden können. - das TRANS-CHECK-Verfahren, ein Automatenverfahren, das die automatische Generierung von Testdaten für den Konformitätstest erlaubt. Im Unterschied zu den anderen Automatenverfahren liefert das TRANS-CHECK-Verfahren wesentlich kürzere Testsequenzen, die hinsichtlich der Fehlererkennung dieselbe Mächtigkeit besitzen wie die durch ähnliche Verfahren erzeugten Testsequenzen. Die Beschreibung der Testszenarien erfolgt in der eigens hierfür entwickelten TEST CONTROL LANGUAGE, die an die speziellen Eigenschaften von KATE angepaßt ist | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer Communication Networks | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Test |0 (DE-588)4059549-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Konformitätsprüfung |0 (DE-588)4225118-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a OSI-Protokoll |0 (DE-588)4225120-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Testen |0 (DE-588)4367264-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a OSI-Modell |0 (DE-588)4201284-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a OSI-Modell |0 (DE-588)4201284-3 |D s |
| 689 | 0 | 1 | |a Test |0 (DE-588)4059549-3 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a OSI-Protokoll |0 (DE-588)4225120-5 |D s |
| 689 | 1 | 1 | |a Test |0 (DE-588)4059549-3 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 689 | 2 | 0 | |a OSI-Protokoll |0 (DE-588)4225120-5 |D s |
| 689 | 2 | 1 | |a Konformitätsprüfung |0 (DE-588)4225118-7 |D s |
| 689 | 2 | |8 4\p |5 DE-604 | |
| 689 | 3 | 0 | |a OSI-Modell |0 (DE-588)4201284-3 |D s |
| 689 | 3 | 1 | |a Testen |0 (DE-588)4367264-4 |D s |
| 689 | 3 | |8 5\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-83993-1 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027868980 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 5\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804153119167217664 |
|---|---|
| any_adam_object | |
| author | Stoll, Wilhelm 1923-2010 |
| author_GND | (DE-588)1082553328 |
| author_facet | Stoll, Wilhelm 1923-2010 |
| author_role | aut |
| author_sort | Stoll, Wilhelm 1923-2010 |
| author_variant | w s ws |
| building | Verbundindex |
| bvnumber | BV042433650 |
| classification_tum | DAT 000 TEC 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863859155 (DE-599)BVBBV042433650 |
| dewey-full | 004.6 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.6 |
| dewey-search | 004.6 |
| dewey-sort | 14.6 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-642-83993-1 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04393nmm a2200721zcb4500</leader><controlfield tag="001">BV042433650</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20191204 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1989 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642839931</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-83993-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540518242</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-540-51824-2</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-83993-1</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863859155</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042433650</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</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><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.6</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Stoll, Wilhelm</subfield><subfield code="d">1923-2010</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1082553328</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Test von OSI-Protokollen</subfield><subfield code="c">von Wilhelm Stoll</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IX, 205S.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Informatik-Fachberichte</subfield><subfield code="v">225</subfield><subfield code="x">0343-3005</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Mit der stark anwachsenden Anzahl heterogener Rechnernetze gewinnt der Test der eingesetzten Kommunikationssoftware bezüglich Konformität und Kompatibilität immer mehr an Bedeutung. Die im vorliegenden Buch vorgestellten Werkzeuge und Methoden bieten sowohl dem Anwender als auch dem Ersteller derartiger Kommunikationssoftware Möglichkeiten zum Test der eingesetzten bzw. in der Entwicklung stehenden Kommunikationssoftware. Zur Problematik des Testens von OSI-Protokollen werden in diesem Buch neuartige Methoden und Werkzeuge vorgestellt, die die automatische Testdurchführung und die automatische Generierung von Testdaten ermöglichen. Dem Leser wird ein umfassender Überblick über die Probleme des Protokolltestens und ihre Lösungsmöglichkeiten geboten. Die folgenden Werkzeuge und Methoden werden im Buch behandelt: - das Karlsruher Testsystem KATE, das die automatische Durchführung von OSI-Protokolltests ermöglicht, wobei Konformität, Kompatibilität, Robustheit und Zuverlässigkeit von OSI-Protokollimplementierungen der Schichten 3-7 getestet werden können. - das TRANS-CHECK-Verfahren, ein Automatenverfahren, das die automatische Generierung von Testdaten für den Konformitätstest erlaubt. Im Unterschied zu den anderen Automatenverfahren liefert das TRANS-CHECK-Verfahren wesentlich kürzere Testsequenzen, die hinsichtlich der Fehlererkennung dieselbe Mächtigkeit besitzen wie die durch ähnliche Verfahren erzeugten Testsequenzen. Die Beschreibung der Testszenarien erfolgt in der eigens hierfür entwickelten TEST CONTROL LANGUAGE, die an die speziellen Eigenschaften von KATE angepaßt ist</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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">Konformitätsprüfung</subfield><subfield code="0">(DE-588)4225118-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">OSI-Protokoll</subfield><subfield code="0">(DE-588)4225120-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Testen</subfield><subfield code="0">(DE-588)4367264-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">OSI-Modell</subfield><subfield code="0">(DE-588)4201284-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><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">OSI-Modell</subfield><subfield code="0">(DE-588)4201284-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">OSI-Protokoll</subfield><subfield code="0">(DE-588)4225120-5</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="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">OSI-Protokoll</subfield><subfield code="0">(DE-588)4225120-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Konformitätsprüfung</subfield><subfield code="0">(DE-588)4225118-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">OSI-Modell</subfield><subfield code="0">(DE-588)4201284-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Testen</subfield><subfield code="0">(DE-588)4367264-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">5\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-83993-1</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027868980</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">5\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV042433650 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:32Z |
| institution | BVB |
| isbn | 9783642839931 9783540518242 |
| issn | 0343-3005 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027868980 |
| oclc_num | 863859155 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-1046 DE-1047 |
| physical | 1 Online-Ressource (IX, 205S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| series2 | Informatik-Fachberichte |
| spelling | Stoll, Wilhelm 1923-2010 Verfasser (DE-588)1082553328 aut Test von OSI-Protokollen von Wilhelm Stoll Berlin, Heidelberg Springer Berlin Heidelberg 1989 1 Online-Ressource (IX, 205S.) txt rdacontent c rdamedia cr rdacarrier Informatik-Fachberichte 225 0343-3005 Mit der stark anwachsenden Anzahl heterogener Rechnernetze gewinnt der Test der eingesetzten Kommunikationssoftware bezüglich Konformität und Kompatibilität immer mehr an Bedeutung. Die im vorliegenden Buch vorgestellten Werkzeuge und Methoden bieten sowohl dem Anwender als auch dem Ersteller derartiger Kommunikationssoftware Möglichkeiten zum Test der eingesetzten bzw. in der Entwicklung stehenden Kommunikationssoftware. Zur Problematik des Testens von OSI-Protokollen werden in diesem Buch neuartige Methoden und Werkzeuge vorgestellt, die die automatische Testdurchführung und die automatische Generierung von Testdaten ermöglichen. Dem Leser wird ein umfassender Überblick über die Probleme des Protokolltestens und ihre Lösungsmöglichkeiten geboten. Die folgenden Werkzeuge und Methoden werden im Buch behandelt: - das Karlsruher Testsystem KATE, das die automatische Durchführung von OSI-Protokolltests ermöglicht, wobei Konformität, Kompatibilität, Robustheit und Zuverlässigkeit von OSI-Protokollimplementierungen der Schichten 3-7 getestet werden können. - das TRANS-CHECK-Verfahren, ein Automatenverfahren, das die automatische Generierung von Testdaten für den Konformitätstest erlaubt. Im Unterschied zu den anderen Automatenverfahren liefert das TRANS-CHECK-Verfahren wesentlich kürzere Testsequenzen, die hinsichtlich der Fehlererkennung dieselbe Mächtigkeit besitzen wie die durch ähnliche Verfahren erzeugten Testsequenzen. Die Beschreibung der Testszenarien erfolgt in der eigens hierfür entwickelten TEST CONTROL LANGUAGE, die an die speziellen Eigenschaften von KATE angepaßt ist Computer science Computer Communication Networks Software engineering Computer Science Software Engineering Informatik Test (DE-588)4059549-3 gnd rswk-swf Konformitätsprüfung (DE-588)4225118-7 gnd rswk-swf OSI-Protokoll (DE-588)4225120-5 gnd rswk-swf Testen (DE-588)4367264-4 gnd rswk-swf OSI-Modell (DE-588)4201284-3 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content OSI-Modell (DE-588)4201284-3 s Test (DE-588)4059549-3 s 2\p DE-604 OSI-Protokoll (DE-588)4225120-5 s 3\p DE-604 Konformitätsprüfung (DE-588)4225118-7 s 4\p DE-604 Testen (DE-588)4367264-4 s 5\p DE-604 https://doi.org/10.1007/978-3-642-83993-1 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 5\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Stoll, Wilhelm 1923-2010 Test von OSI-Protokollen Computer science Computer Communication Networks Software engineering Computer Science Software Engineering Informatik Test (DE-588)4059549-3 gnd Konformitätsprüfung (DE-588)4225118-7 gnd OSI-Protokoll (DE-588)4225120-5 gnd Testen (DE-588)4367264-4 gnd OSI-Modell (DE-588)4201284-3 gnd |
| subject_GND | (DE-588)4059549-3 (DE-588)4225118-7 (DE-588)4225120-5 (DE-588)4367264-4 (DE-588)4201284-3 (DE-588)4113937-9 |
| title | Test von OSI-Protokollen |
| title_auth | Test von OSI-Protokollen |
| title_exact_search | Test von OSI-Protokollen |
| title_full | Test von OSI-Protokollen von Wilhelm Stoll |
| title_fullStr | Test von OSI-Protokollen von Wilhelm Stoll |
| title_full_unstemmed | Test von OSI-Protokollen von Wilhelm Stoll |
| title_short | Test von OSI-Protokollen |
| title_sort | test von osi protokollen |
| topic | Computer science Computer Communication Networks Software engineering Computer Science Software Engineering Informatik Test (DE-588)4059549-3 gnd Konformitätsprüfung (DE-588)4225118-7 gnd OSI-Protokoll (DE-588)4225120-5 gnd Testen (DE-588)4367264-4 gnd OSI-Modell (DE-588)4201284-3 gnd |
| topic_facet | Computer science Computer Communication Networks Software engineering Computer Science Software Engineering Informatik Test Konformitätsprüfung OSI-Protokoll Testen OSI-Modell Hochschulschrift |
| url | https://doi.org/10.1007/978-3-642-83993-1 |
| work_keys_str_mv | AT stollwilhelm testvonosiprotokollen |