دانلود کتاب Testing of Software and Communicating Systems: 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

فهرست مطالب :

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 -