Testing of Communicating Systems 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Khendek, Ferhat (Επιμελητής έκδοσης), Dssouli, Rachida (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Σειρά:Lecture Notes in Computer Science, 3502
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.