Compartir
Protocol Test Systems. 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems (en Inglés)
Tadanori Mizuno;Teruo Higashino;Norio Shiratori (Autor)
·
Springer
· Tapa Blanda
Protocol Test Systems. 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems (en Inglés) - Tadanori Mizuno;Teruo Higashino;Norio Shiratori
Libro Nuevo
Importado
Envío: 16 a 22 días háb.
$ 102.13$ 51.07
Costos de importación incluídos en el precio ✅
Reseña del libro "Protocol Test Systems. 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems (en Inglés)"
1 Open issues in conformance test specification.- 2 OSI protocol testing system based on user friendly test scenario specification functions.- 3 TTCN test case correctness validation.- 4 Fault coverage of tests based on finite state models.- 5 On transition time testing based on extended finite state machines.- 6 Selecting test sequences for partially-specified nondeterministic finite state machines.- 7 An optimal state identification method using a dynamic-programming-based approach for protocol testing.- 8 The present status of conformance testing and interoperability testing.- 9 Design and implementation of an interconnectability testing system - AICTS.- 10 Evaluation of some test generation tools on a real protocol example.- 11 Protocol validation tools as test case generators.- 12 Framework for formal methods in conformance testing.- 13 Testing strategies for communicating FSMs.- 14 A generalization of the multiple UIO method of test sequence selection for protocols represented in FSM.- 15 Automatic generation of extended UIO sequences for communication protocols in an EFSM model.- 16 A new test sequence generation method for interoperability testing.- 17 How to observe interoperability at the service level of protocols.- 18 Testing using telecommunications management.- 19 An implementation of CMIP/CMISE conformance testing system.- 20 A conformance testing framework for applying test purposes.- 21 Implementation of TTCN operational semantics in Estelle.- 22 An approach to TTCN-based test execution.- 23 Time oriented protocol testing simulator.- 24 On the exploitation of parallelism in a test generation method for LOTOS-specifications.- 25 Panel on some issues on testing theory and its application.- 26 Some issues on testing theory and its application.- Index ofcontributors.- Keyword index.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Blanda.
✓ Producto agregado correctamente al carro, Ir a Pagar.
