Download the Free Fishpond App!
Download on the App Store

Android App on Google play

Already own it?

Sell Yours
Home » Books » Nonfiction » Technology » Engineering » Electrical

Testing of Communicating Systems

18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications)

By M.Umit Uyar (Volume editor), Ali Y. Duale (Volume editor), Mariusz A. Fecko (Volume editor)

Elsewhere $172.95 $86.38   Save $86.57 (50%)
or 4 easy payments of $21.6 with What's this?
Free shipping Australia wide
Condition: New
Ships within: 4-8 days
New or Used: 119 copies from $86.38
Order now for Christmas delivery
Register or sign-in to rate and get recommendations.
Format: Paperback / softback, 392 pages
Other Information: Illustrations
Published In: Germany, 10 May 2006
This book constitutes the refereed proceedings of the 18th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2006, held in New York, NY, USA, in May 2006. The 23 revised full papers presented were carefully reviewed and selected from initially 48 submissions. The papers address all current issues in testing communicating systems, ranging from classical telecommunication issues to general software testing. They were presented in 8 sessions whose scope covered testing theory and foundations; testing non-deterministic and probabilistic systems; testing the Internet and industrial systems; TTCN-3; compositional and distributed testing; FSM-based testing and diagnosis; testing timed systems; and testing for security.

Table of Contents

Session I: Testing Theory and Foundations.- Symbolic Execution Techniques for Test Purpose Definition.- Controllable Combinatorial Coverage in Grammar-Based Testing.- A Logic for Assessing Sets of Heterogeneous Testing Hypotheses.- Session II: Testing Non-deterministic and Probabilistic Systems.- Bounded Sequence Testing from Non-deterministic Finite State Machines.- LaTe, a Non-fully Deterministic Testing Language.- Customized Testing for Probabilistic Systems.- Session III: Testing Internet and Industrial Systems.- Generating Test Cases for Web Services Using Extended Finite State Machine.- Towards the Testing of Composed Web Services in 3rd Generation Networks.- Application of Two Test Generation Tools to an Industrial Case Study.- Session IV: TTCN-3.- Performance Analysis of Concurrent PCOs in TTCN-3.- Use of TTCN-3 for Software Module Testing.- Distributed Load Tests with TTCN-3.- Session V: Compositional and Distributed Testing.- Analyzing the Impact of Protocol Changes on Tests.- Detecting Observability Problems in Distributed Testing.- Compositional Testing of Communication Systems.- Session VI: FSM-Based Testing and Diagnosis.- FSM Test Translation Through Context.- Using Distinguishing and UIO Sequences Together in a Checking Sequence.- Reducing the Lengths of Checking Sequences by Overlapping.- Session VII: Timed Systems.- Test Case Minimization for Real-Time Systems Using Timed Bound Traces.- Symbolic and on the Fly Testing with Real-Time Observers.- Using TimedTTCN-3 in Interoperability Testing for Real-Time Communication Systems.- Session VIII: Testing for Security.- Test Generation for Network Security Rules.- Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking.

EAN: 9783540341840
ISBN: 3540341846
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Dimensions: 23.39 x 15.6 x 2.06 centimetres (0.55 kg)
Age Range: 15+ years
Tell a friend

Their Email:

Sell Yours

Already own this item?
Sell Yours and earn some cash. It's fast and free to list! (Learn More.)

Review this Product


Webmasters, Bloggers & Website Owners

You can earn a 5% commission by selling Testing of Communicating Systems: 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings (Lecture Notes in Computer Science / Computer Communication Networks and Telecommunications) on your website. It's easy to get started - we will give you example code. After you're set-up, your website can earn you money while you work, play or even sleep!



Are you the Author/Publisher? Improve sales by submitting additional information on this title.