Atnaujinkite slapukų nuostatas

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

DRM apribojimai

  • Kopijuoti:

    neleidžiama

  • Spausdinti:

    neleidžiama

  • El. knygos naudojimas:

    Skaitmeninių teisių valdymas (DRM)
    Leidykla pateikė šią knygą šifruota forma, o tai reiškia, kad norint ją atrakinti ir perskaityti reikia įdiegti nemokamą programinę įrangą. Norint skaityti šią el. knygą, turite susikurti Adobe ID . Daugiau informacijos  čia. El. knygą galima atsisiųsti į 6 įrenginius (vienas vartotojas su tuo pačiu Adobe ID).

    Reikalinga programinė įranga
    Norint skaityti šią el. knygą mobiliajame įrenginyje (telefone ar planšetiniame kompiuteryje), turite įdiegti šią nemokamą programėlę: PocketBook Reader (iOS / Android)

    Norint skaityti šią el. knygą asmeniniame arba „Mac“ kompiuteryje, Jums reikalinga  Adobe Digital Editions “ (tai nemokama programa, specialiai sukurta el. knygoms. Tai nėra tas pats, kas „Adobe Reader“, kurią tikriausiai jau turite savo kompiuteryje.)

    Negalite skaityti šios el. knygos naudodami „Amazon Kindle“.

The aim of this book is to bring together the research of academics and practitioners in the field of communication systems testing. It covers four major topic areas; types of testing including conformance testing, inoperability testing, performance and QoS testing; 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.

Daugiau informacijos

Springer Book Archives
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.