Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance

DOI10.1007/978-3-540-87603-8_13zbMATH Open1156.68344OpenAlexW1571024205MaRDI QIDQ3535372FDOQ3535372

Authors: Frédéric Dadeau, Adrien de Kermadec, Régis Tissot 

Publication date: 11 November 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-87603-8_13

Recommendations

• Model checking conformance with scenario-based specifications .
• Symbolic Model-based Test Selection
• Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
• Model-based testing of reactive systems. Advanced lectures.
• Formal Approaches to Software Testing

zbMATH Keywords

scenariosmodel-based testingB machinePOSIX challengesymbolic animation

Mathematics Subject Classification ID

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

This page was built for publication: Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance

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