|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems
March 2013 (vol. 39 no. 3)
pp. 292-304
| ASCII Text | x | ||
| Laura Carnevali, Lorenzo Ridi, Enrico Vicario, "A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems," IEEE Transactions on Software Engineering, vol. 39, no. 3, pp. 292-304, March, 2013. | |||
| BibTex | x | ||
| @article{ 10.1109/TSE.2012.42, author = {Laura Carnevali and Lorenzo Ridi and Enrico Vicario}, title = {A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems}, journal ={IEEE Transactions on Software Engineering}, volume = {39}, number = {3}, issn = {0098-5589}, year = {2013}, pages = {292-304}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.2012.42}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems IS - 3 SN - 0098-5589 SP292 EP304 EPD - 292-304 A1 - Laura Carnevali, A1 - Lorenzo Ridi, A1 - Enrico Vicario, PY - 2013 KW - Stochastic processes KW - Timing KW - Real time systems KW - Testing KW - Tin KW - Vectors KW - Automata KW - Difference Bound Matrix KW - Real-time testing KW - input generation KW - Time Petri Nets KW - non-Markovian Stochastic Petri Nets KW - stochastic processes VL - 39 JA - IEEE Transactions on Software Engineering ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TSE.2012.42
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 and produce an inconclusive behavior. We formulate the problem on the basis of an abstraction of the IUT which we call partially stochastic Time Petri Net (psTPN), where controllable parameters are modeled as nondeterministic values and noncontrollable parameters as random variables with general (GEN) distribution. With reference to this abstraction, we derive the analytical form of the probability that the IUT runs along a selected behavior as a function of choices taken on controllable parameters. In the applicative perspective of real-time testing, this identifies a theoretical upper limit on the probability of a conclusive result, thus providing a means to plan the number of test repetitions that are necessary to guarantee a given probability of test-case coverage. It also provides a constructive technique for an optimal or suboptimal approach to input generation and a way to characterize the probability of conclusive testing under other suboptimal strategies.
Index Terms:
Stochastic processes,Timing,Real time systems,Testing,Tin,Vectors,Automata,Difference Bound Matrix,Real-time testing,input generation,Time Petri Nets,non-Markovian Stochastic Petri Nets,stochastic processes
Citation:
Laura Carnevali, Lorenzo Ridi, Enrico Vicario, "A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems," IEEE Transactions on Software Engineering, vol. 39, no. 3, pp. 292-304, March 2013, doi:10.1109/TSE.2012.42
Usage of this product signifies your acceptance of the Terms of Use.

