Testing of Communicating Systems [electronic resource] : 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004. Proceedings / edited by Roland Groz, Robert M. Hierons.
Material type: TextSeries: Lecture Notes in Computer Science ; 2978Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004Description: X, 226 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540247043Subject(s): Computer science | Computer Communication Networks | Software engineering | Computer Science | Software Engineering | Computer Communication NetworksAdditional physical formats: Printed edition:: No titleDDC classification: 005.1 LOC classification: QA76.758Online resources: Click here to access onlineCurrent library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
IMSc Library | IMSc Library | Link to resource | Available | EBK3145 |
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.
There are no comments on this title.