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á bibliografie

Vydáno v:	The Journal of systems and software Ročník 149; s. 535 - 553
Hlavní autoři:	Luthmann, Lars, Gerecht, Timo, Stephan, Andreas, Bürdek, Johannes, Lochau, Malte
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.03.2019
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!