This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th International Workshop on Formal Approaches to Testing of Software, FATES 2008, jointly held in Tokyo, Japan, in June 2008.
The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from initially 58 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. They are organized in topical sections on general software testing, testing continuous and real-time systems, network testing, test generation, concurrent system testing, and applications of testing.
Author(s): Yutaka Yasuda (auth.), Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa (eds.)
Series: Lecture Notes in Computer Science 5047 : Computer Communication Networks and Telecommunications
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2008
Language: English
Pages: 303
Tags: Software Engineering; Computer Communication Networks; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Management of Computing and Information Systems; Communications Engineering, Networks
Front Matter....Pages -
All-IP Based Ultra 3G Network/Service Development in a Competitive Market....Pages 1-4
Models and Testing – A Recipe for Improved Effectiveness?....Pages 5-6
Runtime Verification of C Programs....Pages 7-22
Test Construction for Mathematical Functions....Pages 23-37
Model-Based Testing Service on the Web....Pages 38-53
Using Disparity to Enhance Test Generation for Hybrid Systems....Pages 54-69
Modeling Property Based Stream Templates with TTCN-3....Pages 70-85
${\cal T}\! {\cal H} {\cal O} {\cal T}\! {\cal L}$ : A Timed Extension of ${\cal H} {\cal O} {\cal T}\! {\cal L}$ ....Pages 86-102
Model-Based Firewall Conformance Testing....Pages 103-118
VCSTC: Virtual Cyber Security Testing Capability – An Application Oriented Paradigm for Network Infrastructure Protection....Pages 119-134
Performance Test Design Process and Its Implementation Patterns for Multi-services Systems....Pages 135-152
Generating Checking Sequences for Partial Reduced Finite State Machines....Pages 153-168
Testing Systems Specified as Partial Order Input/Output Automata....Pages 169-183
Test Purpose Concretization through Symbolic Action Refinement....Pages 184-199
Implementation Relations for the Distributed Test Architecture....Pages 200-215
Modular System Verification by Inference, Testing and Reachability Analysis....Pages 216-233
Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis....Pages 234-249
Applying Model-Based Testing to HTML Rendering Engines – A Case Study....Pages 250-265
Model-Based Generation of Testbeds for Web Services....Pages 266-282
Real-Time Testing with TTCN-3....Pages 283-301
Back Matter....Pages -
