Incremental model-based testing of delta-oriented software product lines

DOI10.1007/978-3-642-30473-6_7MaRDI QIDQ2900181zbMATH OpenOpenAlexFDO

Authors Malte Lochau, Ina Schaefer, Jochen Kamischke, Sascha Lity

Publication date 20 July 2012

Published in Tests and Proofs (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-30473-6_7

zbMATH Keywords

delta-oriented software product linesmodel-based testingregression testing

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

• Delta modeling and model checking of product families
• Incremental model checking of delta-oriented software product lines
• Verification of software product lines with delta-oriented slicing
• Input-output conformance testing for software product lines
• Model-based testing

Cited in

(7)

• A core calculus for dynamic delta-oriented programming
• Delta modeling and model checking of product families
• Verification of software product lines with delta-oriented slicing
• Input-output conformance testing for software product lines
• Trustworthy variant derivation with translation validation for safety critical product lines
• Model-based testing
• Incremental model checking of delta-oriented software product lines

This page was built for publication: Incremental model-based testing of delta-oriented software product lines

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