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

Celý popis

Podrobná bibliografia

Vydané v:	The Journal of systems and software Ročník 149; s. 535 - 553
Hlavní autori:	Luthmann, Lars, Gerecht, Timo, Stephan, Andreas, Bürdek, Johannes, Lochau, Malte
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Inc 01.03.2019
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!