Input-output conformance testing for software product lines

DOI10.1016/J.JLAMP.2016.09.007MaRDI QIDQ338614zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Harsh Beohar, Mohammad Mousavi

Publication date 7 November 2016

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.jlamp.2016.09.007

zbMATH Keywords

model-based testinginput-output conformance testinginput-output featured transition systemssoftware product lines

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Incremental model-based testing of delta-oriented software product lines
• Formal Approaches to Software Testing
• Model mining and efficient verification of software product lines
• Test purpose oriented I/O conformance test selection with colored Petri nets
• Model-based testing

Cites work

• An overview of the mCRL2 toolset and its recent advances
• Formal methods for open object-based distributed systems. 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4--6, 2008. Proceedings
• Incremental model-based testing of delta-oriented software product lines
• Modal I/O Automata for Interface and Product Line Theories
• Model-based testing of reactive systems. Advanced lectures.
• Modeling and analysis of communicating systems
• Modular modelling of software product lines with feature nets

Cited in

(3)

• scientific article; zbMATH DE number 5540316 (Why is no real title available?)
• Incremental model-based testing of delta-oriented software product lines
• Logical characterisations, rule formats and compositionality for input-output conformance simulation

Describes a project that uses

Uses Software

• mCRL2

This page was built for publication: Input-output conformance testing for software product lines

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