Minimum/maximum delay testing of product lines with unbounded parametric real-time constraints

•Model for product lines with unbounded configurable real-time constraints.•Family-based test-suite generation for covering infinite configuration spaces.•Novel coverage criterion for best-case/worst-case execution times.•Case studies and experimental evaluation results show applicability. Non-funct...

Full description

Bibliographic Details

Published in:	The Journal of systems and software Vol. 149; pp. 535 - 553
Main Authors:	Luthmann, Lars, Gerecht, Timo, Stephan, Andreas, Bürdek, Johannes, Lochau, Malte
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 01.03.2019
Subjects:	Best-case/Worst-case execution time Model-based testing Real-time systems Software product lines Timed automata 68Q45 Model-based testing Timed automata Best-case/Worst-case execution time Real-time systems 68N30 68Q60 Software product lines
ISSN:	0164-1212, 1873-1228
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!