Sciweavers

Share
ICST
2009
IEEE

Optimizing Probabilities of Real-Time Test Case Execution

10 years 6 months ago
Optimizing Probabilities of Real-Time Test Case Execution
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhaustiveness but instead respond to particular coverage criteria. Since it is not feasible to generate complete test suites for real time systems, it is very important that test cases are executed in a way that they can achieve the best possible result. As a consequence, it is imperative to increase the probability of success of a test case execution (by ‘success’ we actually mean ‘the test finds an error’). This work presents a technique to guide the execution of a test case towards a particular objective with the highest possible probability. The technique takes as a starting point a model described in terms of an input/output stochastic automata, where input actions are fully controlled by the tester and the occurrence time of output action responds to uniform distributions. Derived test cases are se...
Nicolás Wolovick, Pedro R. D'Argenio, Hongy
Added 24 May 2010
Updated 24 May 2010
Type Conference
Year 2009
Where ICST
Authors Nicolás Wolovick, Pedro R. D'Argenio, Hongyang Qu
Comments (0)
books