Testing of Software and Communicating Systems 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Veanes, Margus (Editor ), Tretmans, Jan (Editor ), Grieskamp, Wolfgang (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Computer Communication Networks and Telecommunications, 4581
Temas:
Software engineering.
Computer networks .
Compilers (Computer programs).
Computer science.
Electronic data processing-Management.
Telecommunication.
Software Engineering.
Computer Communication Networks.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
IT Operations.
Communications Engineering, Networks.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Implementing Conformiq Qtronic
  • New Approach for EFSM-Based Passive Testing of Web Services
  • Automation of Avionic Systems Testing
  • Automatic Test Generation from Interprocedural Specifications
  • A New Method for Interoperability Test Generation
  • Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware
  • Symbolic Model Based Testing for Component Oriented Systems
  • A Compositional Testing Framework Driven by Partial Specifications
  • Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols
  • Testing and Model-Checking Techniques for Diagnosis
  • Model-Based Testing of Service Infrastructure Components
  • Testing Input/Output Partial Order Automata
  • A Framework for Testing AIS Implementations
  • An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile Phones
  • Model Based Testing of an Embedded Session and Transport Protocol
  • Utilising Code Smells to Detect Quality Problems in TTCN-3 Test Suites
  • A Bounded Incremental Test Generation Algorithm for Finite State Machines
  • Experimental Testing of TCP/IP/Ethernet Communication for Automatic Control
  • Towards Systematic Signature Testing
  • TPLan-A Notation for Expressing Test Purposes
  • Testing Nondeterministic Finite State Machines with Respect to the Separability Relation
  • Learning and Integration of Parameterized Components Through Testing
  • An EFSM-Based Passive Fault Detection Approach
  • Test Data Variance as a Test Quality Measure: Exemplified for TTCN-3
  • Model-Based Testing of Optimizing Compilers.

Ejemplares similares