A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems

In the process of testing of concurrent timed systems, input generation identifies values of temporal parameters that let the Implementation Under Test (IUT) execute selected cases. However, when some parameters are not under control of the driver, test execution may diverge from the selected input...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on software engineering 2013-03, Vol.39 (3), p.292-304
Hauptverfasser:	Carnevali, L., Ridi, L., Vicario, E.
Format:	Artikel
Sprache:	eng
Schlagworte:	Automata Difference Bound Matrix input generation Mathematical analysis Mathematical models Mathematical problems non-Markovian Stochastic Petri Nets Optimization Probability distribution Random variables Real time Real time systems Real-time testing Stability Stochastic models Stochastic processes Stochastic systems Strategy Studies Temporal logic Testing Time Petri Nets Timing Tin Vectors
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!