Testing of Communicating Systems

16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings

244 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung Software Engineering
• ISBN: 9783540212195
• Sprache: Englisch
• Erscheinungsdatum: 02.03.2004
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Robert M. Hierons, Roland Groz