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

DOI10.1007/978-3-540-87603-8_13MaRDI QIDQ3535372zbMATH OpenOpenAlexFDO

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

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)

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

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)