|
" Testing of Communicating Systems : "
edited by Myungchul Kim, Sungwon Kang, Keesoo Hong.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
733550
|
| Doc. No
|
:
|
b553350
|
| Main Entry
|
:
|
edited by Myungchul Kim, Sungwon Kang, Keesoo Hong.
|
| Title & Author
|
:
|
Testing of Communicating Systems : : IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8-10 September 1997, Cheju Island, Korea\ edited by Myungchul Kim, Sungwon Kang, Keesoo Hong.
|
| Publication Statement
|
:
|
Boston, MA: Springer US, 1997
|
| Series Statement
|
:
|
IFIP - The International Federation for Information Processing.
|
| Page. NO
|
:
|
(x, 452 pages)
|
| ISBN
|
:
|
0387351981
|
|
|
:
|
: 9780387351988
|
| Contents
|
:
|
1 Future directions for protocol testing, learning the lessons from the past --;2 PertTTCN, a TTCN language extension for performance testing --;3 Real-time TTCN for testing real-time and multimedia systems --;4 Integration of test procedures and trials for DECT handsets --;5 Development of an ETSI standard for Phase-2 GSM/DCS mobile terminal conformance testing --;6 Automatic executable test case generation for extended finite state machine protocols --;7 A method to derive a single-EFSM from communicating multi-EFSM for data part testing --;8 Basing test coverage on a formalization of test hypotheses --;9 Design for testability: a step-wise approach to protocol testing --;10 Developments in testing transition systems --;11 Checking experiments with labeled transition systems for trace equivalence --;12 An approach to dynamic protocol testing --;13 Sensitivity analysis of the metric based test selection --;14 Analyzing performance bottlenecks in protocols based on finite state specifications --;15 A conformance testing for communication protocols modeled as a set of DFSMs with common inputs --;16 On test case generation from asynchronously communicating state machines --;17 Fault detection in embedded components --;18 A pragmatic approach to generating test sequences for embedded systems --;19 The European initiative for the development of infrastructural tools: the INTOOL programme --;20 HARPO: testing tools development --;21 Application of a TTCN based conformance test environment on the Internet email protocol --;22 The INTOOL/CATG European project: development of an industrial tool in the field of computer aided test generation --;23 Modeling and testing of protocol systems --;24 A pragmatic approach to test generation --;25 Towards abstract test methods for relay system testing --;26 Applying SaMsTaG to the B-ISDN protocol SSCOP --;27 Design of protocol monitor emulating behaviors of TCP/IP protocols --;28 A two-level approach to automated conformance testing of VHDL designs --;Index of contributors --;Keyword index.
|
| Abstract
|
:
|
phases of testing including test case generation, means of testing, test execution and test results analysis; classes of systems tested and the theory and practice of testing including test-related algorithms, practical testing methodology and practical testing experience.
|
| Subject
|
:
|
Computer Communication Networks.
|
| Subject
|
:
|
Computer science.
|
| LC Classification
|
:
|
TK5101.A1E358 1997
|
| Added Entry
|
:
|
Keesoo Hong
|
|
|
:
|
Myungchul Kim
|
|
|
:
|
Sungwon Kang
|
| |