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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The Journal of systems and software Jg. 149; S. 535 - 553
Hauptverfasser:	Luthmann, Lars, Gerecht, Timo, Stephan, Andreas, Bürdek, Johannes, Lochau, Malte
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier Inc 01.03.2019
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!