Calculating probabilities of real-time test cases

Marcin Jurdziński, Doron Peled, Hongyang Qu

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations


When testing a system, it is often necessary to execute a suspicious trace in a realistic environment. Due to nondeterministic choices existing in concurrent systems, such a particular trace may not be scheduled for execution. Thus it is useful to compute the probability of executing the trace. Our probabilistic model of real-time systems requires that for each transition, the period from the time when its enabling condition becomes satisfied to the time when it is fired is bounded and the length of the period obeys a probabilistic distribution. This model is not Markovian if the distribution is not exponential. Therefore it cannot be analyzed by Markov processes:. We propose to use integration to calculate the probability for a path. Then we discuss the possibility to optimize the calculation.

Original languageEnglish
Title of host publicationFormal Approaches to Software Testing - 5th International Workshop, FATES 2005, Revised Selected Papers
PublisherSpringer Verlag
Number of pages18
ISBN (Print)3540344543, 9783540344544
StatePublished - 2006
Externally publishedYes
Event5th International Workshop on Formal Approaches to Software Testing, FATES 2005 - Edinburgh, United Kingdom
Duration: 11 Jul 200511 Jul 2005

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3997 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference5th International Workshop on Formal Approaches to Software Testing, FATES 2005
Country/TerritoryUnited Kingdom


Dive into the research topics of 'Calculating probabilities of real-time test cases'. Together they form a unique fingerprint.

Cite this