Testing of communicating systems: 10 IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8 - 10 September 1997, Cheju Island, Korea
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
London [u.a.]
Chapman & Hall
1997
|
| Ausgabe: | 1. ed. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 452 S. graph. Darst. |
| ISBN: | 0412817306 |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV012428917 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 990301s1997 d||| |||| 10||| eng d | ||
| 020 | |a 0412817306 |9 0-412-81730-6 | ||
| 035 | |a (OCoLC)38294513 | ||
| 035 | |a (DE-599)BVBBV012428917 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 050 | 0 | |a TK5101.A1 | |
| 082 | 0 | |a 621.382 |2 21 | |
| 245 | 1 | 0 | |a Testing of communicating systems |n 10 |p IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8 - 10 September 1997, Cheju Island, Korea |c ed. by Myungchul Kim ... |
| 250 | |a 1. ed. | ||
| 264 | 1 | |a London [u.a.] |b Chapman & Hall |c 1997 | |
| 300 | |a X, 452 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Telecommunication systems |x Testing |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Kim, Myungchul |e Sonstige |4 oth | |
| 711 | 2 | |a International Workshop on Testing of Communicating Systems |n 10 |d 1997 |j Sonstige |0 (DE-588)1402547-4 |4 oth | |
| 773 | 0 | 8 | |w (DE-604)BV012428911 |g 10 |
| 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=008434270&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008434270 | ||
Datensatz im Suchindex
| _version_ | 1804127067058470912 |
|---|---|
| adam_text | CONTENTS
Preface
viii
Committee Members and Reviewers
ix
PART ONE Past and Future of Protocol Testing
Invited
Так
1
Future directions for protocol testing, learning the lessons from the past
D.
Rayner 3
PART TWO TTCN Extensions
2
PerfTTCN, a TTCN language extension for performance testing
/. Schieferdecker,
В.
Stępień
and A. Rennoch
21
3
Real-time TTCN for testing real-time and multimedia systems
T. Walter and J. Grabowski
37
PART THREE Wirdess Testing
4
Integration of test procedures and trials for DECT handsets
A. Alonistioti, P. Kostarakis, K. Dangakis,
A.A.
Alexandridis, A. Paschalis,
N.
Gait
anis,
S. Xiroutsikos,
E. Adilinis,
A. Vlahakis and P. Katrivanos
57
5
Development of an ETSI standard for Phase-2 GSM/DCS mobile terminal
conformance testing
S.
Ни,
J.-C.
Wattelet
and
N.
Wang
65
PART FOUR Data Part Test Generation
6
Automatic executable test case generation for extended finite state machine
protocols
С
Bourhfir, R. Dssouli, E. Aboulhamid and
N.
Rico
75
7
A method to derive a single-EFSM from communicating multi-EFSM for
data part testing
/.
Hwang, T. Kim, M. Jang, J. Lee, H. Oh and M. Kim
91
PART FIVE Test Coverage and Testability
8
Basing test coverage on a formalization of test hypotheses
O. Charles and R. Groz
109
9
Design for testability: a step-wise approach to protocol testing
H.
König,
Α.
Ulrich
and M.
Heiner 125
vi
Contents
PART SIX
Theory and Practice of Protocol Testing
Invited
Так
10
Developments in testing transition systems
E. Brinksma,
L
Heerink and J. Tretmans
143
11
Checking experiments with labeled transition systems for trace equivalence
Q.M. Tan, A. Petrenko and G. v. Bochmann
167
12
An approach to dynamic protocol testing
S. Yoo, M. Kim and D. Kong
183
13
Sensitivity analysis of the metric based test selection
ЈЛ.
Curgus, S.T. Vuong and J. Zhu
200
14
Analyzing performance bottlenecks in protocols based on finite state
specifications
S. Zhang andS.T. Chanson
220
PART SEVEN Test Generation for Communicating State Machine
ISA conformance testing for communication protocols modeled as a set of
DFSMs with common inputs
A. Fukada, T.
Kaji,
T.
Higashino,
К.
Taniguchi and M.
Morì
239
16
On test case generation from asynchronously communicating state
machines
O. Henniger
255
17
Fault detection in embedded components
A. Petrenko and
N.
Yevtushenko
272
18
A pragmatic approach to generating test sequences for embedded systems
LP. Lima Jr. and A.R.
Cavalli
288
PART EIGHT Took and Environments
19
The European initiative for the development of infrastructural tools:
the INTOOL programme
P. Cousin
311
20
HARPO: testing tools development
E.
Algaba,
M.
Monedero,
E.
Pérez
and O. Vakárcel
318
21
Application
of
a TTC
N
based
conformance
test environment on the Internet
email protocol
J.
Biand
J.Wu
324
22
The INTOOUCATG European project: development of an industrial tool in
the field of computer aided test generation
E. Desécures,
L
BouUier and
B. Péquignot
330
PART NINE Applications of Protocol Testing
Invited
Так
23
Modeling and testing of protocol systems
D. Lee and
D. Su
339
Contents
vii
24
A pragmatic
approach to test generation
E.
Pérez,
E.
Algaba
and
M.
Monedero
365
25
Towards abstract test methods for relay system testing
J.
Biand J.Wu
381
26
Applying SaMsTaG to the B-ISDN protocol SSCOP
/
Grabowski, R. Scheurer, Z.R. Dai and D. Hogrefe
397
27
Design of protocol monitor emulating behaviors of
ТСРЛР
protocols
T.
Kato,
T. Ogishi, A. ¡doue
and K. Suzuki
416
28
A two-level approach to automated conformance testing of VHDL designs
J. Moonen, J. Romijn, O. Sies, J. Springintveld,
L
Feijs and R. Koymans
432
Index of contributors
449
Keyword index
45 1
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV012428917 |
| callnumber-first | T - Technology |
| callnumber-label | TK5101 |
| callnumber-raw | TK5101.A1 |
| callnumber-search | TK5101.A1 |
| callnumber-sort | TK 45101 A1 |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| ctrlnum | (OCoLC)38294513 (DE-599)BVBBV012428917 |
| dewey-full | 621.382 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.382 |
| dewey-search | 621.382 |
| dewey-sort | 3621.382 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Elektrotechnik / Elektronik / Nachrichtentechnik |
| 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>01456nam a2200349 cc4500</leader><controlfield tag="001">BV012428917</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">990301s1997 d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0412817306</subfield><subfield code="9">0-412-81730-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)38294513</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012428917</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">TK5101.A1</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.382</subfield><subfield code="2">21</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Testing of communicating systems</subfield><subfield code="n">10</subfield><subfield code="p">IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8 - 10 September 1997, Cheju Island, Korea</subfield><subfield code="c">ed. by Myungchul Kim ...</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">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 452 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">Telecommunication systems</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">Kim, Myungchul</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Workshop on Testing of Communicating Systems</subfield><subfield code="n">10</subfield><subfield code="d">1997</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1402547-4</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV012428911</subfield><subfield code="g">10</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=008434270&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-008434270</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV012428917 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:27:27Z |
| institution | BVB |
| institution_GND | (DE-588)1402547-4 |
| isbn | 0412817306 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008434270 |
| oclc_num | 38294513 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | X, 452 S. graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Chapman & Hall |
| record_format | marc |
| spelling | Testing of communicating systems 10 IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8 - 10 September 1997, Cheju Island, Korea ed. by Myungchul Kim ... 1. ed. London [u.a.] Chapman & Hall 1997 X, 452 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Telecommunication systems Testing Congresses (DE-588)1071861417 Konferenzschrift gnd-content Kim, Myungchul Sonstige oth International Workshop on Testing of Communicating Systems 10 1997 Sonstige (DE-588)1402547-4 oth (DE-604)BV012428911 10 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008434270&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Testing of communicating systems Telecommunication systems Testing Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Testing of communicating systems |
| title_auth | Testing of communicating systems |
| title_exact_search | Testing of communicating systems |
| title_full | Testing of communicating systems 10 IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8 - 10 September 1997, Cheju Island, Korea ed. by Myungchul Kim ... |
| title_fullStr | Testing of communicating systems 10 IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8 - 10 September 1997, Cheju Island, Korea ed. by Myungchul Kim ... |
| title_full_unstemmed | Testing of communicating systems 10 IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8 - 10 September 1997, Cheju Island, Korea ed. by Myungchul Kim ... |
| title_short | Testing of communicating systems |
| title_sort | testing of communicating systems ifip tc6 10th international workshop on testing of communicating systems 8 10 september 1997 cheju island korea |
| topic | Telecommunication systems Testing Congresses |
| topic_facet | Telecommunication systems Testing Congresses Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008434270&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV012428911 |
| work_keys_str_mv | AT kimmyungchul testingofcommunicatingsystems10 AT internationalworkshopontestingofcommunicatingsystems testingofcommunicatingsystems10 |