Towards MC/DC coverage of properties specification patterns

DOI10.1007/978-3-319-46750-4_10MaRDI QIDQ3179399zbMATH OpenOpenAlexFDO

Authors Ana C. V. de Melo, Simone Hanazumi, Corina S. Păsăreanu

Publication date 21 December 2016

Published in Theoretical Aspects of Computing – ICTAC 2016 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-46750-4_10

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• MC/DC test cases generation based on BDDs
• State coverage metrics for specification-based testing with Büchi automata
• Specification for Testing
• A compositional automata-based semantics and preserving transformation rules for testing property patterns
• A practical approach to coverage in model checking

Cites work

• Introduction to Software Testing
• State coverage metrics for specification-based testing with Büchi automata

Cited in

(3)

• MC/DC test cases generation based on BDDs
• From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
• A compositional automata-based semantics and preserving transformation rules for testing property patterns

This page was built for publication: Towards MC/DC coverage of properties specification patterns

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