Name
Abstract | ||
|---|---|---|
In this paper, we suggest a methodology for testing robustness of Real-Time Component-Based Systems (RTCBS). A RTCBS system is described as a collection of components where each component is modeled as a Timed Input-Output Automaton (TIOA). For each component, we handle two specifications: a nominal one and a degraded one. We extract test sequences from the nominal specification and we inject automatically faults in order to model hostile environments. Then we present an adequate test architecture consisting of the System Under Test (SUT) of components, and a distributed tester that consists of a set of coordinating testers. Each tester is dedicated to test a single SUT component. A test execution algorithm is presented. Testing the SUT is divided into two phases. In the first phase, the tester executes the generated test sequences of each component in isolation and records the feedback of this experimentation. The robustness is checked by verifying if the recorded results are accepted by the degraded specification of each component. If all components are robust according to the inserted hazards, we check the robustness of communications between components respecting the same process described before. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.3233/JCM-2010-0274 | J. Comput. Meth. in Science and Engineering |
Keywords | Field | DocType |
robustness testing,rtcbs system,adequate test architecture,timed input-output automaton,test execution algorithm,single sut component,hostile environment,real-time component-based systems,nominal specification,degraded specification,real-time system,test sequence,testing,robustness,real time system | System under test,Robustness testing,Computer science,Automaton,Real-time operating system,Real-time computing,Robustness (computer science),Test execution,Embedded system,Fold (higher-order function) | Journal |
Volume | Issue | ISSN |
10 | 1-2S2 | 1472-7978 |
Citations | PageRank | References |
0 | 0.34 | 8 |
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 |