Overview

Full Product Details

Author:   Kenji Suzuki ,  Teruo Higashino ,  Andreas Ulrich ,  Toru Hasegawa
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   2008 ed.
Volume:   5047
Dimensions:   Width: 15.50cm , Height: 1.70cm , Length: 23.50cm
Weight:   0.498kg
ISBN:  

9783540685142

ISBN 10:   3540685146
Pages:   303
Publication Date:   26 May 2008
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

Invited Talks.- All-IP Based Ultra 3G Network/Service Development in a Competitive Market.- Models and Testing – A Recipe for Improved Effectiveness?.- General Software Testing.- Runtime Verification of C Programs.- Test Construction for Mathematical Functions.- Model-Based Testing Service on the Web.- Testing Continuous and Real-Time Systems.- Using Disparity to Enhance Test Generation for Hybrid Systems.- Modeling Property Based Stream Templates with TTCN-3.- : A Timed Extension of .- Network Testing.- Model-Based Firewall Conformance Testing.- VCSTC: Virtual Cyber Security Testing Capability – An Application Oriented Paradigm for Network Infrastructure Protection.- Performance Test Design Process and Its Implementation Patterns for Multi-services Systems.- Test Generation.- Generating Checking Sequences for Partial Reduced Finite State Machines.- Testing Systems Specified as Partial Order Input/Output Automata.- Test Purpose Concretization through Symbolic Action Refinement.- Concurrent System Testing.- Implementation Relations for the Distributed Test Architecture.- Modular System Verification by Inference, Testing and Reachability Analysis.- Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis.- Applications of Testing.- Applying Model-Based Testing to HTML Rendering Engines – A Case Study.- Model-Based Generation of Testbeds for Web Services.- Real-Time Testing with TTCN-3.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions