Towards Testing Stochastic Timed Systems
In this paper we present a first approach to the definition of conformance testing relations for systems presenting stochastic timed behavior. By stochastic time we mean that the probability of performing an event may vary according to the elapsed time. In particular, we will consider delays specified by means of random variables.
In order to define our formal model, we will provide a stochastic extension of the notion of finite state machine. We will give a first implementation relation and we will discuss its practical drawbacks. That is, we will show that this relation cannot be appropriately checked under a black/grey-box testing methodology. We will also present other alternative implementation relations that can be checked up to a certain degree of confidence. We will define test cases and how they are applied to implementations. Finally, we will give a test generation algorithm providing complete, up to a degree of confidence, test suites.
KeywordsConformance testing test theory performance testing
- 8.Clarke, D., Lee, I.: Automatic generation of tests for timing constraints from requirements. In: 3rd Workshop on Object-Oriented Real-Time Dependable Systems (1997)Google Scholar
- 11.Götz, N., Herzog, U., Rettelbach, M.: Multiprocessor and distributed system design: The integration of functional specification and performance analysis using stochastic process algebras. In: Donatiello, L., Nelson, R. (eds.) SIGMETRICS 1993 and Performance 1993. LNCS, vol. 729, pp. 121–146. Springer, Heidelberg (1993)CrossRefGoogle Scholar
- 22.M. Núñez and I. Rodríguez. Encoding PAMR into (timed) EFSMs. In FORTE 2002, LNCS 2529, pages 1–16. Springer, 2002. Google Scholar