Abstract | ||
---|---|---|
In this study we present a technique for testing robustness of Real-time systems described as Component-Based System having timing constraints. Each component is modeled as a Timed Input-Output Automaton (TIOA). For robustness issue, we handle two specifications : a nominal one (the more detailed specification) and a degraded one (considering only vitale functionnalities). We derive test sequences from the nominal specification of each component. We proceed to a mutation technique on these sequences in order to simulate hostile environments. Then we present a detailled algorithm for the application of test sequences on the Implementation of the system. This is done by means of an adequate test architecture consisting of the Implementation Under Test (IUT) of components, and a distributed tester that consists of a set of coordinating testers. Each tester is dedicated to test a single component. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/978-3-540-30577-4_19 | SOFSEM |
Keywords | Field | DocType |
single component,detailed specification,derive test sequence,adequate test architecture,real-time system,nominal specification,robustness issue,mutation technique,component-based system,test sequence,input output,real time systems | Discrete mathematics,Computer science,Implementation under test,Automaton,Robustness (computer science),Real-time operating system,Computer engineering,Distributed computing | Conference |
Volume | ISSN | ISBN |
3381 | 0302-9743 | 3-540-24302-X |
Citations | PageRank | References |
3 | 0.40 | 14 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Hacène Fouchal | 1 | 159 | 38.35 |
Antoine Rollet | 2 | 62 | 9.53 |
Abbas Tarhini | 3 | 19 | 4.12 |