Specification for Testing

DOI10.1007/978-3-540-75221-9_12MaRDI QIDQ3526935zbMATH OpenOpenAlexFDO

Authors

Publication date 25 September 2008

Published in Formal Methods and Hybrid Real-Time Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75221-9_12

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2084350
• Test specification based on trace description
• Testing strategies for model specification
• Specification directed module testing

Cited in

(14)

• Test specification based on trace description
• Practical steps to improve specification testing
• On the order of test goals in specification-based testing
• Model based testing with logical properties versus state machines
• scientific article; zbMATH DE number 2084350 (Why is no real title available?)
• scientific article; zbMATH DE number 2089333 (Why is no real title available?)
• Towards MC/DC coverage of properties specification patterns
• scientific article; zbMATH DE number 5770649 (Why is no real title available?)
• Specification-Based Testing for CoCasl’s Modal Specifications
• scientific article; zbMATH DE number 1487947 (Why is no real title available?)
• Fully Automatic Testing with Functions as Specifications
• Automatic Testing from Formal Specifications
• FM 2005: Formal Methods
• Hahn-Hausman test as a specification test

This page was built for publication: Specification for Testing

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