Protocol test systems: 7th workshop ; 7th IFIP WG 6.1 International Workshop on Protocol Test Systems
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
London [u.a.]
Chapman & Hall
1995
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | VII, 345 S. graph. Darst. |
| ISBN: | 0412711605 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV012422596 | ||
| 003 | DE-604 | ||
| 005 | 20131001 | ||
| 007 | t | ||
| 008 | 990224s1995 d||| |||| 10||| eng d | ||
| 020 | |a 0412711605 |9 0-412-71160-5 | ||
| 035 | |a (OCoLC)34274636 | ||
| 035 | |a (DE-599)BVBBV012422596 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-706 | ||
| 050 | 0 | |a TK5105.55 | |
| 082 | 0 | |a 004.6/2/0287 |2 20 | |
| 084 | |a DAT 252f |2 stub | ||
| 084 | |a DAT 330f |2 stub | ||
| 245 | 1 | 0 | |a Protocol test systems |b 7th workshop ; 7th IFIP WG 6.1 International Workshop on Protocol Test Systems |c Ed. by Tadanori Mizuno ... |
| 264 | 1 | |a London [u.a.] |b Chapman & Hall |c 1995 | |
| 300 | |a VII, 345 S. |b 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 Kommunikationsprotokoll |0 (DE-588)4128252-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Protokollierung |0 (DE-588)4268365-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1994 |z Tokio |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 Mizuno, Tadanori |e Sonstige |4 oth | |
| 711 | 2 | |a International Workshop on Protocol Test Systems |n 7 |d 1994 |c Tokio |j Sonstige |0 (DE-588)5172912-X |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=008428983&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008428983 | ||
Datensatz im Suchindex
| _version_ | 1804127059426934784 |
|---|---|
| adam_text | CONTENTS
Preface
ix
Editors, General Co.
-chairs,
Programme Co-cbairs
Programme
Committee, Local Arrangement, Corporate Sponsors
χ
PART ONE
1
1
Open issues in conformance test specification
B.
Baumgarten 3
2
OSI
protocol testing system based on user friendly test
scenario specification functions
T.
Kato,
T.
Ogishi,
T.
Hasegawa and
К.
Suzuki
19
3
TTCN test case correctness validation
F. Kristoffersen and T. Walter
35
INVITED ADDRESS
1 53
4
Fault coverage of tests based on finite state models
G. v. Bochmann, A. Petrenko and M. Yao
55
PART TWO
5
On transition time testing based on extended finite state machines
S. Zhang and
S. T.
Chanson
79
6
Selecting test sequences for partially-specified nondeterministic
finite state machines
G. Luo, A. Petrenko and G.v. Bochmann
95
7
An optimal state identification method using a dynamic-programming-
based approach for protocol testing
R.S.
Un
and M.C. Yuang
111
PANEL SESSION
1 119
8
The present status of conformance testing and interoperability testing
Y. Yokoyama
121
PART THREE
123
9
Design and implementation of an interconnectability testing
system
-
AICTS
K. Takahashi, S. Suzuki, K. Sawai, M. Hatafuku, K. GotohandK. Kazama
125
Contents
10 Evaluation
of some test generation tools on a real protocol example
L
Boullier, B. Kelly, M. Phalippou, A. Rouger and
N.
Webster
141
11
Protocol validation tools as test case generators
C.-J. Wang, L.-S. Koh andM.T. Liu
155
INVITED ADDRESS
2 171
12
Framework for formal methods in conformance testing
D. Hogrefe
173
PAKT
FOUR
191
13
Testing strategies for communicating FSMs
A. Petrenko,
N.
Yevtushenko and R. Dssouli
193
14
A generalization of the multiple UIO method of test sequence
selection for protocols represented in FSM
T. Ramalingam, K. Thulasiraman and A. Das
209
15
Automatic generation of extended UIO sequences for
communication protocols in an EFSM model
X. Li, T. Higashino, M. Higuchi and K. Taniguchi
225
PART FIVE
241
16
A new test sequence generation method for interoperability
testing
N.
Okozató, M.R.
Park, K. Takahashi and
N.
Stiratori
243
17
How to observe interoperability at the service level of protocols
С
Jard
259
18
Testing using telecommunications management
R. C
van Wuijtswmkel andM.F. Witteman
271
PART SIX Short Paper
Sessioni
281
19
An implementation of CMIP/CMISE conformance testing system
C.-S.
Lu. H. Chien,
W.-H. Tsai, W.-T. Chang, C.-S. Perng
C. -T. Lin, K. -J.
Cheng,
К.
-W.
Peng
and
G. Tzeng
283
20
A conformance testing framework for applying test purposes
J.H. Park, J. Y. Lee, I.Y. Jung and J.P. Hong
291
21
Implementation of TTCN operational semantics in
Estelle
L.
Hou,
J.-P. Favreau and D. Tang
299
PART SEVEN Short Paper Session
2 307
22
An approach to TTCN-based test execution
К
Wang, J. Wu and R. Hao
309
23
Time oriented protocol testing simulator
K. Ohta,
N.
Nakano,
T.
Watanabe and T. Mizuno
317
Contents
24
On the exploitation of parallelism in a test generation method for
LOTOS-specifications
V. Plesser
325
PANEL SESSION
2 333
25
Panel on some issues on testing theory and its application
A.R.
Cavalli
335
26
Some issues on testing theory and its application
A.R.
Cavalli
and M. Phalippou
337
Index of contributors
346
Keyword index
347
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV012422596 |
| 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 | DAT 252f DAT 330f |
| ctrlnum | (OCoLC)34274636 (DE-599)BVBBV012422596 |
| 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 | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01842nam a2200445 c 4500</leader><controlfield tag="001">BV012422596</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20131001 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">990224s1995 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0412711605</subfield><subfield code="9">0-412-71160-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)34274636</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012422596</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><subfield code="a">DE-706</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">DAT 252f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 330f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Protocol test systems</subfield><subfield code="b">7th workshop ; 7th IFIP WG 6.1 International Workshop on Protocol Test Systems</subfield><subfield code="c">Ed. by Tadanori Mizuno ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London [u.a.]</subfield><subfield code="b">Chapman & Hall</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 345 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="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">Kommunikationsprotokoll</subfield><subfield code="0">(DE-588)4128252-8</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1994</subfield><subfield code="z">Tokio</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">Mizuno, Tadanori</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">7</subfield><subfield code="d">1994</subfield><subfield code="c">Tokio</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5172912-X</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=008428983&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-008428983</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1994 Tokio gnd-content |
| genre_facet | Konferenzschrift 1994 Tokio |
| id | DE-604.BV012422596 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:27:20Z |
| institution | BVB |
| institution_GND | (DE-588)5172912-X |
| isbn | 0412711605 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008428983 |
| oclc_num | 34274636 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-706 |
| physical | VII, 345 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Chapman & Hall |
| record_format | marc |
| spelling | Protocol test systems 7th workshop ; 7th IFIP WG 6.1 International Workshop on Protocol Test Systems Ed. by Tadanori Mizuno ... London [u.a.] Chapman & Hall 1995 VII, 345 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Computer network protocols Testing Congresses OSI-Modell (DE-588)4201284-3 gnd rswk-swf Kommunikationsprotokoll (DE-588)4128252-8 gnd rswk-swf Protokollierung (DE-588)4268365-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1994 Tokio gnd-content Protokollierung (DE-588)4268365-8 s DE-604 OSI-Modell (DE-588)4201284-3 s Kommunikationsprotokoll (DE-588)4128252-8 s Mizuno, Tadanori Sonstige oth International Workshop on Protocol Test Systems 7 1994 Tokio Sonstige (DE-588)5172912-X oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008428983&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Protocol test systems 7th workshop ; 7th IFIP WG 6.1 International Workshop on Protocol Test Systems Computer network protocols Testing Congresses OSI-Modell (DE-588)4201284-3 gnd Kommunikationsprotokoll (DE-588)4128252-8 gnd Protokollierung (DE-588)4268365-8 gnd |
| subject_GND | (DE-588)4201284-3 (DE-588)4128252-8 (DE-588)4268365-8 (DE-588)1071861417 |
| title | Protocol test systems 7th workshop ; 7th IFIP WG 6.1 International Workshop on Protocol Test Systems |
| title_auth | Protocol test systems 7th workshop ; 7th IFIP WG 6.1 International Workshop on Protocol Test Systems |
| title_exact_search | Protocol test systems 7th workshop ; 7th IFIP WG 6.1 International Workshop on Protocol Test Systems |
| title_full | Protocol test systems 7th workshop ; 7th IFIP WG 6.1 International Workshop on Protocol Test Systems Ed. by Tadanori Mizuno ... |
| title_fullStr | Protocol test systems 7th workshop ; 7th IFIP WG 6.1 International Workshop on Protocol Test Systems Ed. by Tadanori Mizuno ... |
| title_full_unstemmed | Protocol test systems 7th workshop ; 7th IFIP WG 6.1 International Workshop on Protocol Test Systems Ed. by Tadanori Mizuno ... |
| title_short | Protocol test systems |
| title_sort | protocol test systems 7th workshop 7th ifip wg 6 1 international workshop on protocol test systems |
| title_sub | 7th workshop ; 7th IFIP WG 6.1 International Workshop on Protocol Test Systems |
| topic | Computer network protocols Testing Congresses OSI-Modell (DE-588)4201284-3 gnd Kommunikationsprotokoll (DE-588)4128252-8 gnd Protokollierung (DE-588)4268365-8 gnd |
| topic_facet | Computer network protocols Testing Congresses OSI-Modell Kommunikationsprotokoll Protokollierung Konferenzschrift 1994 Tokio |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008428983&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT mizunotadanori protocoltestsystems7thworkshop7thifipwg61internationalworkshoponprotocoltestsystems AT internationalworkshoponprotocoltestsystemstokio protocoltestsystems7thworkshop7thifipwg61internationalworkshoponprotocoltestsystems |