Testing of Communicating Systems -

Testing of Communicating Systems

17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings
Buch | Softcover
X, 380 Seiten
2005 | 2005
Springer Berlin (Verlag)
978-3-540-26054-7 (ISBN)
53,49 inkl. MwSt
This volume contains the proceedings of the 17th IFIP TC6/WG6. 1 Inter- tional Conference on Testing of Communicating Systems (TestCom 2005). The conference was held at Concordia University, Montr eal, Canada, from May 31 to June 2, 2005. TestCom 2005 was organized by Concordia University and was sponsored by IFIP. Following the trends initiated at the 16th edition of the conference held in Oxford, UK, the ?rst call for papers issued in summer 2004 called for contri- tions from the general software testing community. The goal of the conference thisyearwas tocontinue the broadeningofthesubject. The themeoftheconf- ence this year is Meeting Software Testing. In response to the call for papers, we received 62 abstracts. Out of these abstracts, 53 turned into paper subm- sions. Each of these submissions was evaluated by at least 3 reviewers from the Technical Programme Committee, with the help of additional co-reviewers when needed. The Programme Committee meeting was held online from January 18 to January 30, 2005. Out of the 53 submitted papers, the Programme C- mittee selected 24 papers covering the traditional topics of TestCom, such as EFSM/FSM model-based testing, and also papers on general software testing re?ecting the new trends in the conference. We are very grateful to the keynote speaker, Prof. Tom Maibaum, from McMaster University, Hamilton, Canada. Prof. Maibaum addressed TestCom 2005 on this year s theme. He kindly provided an extended abstract, which is also included in this volume.

The Epistemology of Validation and Verification Testing.- Passive Testing - A Constrained Invariant Checking Approach.- Dependence Testing: Extending Data Flow Testing with Control Dependence.- Comparing Bug Finding Tools with Reviews and Tests.- Cross-Language Functional Testing for Middleware.- Using Anti-Ant-like Agents to Generate Test Threads from the UML Diagrams.- Action Refinement in Conformance Testing.- Multiplexing of Partially Ordered Events.- Testing Communicating Systems: a Model, a Methodology, and a Tool.- Coping with Nondeterminism in Network Protocol Testing.- Eliminating Redundant Tests in a Checking Sequence.- On FSM-Based Fault Diagnosis.- State Identification Problems for Timed Automata.- Timing Fault Models for Systems with Multiple Timers.- An Expressive and Implementable Formal Framework for Testing Real-Time Systems.- Firewall Conformance Testing.- Test Generation for Interaction Detection in Feature-Rich Communication Systems.- Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms.- Detecting Trapdoors in Smart Cards Using Timing and Power Analysis.- From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing -.- Using TTCN-3 for Testing Platform Independent Models.- Some Lessons from an Experiment Using TTCN-3 for the RIPng Testing.- A Model-Based Approach for Robustness Testing.- Content-Level Conformance Testing: An Information Mapping Case Study.- Quiescence Management Improves Interoperability Testing.

Erscheint lt. Verlag 23.5.2005
Reihe/Serie Computer Communication Networks and Telecommunications
Lecture Notes in Computer Science
Zusatzinfo X, 380 p.
Verlagsort Berlin
Sprache englisch
Maße 155 x 235 mm
Gewicht 558 g
Themenwelt Mathematik / Informatik Informatik Netzwerke
Informatik Software Entwicklung Qualität / Testen
Schlagworte algorithms • communicating systems testing • computer communication systems • conformance testing • data flow testing • JP • Middleware • model-driven testing • network protocol testing • Smart card • Software Testing • systems testing • systems validation • systems verification • telecommunications • TTCN • UML • UMTS • unified modeling language (UML)
ISBN-10 3-540-26054-4 / 3540260544
ISBN-13 978-3-540-26054-7 / 9783540260547
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Aus- und Weiterbildung zum Certified Tester – Foundation Level nach …

von Andreas Spillner; Tilo Linz

Buch | Hardcover (2024)
dpunkt (Verlag)
39,90
Aus- und Weiterbildung zum ISTQB® Advanced Level Specialist – …

von Manfred Baumgartner; Stefan Gwihs; Richard Seidl …

Buch | Hardcover (2021)
dpunkt (Verlag)
39,90
Qualität von und mit KI-basierten Systemen

von Nils Röttger; Gerhard Runze; Verena Dietrich

Buch | Hardcover (2023)
dpunkt (Verlag)
34,90