Passive Testing of Stochastic Timed Systems



Downloads per month over past year

García Merayo, Mercedes and Nuñez García, Manuel and Andrés Sánchez, César (2009) Passive Testing of Stochastic Timed Systems. Second International Conference on Software Testing, Verification, and Validation, Proceedings . pp. 71-80. ISSN 978-1-4244-3775-7

[thumbnail of 08.pdf] PDF

Official URL:


In this paper we introduce a formal Methodology to perforin passive testing, based on invariants, for systems where the passing of time is represented in probabilistic terms by means of probability distributions functions. In our approach, invariants express the fact that each time the implementation under test performs a given sequence of actions, then it must exhibit a behavior according to the probability distribution functions reflected it? the invariant. We present algorithms to decide the correctness of the proposed invariants with respect to a given specification. Once we know that an invariant is correct, we check whether the execution traces observed from the implementation respect the invariant. In addition to the theoretical framework we have developed a tool., called PASTE, that helps in the automation of our passive testing approach. We have used the tool to obtain experimental results front the application of our methodology.

Item Type:Article
Additional Information:

2nd International Conference on Software Testing, Verification and Validation Workshops. APR 01-04, 2009. Denver, CO.

Uncontrolled Keywords:Computer Science; Software Engineering; Engineering; Electrical & Electronic ; Finite-State Machines
Subjects:Sciences > Mathematics > Operations research
ID Code:15566
Deposited On:11 Jun 2012 07:37
Last Modified:22 Aug 2018 11:09

Origin of downloads

Repository Staff Only: item control page