Protocol conformance testing using unique input/output sequences:
This book deals with conformance testing for verification and validation of protocols for communication/distributed computer systems. The reader is introduced to this topic using the Finite State Machine (FSM) model together with a comprehensive review of past and current work. A detailed treatment...
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Singapore
World Scientific Pub. Co.
c1997
|
| Schriftenreihe: | Advanced series in electrical and computer engineering
vol. 12 |
| Schlagworte: | |
| Online-Zugang: | FHN01 Volltext |
| Zusammenfassung: | This book deals with conformance testing for verification and validation of protocols for communication/distributed computer systems. The reader is introduced to this topic using the Finite State Machine (FSM) model together with a comprehensive review of past and current work. A detailed treatment of graph approaches for vector generation and fault coverage evaluation is presented using examples with real protocols. Qualitative and quantitative measures are introduced to quantify and compare these approaches, inclusive of the length of the generated test sequence and fault detection capabilities. Different techniques such as the Rural Chinese Postman Tour and compaction by test overlapping, are fully analyzed for achieving the desired figures of merit. Novel analytical frameworks such as the fault model and the test sequence generation, are proposed to facilitate a better understanding of the conformance testing process for the practicing engineer as well as an academic audience |
| Beschreibung: | xi, 252 p. ill |
| ISBN: | 9789812819901 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044636755 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 171120s1997 |||| o||u| ||||||eng d | ||
| 020 | |a 9789812819901 |9 978-981-281-990-1 | ||
| 024 | 7 | |a 10.1142/3259 |2 doi | |
| 035 | |a (ZDB-124-WOP)00004908 | ||
| 035 | |a (OCoLC)1012713115 | ||
| 035 | |a (DE-599)BVBBV044636755 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-92 | ||
| 082 | 0 | |a 004.6/2/0287 |2 22 | |
| 245 | 1 | 0 | |a Protocol conformance testing using unique input/output sequences |c Xiao Sun ... [et al.] |
| 264 | 1 | |a Singapore |b World Scientific Pub. Co. |c c1997 | |
| 300 | |a xi, 252 p. |b ill | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Advanced series in electrical and computer engineering |v vol. 12 | |
| 520 | |a This book deals with conformance testing for verification and validation of protocols for communication/distributed computer systems. The reader is introduced to this topic using the Finite State Machine (FSM) model together with a comprehensive review of past and current work. A detailed treatment of graph approaches for vector generation and fault coverage evaluation is presented using examples with real protocols. Qualitative and quantitative measures are introduced to quantify and compare these approaches, inclusive of the length of the generated test sequence and fault detection capabilities. Different techniques such as the Rural Chinese Postman Tour and compaction by test overlapping, are fully analyzed for achieving the desired figures of merit. Novel analytical frameworks such as the fault model and the test sequence generation, are proposed to facilitate a better understanding of the conformance testing process for the practicing engineer as well as an academic audience | ||
| 650 | 4 | |a Computer network protocols / Testing | |
| 650 | 4 | |a Sequential machine theory | |
| 650 | 4 | |a Computer network protocols / Mathematical models | |
| 700 | 1 | |a Sun, Xiao |d 1951- |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789810228323 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9810228325 |
| 856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/3259#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
| 912 | |a ZDB-124-WOP | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030034728 | ||
| 966 | e | |u http://www.worldscientific.com/worldscibooks/10.1142/3259#t=toc |l FHN01 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178051454468096 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV044636755 |
| collection | ZDB-124-WOP |
| ctrlnum | (ZDB-124-WOP)00004908 (OCoLC)1012713115 (DE-599)BVBBV044636755 |
| dewey-full | 004.6/2/0287 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.6/2/0287 |
| dewey-search | 004.6/2/0287 |
| dewey-sort | 14.6 12 3287 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02535nmm a2200409zcb4500</leader><controlfield tag="001">BV044636755</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s1997 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812819901</subfield><subfield code="9">978-981-281-990-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/3259</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00004908</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012713115</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044636755</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.6/2/0287</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Protocol conformance testing using unique input/output sequences</subfield><subfield code="c">Xiao Sun ... [et al.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific Pub. Co.</subfield><subfield code="c">c1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xi, 252 p.</subfield><subfield code="b">ill</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">Advanced series in electrical and computer engineering</subfield><subfield code="v">vol. 12</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book deals with conformance testing for verification and validation of protocols for communication/distributed computer systems. The reader is introduced to this topic using the Finite State Machine (FSM) model together with a comprehensive review of past and current work. A detailed treatment of graph approaches for vector generation and fault coverage evaluation is presented using examples with real protocols. Qualitative and quantitative measures are introduced to quantify and compare these approaches, inclusive of the length of the generated test sequence and fault detection capabilities. Different techniques such as the Rural Chinese Postman Tour and compaction by test overlapping, are fully analyzed for achieving the desired figures of merit. Novel analytical frameworks such as the fault model and the test sequence generation, are proposed to facilitate a better understanding of the conformance testing process for the practicing engineer as well as an academic audience</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer network protocols / Testing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sequential machine theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer network protocols / Mathematical models</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sun, Xiao</subfield><subfield code="d">1951-</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9789810228323</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9810228325</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/3259#t=toc</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveroeffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-124-WOP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030034728</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/3259#t=toc</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-124-WOP</subfield><subfield code="q">FHN_PDA_WOP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044636755 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:57:49Z |
| institution | BVB |
| isbn | 9789812819901 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030034728 |
| oclc_num | 1012713115 |
| open_access_boolean | |
| owner | DE-92 |
| owner_facet | DE-92 |
| physical | xi, 252 p. ill |
| psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | World Scientific Pub. Co. |
| record_format | marc |
| series2 | Advanced series in electrical and computer engineering |
| spelling | Protocol conformance testing using unique input/output sequences Xiao Sun ... [et al.] Singapore World Scientific Pub. Co. c1997 xi, 252 p. ill txt rdacontent c rdamedia cr rdacarrier Advanced series in electrical and computer engineering vol. 12 This book deals with conformance testing for verification and validation of protocols for communication/distributed computer systems. The reader is introduced to this topic using the Finite State Machine (FSM) model together with a comprehensive review of past and current work. A detailed treatment of graph approaches for vector generation and fault coverage evaluation is presented using examples with real protocols. Qualitative and quantitative measures are introduced to quantify and compare these approaches, inclusive of the length of the generated test sequence and fault detection capabilities. Different techniques such as the Rural Chinese Postman Tour and compaction by test overlapping, are fully analyzed for achieving the desired figures of merit. Novel analytical frameworks such as the fault model and the test sequence generation, are proposed to facilitate a better understanding of the conformance testing process for the practicing engineer as well as an academic audience Computer network protocols / Testing Sequential machine theory Computer network protocols / Mathematical models Sun, Xiao 1951- Sonstige oth Erscheint auch als Druck-Ausgabe 9789810228323 Erscheint auch als Druck-Ausgabe 9810228325 http://www.worldscientific.com/worldscibooks/10.1142/3259#t=toc Verlag URL des Erstveroeffentlichers Volltext |
| spellingShingle | Protocol conformance testing using unique input/output sequences Computer network protocols / Testing Sequential machine theory Computer network protocols / Mathematical models |
| title | Protocol conformance testing using unique input/output sequences |
| title_auth | Protocol conformance testing using unique input/output sequences |
| title_exact_search | Protocol conformance testing using unique input/output sequences |
| title_full | Protocol conformance testing using unique input/output sequences Xiao Sun ... [et al.] |
| title_fullStr | Protocol conformance testing using unique input/output sequences Xiao Sun ... [et al.] |
| title_full_unstemmed | Protocol conformance testing using unique input/output sequences Xiao Sun ... [et al.] |
| title_short | Protocol conformance testing using unique input/output sequences |
| title_sort | protocol conformance testing using unique input output sequences |
| topic | Computer network protocols / Testing Sequential machine theory Computer network protocols / Mathematical models |
| topic_facet | Computer network protocols / Testing Sequential machine theory Computer network protocols / Mathematical models |
| url | http://www.worldscientific.com/worldscibooks/10.1142/3259#t=toc |
| work_keys_str_mv | AT sunxiao protocolconformancetestingusinguniqueinputoutputsequences |