Protocol test systems VIII: proceedings of the IFIP WG6.1. TC6 eighth International Workshop on Protocol Test Systems, September 1995
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
London [u.a.]
Chapman & Hall
1996
|
| Edition: | 1. ed. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XI, 451 S. Ill., graph. Darst. |
| ISBN: | 0412781107 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010956432 | ||
| 003 | DE-604 | ||
| 005 | 20131001 | ||
| 007 | t| | ||
| 008 | 960918s1996 xx ad|| |||| 10||| eng d | ||
| 020 | |a 0412781107 |9 0-412-78110-7 | ||
| 035 | |a (OCoLC)36564721 | ||
| 035 | |a (DE-599)BVBBV010956432 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-91G |a DE-706 | ||
| 050 | 0 | |a TK5105.5 | |
| 084 | |a DAT 330f |2 stub | ||
| 084 | |a DAT 252f |2 stub | ||
| 245 | 1 | 0 | |a Protocol test systems VIII |b proceedings of the IFIP WG6.1. TC6 eighth International Workshop on Protocol Test Systems, September 1995 |c ed. by Ana Cavalli ... |
| 250 | |a 1. ed. | ||
| 264 | 1 | |a London [u.a.] |b Chapman & Hall |c 1996 | |
| 300 | |a XI, 451 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Computer network protocols |x Testing |v Congresses | |
| 650 | 0 | 7 | |a OSI-Modell |0 (DE-588)4201284-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Protokollierung |0 (DE-588)4268365-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kommunikationsprotokoll |0 (DE-588)4128252-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1995 |z Évry |2 gnd-content | |
| 689 | 0 | 0 | |a Protokollierung |0 (DE-588)4268365-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a OSI-Modell |0 (DE-588)4201284-3 |D s |
| 689 | 1 | 1 | |a Kommunikationsprotokoll |0 (DE-588)4128252-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Cavalli, Ana |e Sonstige |4 oth | |
| 711 | 2 | |a International Workshop on Protocol Test Systems |n 8 |d 1995 |c Évry |j Sonstige |0 (DE-588)5161706-7 |4 oth | |
| 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=007328570&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007328570 | |
Record in the Search Index
| _version_ | 1820868276859699200 |
|---|---|
| adam_text |
CONTENTS
Preface
ix
Program Committee
χ
List of Referees
xii
PART ONE Testing Methods
1
Invited lecture
3
1
Testing through the ages
A.T. Dahbura
5
2
An executable protocol test sequence generation method for EFSM-
specified protocols
CM. Huang, Y.-C.
Un
and M.-Y. Jang
20
3
Transformation of
Estelle
modules aiming at test case generation
O.
Hermiger,
Α.
Ulrich
and
H.
König 36
PART TWO Test Environments
53
4
Application of a LOTOS based test environment on AAL5
J.
Burmeister
and A. Rennoch
55
5
Stable testers for environment sensitive systems
M. Ghriga
71
PART THREE Theoretical Framework
87
6
Timed systems behaviour and confommnce testing
-
a mathematical
framework
B.
Baumgarten 89
7
An
adaptative
test sequence generation method for the users needs
R. Castanet,
С
Chevrier,
O. Koné
and
B. Le Saëc
105
8
A framework for testing telecommunication services
G.
Vermeer,
M.
Wittetnen and J.
Kroon
121
PART FOUR Algorithms and Languages
133
9
Conformance testing of protocols specified as labeled transition systems
P.V. KoppolandK.C
Tai
135
10
Two approaches linking test generation with verification techniques
M
Clatin,
R Groz, M. Phalippou and R. Thummel
151
Contents
11
PROSPECT
-
a
proposal for a new test specification language and its
implementation
T. Walter and B.
Plattner 167
PART FIVE Test Generation
1 185
12
Test sequence generation for adaptive interoperability testing
S. Kong and M. Kim
187
13
Fault-tolerant UIO sequences in finite state machines
K. Naik
201
14
Guaranteeing full fault coverage for UlO-based testing methods
R.
Anido
and
A. Cavalli
215
PARTSrX Testability
233
Invited lecture
235
15
Towards testable communication software
R. Dssouli, K.
Kamui,
A. Petrenko and O. Rafiq
237
16
Design for testability of protocols based on formal specifications
M.C.
Kim, S.T.
Chanson and
S.Y00
252
17
On the design for testability of communication protocols
N.
Yevtushenko, S. Prokopenko, A. Petrenko, R. Dssouli and K. Karoui
265
PART SEVEN Test Generation
2 281
18
A unified test case generation method for the EFSM model using
context independent unique sequences
T. Ramalingom, A. Das and K. Thulasiraman
283
19
Handling redundant and additional states in protocol testing
A. Petrenko, T. Higashino and T.
Kaji
300
PART EIGHT Industrial Applications
317
20
Experiences with the design of B-ISDN integrated test system (BITS)
K. Y.
Kim, W.S.
Kim and B.K. Hong
319
21
The testing of BTs intelligent peripheral using abstract test suites from ETSI
ЛГ.
Webster
329
22
Design of intelligent
OSI
protocol monitor
T. Ogishi, A. Idoue, T.
Kato
and K. Suzuki
342
23
Management and maintenance of TTCN abstract test suites
P.-Y. Danet and
E. Desécures
358
PART NINE Distributed Testing and Performance
367
24
Port-synchronizable test sequences for communication protocols
K.C.
Tai
and Y.C. Young
369
25
Synchronizable and checking sequences based on UIO sequences
S. GuyotandH. Ural
385
Contents
26 Specification-driven
performance
monitoring
of SDL/MSC-specified
protocols
P. Dauphin, W. Dulz and F.
Lemmen
398
PART TEN Test Management
415
27
Test management and TTCN based test sequencing
J.TianandJ.Wu
417
28
Towards a 'practical formal method' for test derivation
R.L.
Probert
and
L
Wei
433
Index of contributors
449
Keyword index
450 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010956432 |
| callnumber-first | T - Technology |
| callnumber-label | TK5105 |
| callnumber-raw | TK5105.5 |
| callnumber-search | TK5105.5 |
| callnumber-sort | TK 45105.5 |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| classification_rvk | SS 1995 |
| classification_tum | DAT 330f DAT 252f |
| ctrlnum | (OCoLC)36564721 (DE-599)BVBBV010956432 |
| discipline | Informatik |
| edition | 1. ed. |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV010956432</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20131001</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960918s1996 xx ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0412781107</subfield><subfield code="9">0-412-78110-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)36564721</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010956432</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-739</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TK5105.5</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 330f</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 VIII</subfield><subfield code="b">proceedings of the IFIP WG6.1. TC6 eighth International Workshop on Protocol Test Systems, September 1995</subfield><subfield code="c">ed. by Ana Cavalli ...</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Chapman & Hall</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 451 S.</subfield><subfield code="b">Ill., 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="650" ind1=" " ind2="4"><subfield code="a">Computer network protocols</subfield><subfield code="x">Testing</subfield><subfield code="v">Congresses</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="650" ind1="0" ind2="7"><subfield code="a">Protokollierung</subfield><subfield code="0">(DE-588)4268365-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kommunikationsprotokoll</subfield><subfield code="0">(DE-588)4128252-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1995</subfield><subfield code="z">Évry</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Protokollierung</subfield><subfield code="0">(DE-588)4268365-8</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">OSI-Modell</subfield><subfield code="0">(DE-588)4201284-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Kommunikationsprotokoll</subfield><subfield code="0">(DE-588)4128252-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cavalli, Ana</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">8</subfield><subfield code="d">1995</subfield><subfield code="c">Évry</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5161706-7</subfield><subfield code="4">oth</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=007328570&sequence=000002&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-007328570</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Évry gnd-content |
| genre_facet | Konferenzschrift 1995 Évry |
| id | DE-604.BV010956432 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:21:47Z |
| institution | BVB |
| institution_GND | (DE-588)5161706-7 |
| isbn | 0412781107 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007328570 |
| oclc_num | 36564721 |
| open_access_boolean | |
| owner | DE-739 DE-91G DE-BY-TUM DE-706 |
| owner_facet | DE-739 DE-91G DE-BY-TUM DE-706 |
| physical | XI, 451 S. Ill., graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Chapman & Hall |
| record_format | marc |
| spelling | Protocol test systems VIII proceedings of the IFIP WG6.1. TC6 eighth International Workshop on Protocol Test Systems, September 1995 ed. by Ana Cavalli ... 1. ed. London [u.a.] Chapman & Hall 1996 XI, 451 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Computer network protocols Testing Congresses OSI-Modell (DE-588)4201284-3 gnd rswk-swf Protokollierung (DE-588)4268365-8 gnd rswk-swf Kommunikationsprotokoll (DE-588)4128252-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Évry gnd-content Protokollierung (DE-588)4268365-8 s DE-604 OSI-Modell (DE-588)4201284-3 s Kommunikationsprotokoll (DE-588)4128252-8 s Cavalli, Ana Sonstige oth International Workshop on Protocol Test Systems 8 1995 Évry Sonstige (DE-588)5161706-7 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007328570&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Protocol test systems VIII proceedings of the IFIP WG6.1. TC6 eighth International Workshop on Protocol Test Systems, September 1995 Computer network protocols Testing Congresses OSI-Modell (DE-588)4201284-3 gnd Protokollierung (DE-588)4268365-8 gnd Kommunikationsprotokoll (DE-588)4128252-8 gnd |
| subject_GND | (DE-588)4201284-3 (DE-588)4268365-8 (DE-588)4128252-8 (DE-588)1071861417 |
| title | Protocol test systems VIII proceedings of the IFIP WG6.1. TC6 eighth International Workshop on Protocol Test Systems, September 1995 |
| title_auth | Protocol test systems VIII proceedings of the IFIP WG6.1. TC6 eighth International Workshop on Protocol Test Systems, September 1995 |
| title_exact_search | Protocol test systems VIII proceedings of the IFIP WG6.1. TC6 eighth International Workshop on Protocol Test Systems, September 1995 |
| title_full | Protocol test systems VIII proceedings of the IFIP WG6.1. TC6 eighth International Workshop on Protocol Test Systems, September 1995 ed. by Ana Cavalli ... |
| title_fullStr | Protocol test systems VIII proceedings of the IFIP WG6.1. TC6 eighth International Workshop on Protocol Test Systems, September 1995 ed. by Ana Cavalli ... |
| title_full_unstemmed | Protocol test systems VIII proceedings of the IFIP WG6.1. TC6 eighth International Workshop on Protocol Test Systems, September 1995 ed. by Ana Cavalli ... |
| title_short | Protocol test systems VIII |
| title_sort | protocol test systems viii proceedings of the ifip wg6 1 tc6 eighth international workshop on protocol test systems september 1995 |
| title_sub | proceedings of the IFIP WG6.1. TC6 eighth International Workshop on Protocol Test Systems, September 1995 |
| topic | Computer network protocols Testing Congresses OSI-Modell (DE-588)4201284-3 gnd Protokollierung (DE-588)4268365-8 gnd Kommunikationsprotokoll (DE-588)4128252-8 gnd |
| topic_facet | Computer network protocols Testing Congresses OSI-Modell Protokollierung Kommunikationsprotokoll Konferenzschrift 1995 Évry |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007328570&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT cavalliana protocoltestsystemsviiiproceedingsoftheifipwg61tc6eighthinternationalworkshoponprotocoltestsystemsseptember1995 AT internationalworkshoponprotocoltestsystemsevry protocoltestsystemsviiiproceedingsoftheifipwg61tc6eighthinternationalworkshoponprotocoltestsystemsseptember1995 |