Model-Based Testing of Environmental Conformance of Components

DOI10.1007/978-3-540-74792-5_1MaRDI QIDQ3525108zbMATH OpenOpenAlexFDO

Authors Lars Frantzen, Jan Tretmans

Publication date 17 September 2008

Published in Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74792-5_1

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Testing of abstract components
• Testability of a communicating system through an environment
• Formal Approaches to Software Testing
• Verification of component-based system using model checking
• FM 2005: Formal Methods

Cites work

• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• Extensional equivalences for transition systems
• Formal Approaches to Software Testing
• On-the-fly conformance testing using SPIN

Cited in

(8)

• OntCheck: an ontology-driven static correctness checking tool for component-based models
• Combining partial specifications using alternating interface automata
• Testing of abstract components
• Component-aware input-output conformance
• Integration Testing of Distributed Components Based on Learning Parameterized I/O Models
• Testability of a communicating system through an environment
• Formal Approaches to Software Testing
• Relating alternating relations for conformance and refinement

This page was built for publication: Model-Based Testing of Environmental Conformance of Components

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3525108)