Testing of Communicating Systems: 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings - Brossura

Brossura

ISBN 10: 3662162431 ISBN 13: 9783662162439

Casa editrice: Springer, 2014

Riassunto

Implementation of an Open Source Toolset for CCM Components and Systems Testing.- A Multi-service and Multi-protocol Validation Platform - Experimentation Results.- From Design to Test with UML.- BCMP Performance Test with TTCN-3 Mobile Node Emulator.- FSM Based Interoperability Testing Methods for Multi Stimuli Model.- On Testing Partially Specified IOTS through Lossless Queues.- Testing Multi Input/Output Transition System with All-Observer.- Soip Over Satellite Testing - TIM Experience.- Generation of Optimized Testsuites for UML Statecharts with Time.- Communication Patterns for Expressing Real-Time Requirements Using MSC and Their Application to Testing.- From Safety Verification to Safety Testing.- Derivation of Abstract Protocol Type Definitions for the Conformance Testing of Text-Based Protocols.- Mutation Testing Applied to Validate SDL Specifications.- Execution of External Applications using TTCN-3.

Dettagli dell?edizione

• Editore: Springer
• Data di pubblicazione: 2014
• ISBN 10: 3662162431
• ISBN 13: 9783662162439
• Rilegatura: Copertina flessibile
• Lingua: Inglese
• Numero di pagine: 236
• Redattore: Groz Roland, Hierons Robert M.
• Contatto del produttore: non disponibile