E-Book, Englisch, Band 2978, 226 Seiten, eBook
Groz / Hierons Testing of Communicating Systems
Erscheinungsjahr 2004
ISBN: 978-3-540-24704-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004., Proceedings
E-Book, Englisch, Band 2978, 226 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-24704-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
