Paper Info
Title
A pragmatic approach for testing robustness on real-time component based systems
Abstract
Summary form only given. In this paper, we suggest a realistic 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 specified by a nominal and a degraded specification, modeled as a timed input-output automaton (TIOA). Further, the communication of the whole system is also specified by its nominal and degraded specification. 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 with an approach to handle testers coordination and execution delay is presented. Testing the SUT is divided into two phases. In the first phase, the tester tests the robustness of each component in isolation. If all components are robust according to the inserted hazards, in the second phase, we use the nominal and degraded specification of the whole system to check the robustness of communications between components.
Year
DOI
Venue
2005
10.1109/AICCSA.2005.1387132
AICCSA
Keywords
Field
DocType
component based system,tester test,adequate test architecture,validation,nominal specification,degraded specification,rtcbs system,real-time component-based system,robustness.,test execution algorithm,single sut component,timed automata,pragmatic approach,key-words : real-time system,testing,whole system,test sequence,object oriented programming,real time,software fault tolerance,input output,robustness,system testing,real time systems,automata,system under test,hazards,automata theory,degradation,formal specification,software testing
System under test,Automata theory,Object-oriented programming,System testing,Computer science,Automaton,Software fault tolerance,Real-time computing,Robustness (computer science),Formal specification
Conference
ISSN
ISBN
Citations 
2161-5322
0-7803-8735-X
5
PageRank 
References 
Authors
0.45
11
3
Name
Order
Citations
PageRank
A. Tarhini1281.77
A. Rollet250.45
H. Fouchal3352.04