Testing of Communicating Systems 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings /
Testing of Communicating Systems 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings / [electronic resource] :
edited by Roland Groz, Robert M. Hierons.
- 1st ed. 2004.
- X, 226 p. online resource.
- Lecture Notes in Computer Science, 2978 1611-3349 ; .
- Lecture Notes in Computer Science, 2978 .
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.
9783540247043
10.1007/b95741 doi
Software engineering.
Computer networks .
Software Engineering.
Computer Communication Networks.
QA76.758
005.1
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.
9783540247043
10.1007/b95741 doi
Software engineering.
Computer networks .
Software Engineering.
Computer Communication Networks.
QA76.758
005.1