Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

Description

This book constitutes the refereed proceedings of the 21th IFIP WG 6.1 International Conference on Testing Communicating Systems, TESTCOM 2009, and the 9th International Workshop on Formal Approaches to Testing of Software, FATES 2009, jointly held in Eindhoven, The Netherlands, in November 2009. The 13 revised full papers presented together with 6 short papers were carefully selected from 37 submissions to both events. The papers cover new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. Front Matter....Pages - Testing Real-Time Systems Using TINA....Pages 1-15 A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems....Pages 16-32 Testing k -Safe Petri Nets....Pages 33-48 Implementing MSC Tests with Quiescence Observation....Pages 49-65 Testing Timed Finite State Machines with Guaranteed Fault Coverage....Pages 66-80 Applying Testability Transformations to Achieve Structural Coverage of Erlang Programs....Pages 81-96 Interaction Coverage Meets Path Coverage by SMT Constraint Solving....Pages 97-112 Automatic Testing of Access Control for Security Properties....Pages 113-128 Generating Reduced Tests for FSMs with Extra States....Pages 129-145 An Approach for Test Selection for EFSMs Using a Theorem Prover....Pages 146-162 TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks....Pages 163-178 Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models....Pages 179-194 Analyzing Response Inconsistencies in Test Suites....Pages 195-210 Model-Based Testing of Web Applications Using NModel....Pages 211-216 Observability and Controllability Issues in Conformance Testing of Web Service Compositions....Pages 217-222 Towards Automatic Generation of a Coherent TTCN-3 Template Framework....Pages 223-228 OConGraX – Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems....Pages 229-234 Debugging into Examples....Pages 235-240 Structural Analysis of Large TTCN-3 Projects....Pages 241-246 Back Matter....Pages -