Testing of communicating systems

InhaltsverzeichnisImplementation 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.