Testing of Communicating Systems

259,00 €
+ 4,99 € Envío

Testing of Communicating Systems

  • Marca: Unbranded
Vendido por:

Testing of Communicating Systems

  • Marca: Unbranded

259,00 €

En existencias
+ 4,99 € Envío

Política de devoluciones de 14 días

Vendido por:

259,00 €

En existencias
+ 4,99 € Envío

Política de devoluciones de 14 días

Métodos de pago:

Descripción

Testing of Communicating Systems

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. Language: English
  • Marca: Unbranded
  • Categoría: Informática e Internet
  • Idioma: English
  • Número de páginas: 452
  • Fecha de publicación: 2013/02/25
  • Artista: Myungchul Kim
  • Editor / Marca: Springer
  • Formato: Paperback
  • Nº de Fruugo : 450886129-950596922
  • ISBN: 9781475767018

Entrega y devolución

Enviado en un plazo de 4 días

  • STANDARD: 4,99 € - Entrega entre lun 09 febrero 2026–jue 12 febrero 2026

Envío desde Reino Unido.

Hacemos todo lo posible para asegurarnos de que se le entreguen los productos que pida en su totalidad y de acuerdo con sus especificaciones. Sin embargo, si recibe un pedido incompleto o artículos diferentes a los que pidió, o hay alguna otra razón por la que no está satisfecho con el pedido, puede devolver el mismo o cualquier producto incluido en él y obtener un reembolso completo por los artículos. Vea la política de devolución completa