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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Groz, Roland (Επιμελητής έκδοσης), Hierons, Robert M. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
• Σειρά: Lecture Notes in Computer Science, 2978
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Computer Science.; Software Engineering.; Computer Communication Networks.

Πίνακας περιεχομένων:

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