Testing of Communicating Systems [electronic resource] : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004. Proceedings /

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.

Bibliographic Details

Main Authors:	Groz, Roland. editor., Hierons, Robert M. editor., SpringerLink (Online service)
Format:	Texto biblioteca
Language:	eng
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004
Subjects:	Computer science., Computer communication systems., Software engineering., Computer Science., Software Engineering., Computer Communication Networks.,
Online Access:	http://dx.doi.org/10.1007/b95741
Tags:	Add Tag No Tags, Be the first to tag this record!