عنوان

Testing of Communicating Systems :

(Number (ISBN

0387351981

(Number (ISBN

9780387351988

Number

b553350

Title Proper

Testing of Communicating Systems :

General Material Designation

[Book]

Other Title Information

IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8-10 September 1997, Cheju Island, Korea

First Statement of Responsibility

edited by Myungchul Kim, Sungwon Kang, Keesoo Hong.

Place of Publication, Distribution, etc.

Boston, MA

Name of Publisher, Distributor, etc.

Springer US

Date of Publication, Distribution, etc.

1997

Specific Material Designation and Extent of Item

(x, 452 pages)

Series Title

IFIP - The International Federation for Information Processing.

Text of Note

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.

Text of Note

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.

Computer Communication Networks.

Computer science.

Class number

Book number

edited by Myungchul Kim, Sungwon Kang, Keesoo Hong.

Keesoo Hong

Myungchul Kim

Sungwon Kang

Electronic name

[Book]

Y