Protocol test systems VI: proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28 - 30 September, 1993
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Amsterdam [u.a.]
North-Holland
1994
|
| Series: | International Federation for Information Processing: [IFIP transactions / C]
19 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XIII, 378 S. graph. Darst. |
| ISBN: | 0444816976 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012456617 | ||
| 003 | DE-604 | ||
| 005 | 19990609 | ||
| 007 | t | ||
| 008 | 990316s1994 d||| |||| 10||| eng d | ||
| 020 | |a 0444816976 |9 0-444-81697-6 | ||
| 035 | |a (OCoLC)29429857 | ||
| 035 | |a (DE-599)BVBBV012456617 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 050 | 0 | |a TK5105.55 | |
| 082 | 0 | |a 004.6/2/0287 |2 20 | |
| 084 | |a WIR 523f |2 stub | ||
| 084 | |a DAT 252f |2 stub | ||
| 245 | 1 | 0 | |a Protocol test systems VI |b proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28 - 30 September, 1993 |c ed. by Omar Rafiq |
| 264 | 1 | |a Amsterdam [u.a.] |b North-Holland |c 1994 | |
| 300 | |a XIII, 378 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a International Federation for Information Processing: [IFIP transactions / C] |v 19 | |
| 650 | 4 | |a Computers - Networks - Protocols | |
| 650 | 7 | |a Datatransmissie |2 gtt | |
| 650 | 7 | |a Protocollen (informatica) |2 gtt | |
| 650 | 4 | |a Computer network protocols |x Testing |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Rafiq, Omar |e Sonstige |4 oth | |
| 711 | 2 | |a International Workshop on Protocol Test Systems |n 6 |d 1993 |c Pau |j Sonstige |0 (DE-588)5103785-3 |4 oth | |
| 810 | 2 | |a C] |t International Federation for Information Processing: [IFIP transactions |v 19 |w (DE-604)BV005882919 |9 19 | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008452915&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008452915 | ||
Record in the Search Index
| _version_ | 1804127095101587456 |
|---|---|
| adam_text | TABLE
OF
CONTENTS
Preface v
Table
of Contents
vii
Committee Members
xi
List of Authors
xiii
Invited Paper I
1
Formal Methods for Conformance Testing
:
Results and
Perspectives
3
Ana R.
Cavalli,
Jean-Philippe Favreau, and Marc Phalippou
Sessioni
—
Test Generation and Coverage
19
Fault Coverage of UlO-based Methods for Protocol Testing
21
Howard Motteler, Anthony Chung, and Deepinder Sidhu
Executable Testers
35
Marc Phalippou
Generating Tests for Control Portion of SDL Specifications
51
Gang Luo, Anindya Das, and
Gregor
von Bochmann,
Test Suite Generation for Application Layer
Protocols from Formal Specifications in
Estelle
67
Olaf
Henniger,
Behçet Sarikaya,
and Steve Biedlingmaier
Tutorial
87
A Framework for the Design for Testability of
Communication Protocols
89
Son T. Vuong, A. A. F.
Loureiro,
and Samuel T. Chanson
Session
П —
Testability and Architecture
109
On Evaluation of Testability of Protocol Structures 111
Alexandre
Petrenko, Rachida Dssouli, and
Hartmut Kcenig
ATM Broadband Network Testing Using the Ferry Principle
125
Marc F. Witteman and Ronald C. van Wuijtswinkel
Generating Synchronizable Test Sequences Based on
Finite State Machine with Distributed Ports
139
Gang Luo, Rachida Dssouli,
Gregor von Bochmann,
Pallapa Venkataram, and Abderrazak Ghedamsi
Invited Paper
Π
155
Conformance Relations and Test Derivation
157
Alexandre Petrenko, Gregor von
Bochmann, and
Rachida
Đssouli
Session
ΠΙ
—
Industrial Reports and Tools
179
Experiences with Computer Aided Test Suite Generation
181
Anders Ek, Jan Ellsberger and Anthony Wiles
Protocol Test Case Vizualization
197
Pramod Kalyanasundaram and Paul D.
Amer
The UBC Protocol Testing Environment
215
Samuel T. Chanson, Hendra
Dany,
M.
С.
Kim,
Qin
Li, Ying
Lu,
Son T. Vuong,
Sijian Zhang, Limin Zhou, and
Jinsong Zhu
Experiences with Octopus Automated TTCN
Translation Tools Applied to
GSM/ SS7
231
Ari Ahtiainen,
Bruno
Chatras, Marc
Hornbeek, and
Sami Kesti
Invited Paper
ΠΙ
255
A Formal Approach to Conformance Testing
257
Jan Tretmans
Session IV
—
Test Generation
277
Test Derivation from LOTOS Using Structure Information
279
Andreas
Ulrich
and
Hartmut König
Invited Paper IV
295
The Refusal Graph
:
a Tradeoff between Verification and Test
297
Khalil Drira
Session
V
—
Interoperability and Nondeterminism
313
Interoperability Testing
:
Basis for the Acceptance of
Communication Systems
315
Gert Vermeer
and Hans
Blik
Deriving Coordinated Testers for Interoperability
331
Richard Castanet and
Osman Koné
Adaptive Testing of Non-Deterministic Communication
Protocols
347
Mohammed Ghriga and Phyllis G.
Franki
Nondeterministic State Machines in Protocol
Conformance Testing
363
Alexandre Petrenko,
Nina Yevtushenko,
Alexandre Lebedev,
and
Anindya Das
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV012456617 |
| callnumber-first | T - Technology |
| callnumber-label | TK5105 |
| callnumber-raw | TK5105.55 |
| callnumber-search | TK5105.55 |
| callnumber-sort | TK 45105.55 |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| classification_tum | WIR 523f DAT 252f |
| ctrlnum | (OCoLC)29429857 (DE-599)BVBBV012456617 |
| 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 Wirtschaftswissenschaften |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01797nam a2200409 cb4500</leader><controlfield tag="001">BV012456617</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19990609 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">990316s1994 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444816976</subfield><subfield code="9">0-444-81697-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)29429857</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012456617</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TK5105.55</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.6/2/0287</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">WIR 523f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 252f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Protocol test systems VI</subfield><subfield code="b">proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28 - 30 September, 1993</subfield><subfield code="c">ed. by Omar Rafiq</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 378 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">International Federation for Information Processing: [IFIP transactions / C]</subfield><subfield code="v">19</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers - Networks - Protocols</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Datatransmissie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Protocollen (informatica)</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer network protocols</subfield><subfield code="x">Testing</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rafiq, Omar</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Workshop on Protocol Test Systems</subfield><subfield code="n">6</subfield><subfield code="d">1993</subfield><subfield code="c">Pau</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5103785-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">C]</subfield><subfield code="t">International Federation for Information Processing: [IFIP transactions</subfield><subfield code="v">19</subfield><subfield code="w">(DE-604)BV005882919</subfield><subfield code="9">19</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=008452915&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-008452915</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV012456617 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:27:54Z |
| institution | BVB |
| institution_GND | (DE-588)5103785-3 |
| isbn | 0444816976 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008452915 |
| oclc_num | 29429857 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | XIII, 378 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | North-Holland |
| record_format | marc |
| series2 | International Federation for Information Processing: [IFIP transactions / C] |
| spelling | Protocol test systems VI proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28 - 30 September, 1993 ed. by Omar Rafiq Amsterdam [u.a.] North-Holland 1994 XIII, 378 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier International Federation for Information Processing: [IFIP transactions / C] 19 Computers - Networks - Protocols Datatransmissie gtt Protocollen (informatica) gtt Computer network protocols Testing Congresses (DE-588)1071861417 Konferenzschrift gnd-content Rafiq, Omar Sonstige oth International Workshop on Protocol Test Systems 6 1993 Pau Sonstige (DE-588)5103785-3 oth C] International Federation for Information Processing: [IFIP transactions 19 (DE-604)BV005882919 19 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008452915&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Protocol test systems VI proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28 - 30 September, 1993 Computers - Networks - Protocols Datatransmissie gtt Protocollen (informatica) gtt Computer network protocols Testing Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Protocol test systems VI proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28 - 30 September, 1993 |
| title_auth | Protocol test systems VI proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28 - 30 September, 1993 |
| title_exact_search | Protocol test systems VI proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28 - 30 September, 1993 |
| title_full | Protocol test systems VI proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28 - 30 September, 1993 ed. by Omar Rafiq |
| title_fullStr | Protocol test systems VI proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28 - 30 September, 1993 ed. by Omar Rafiq |
| title_full_unstemmed | Protocol test systems VI proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28 - 30 September, 1993 ed. by Omar Rafiq |
| title_short | Protocol test systems VI |
| title_sort | protocol test systems vi proceedings of the ifip tc6 wg6 1 sixth international workshop on protocol test systems pau france 28 30 september 1993 |
| title_sub | proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test Systems, Pau, France, 28 - 30 September, 1993 |
| topic | Computers - Networks - Protocols Datatransmissie gtt Protocollen (informatica) gtt Computer network protocols Testing Congresses |
| topic_facet | Computers - Networks - Protocols Datatransmissie Protocollen (informatica) Computer network protocols Testing Congresses Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008452915&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV005882919 |
| work_keys_str_mv | AT rafiqomar protocoltestsystemsviproceedingsoftheifiptc6wg61sixthinternationalworkshoponprotocoltestsystemspaufrance2830september1993 AT internationalworkshoponprotocoltestsystemspau protocoltestsystemsviproceedingsoftheifiptc6wg61sixthinternationalworkshoponprotocoltestsystemspaufrance2830september1993 |