Input-output conformance testing for software product lines

DOI10.1016/J.JLAMP.2016.09.007zbMATH Open1392.68144DBLPjournals/jlp/BeoharM16OpenAlexW2524267826WikidataQ57745478 ScholiaQ57745478MaRDI QIDQ338614FDOQ338614

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)

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

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

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)

Cites Work

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

Cited In (3)

• Title not available (Why is that?)
• Incremental model-based testing of delta-oriented software product lines
• Logical characterisations, rule formats and compositionality for input-output conformance simulation

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)