dc.contributor.author |
Tarhini, Abbas |
|
dc.contributor.author |
Rollet, Antoine |
|
dc.contributor.author |
Fouchal, Hacène |
|
dc.date.accessioned |
2023-06-07T09:44:29Z |
|
dc.date.available |
2023-06-07T09:44:29Z |
|
dc.date.copyright |
2005 |
en_US |
dc.date.issued |
2005-06-13 |
|
dc.identifier.isbn |
9780780387355 |
en_US |
dc.identifier.uri |
http://hdl.handle.net/10725/14755 |
|
dc.description.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. |
en_US |
dc.description.sponsorship |
Arab Computer Society |
en_US |
dc.description.sponsorship |
IEEE Computer Society |
en_US |
dc.language.iso |
en |
en_US |
dc.publisher |
IEEE |
en_US |
dc.subject |
Computer systems -- Congresses |
en_US |
dc.subject |
Application software -- Congresses |
en_US |
dc.subject |
Technology transfer -- Congresses |
en_US |
dc.title |
A pragmatic approach for testing robustness on real-time component based systems |
en_US |
dc.type |
Conference Paper / Proceeding |
en_US |
dc.author.school |
SOB |
en_US |
dc.author.idnumber |
199107350 |
en_US |
dc.author.department |
Information Technology And Operations Management |
en_US |
dc.description.physdesc |
xxiv, 150 pages |
en_US |
dc.publication.place |
Piscataway, N.J. |
en_US |
dc.keywords |
System testing |
en_US |
dc.keywords |
Robustness |
en_US |
dc.keywords |
Real time systems |
en_US |
dc.keywords |
Automatic testing |
en_US |
dc.keywords |
Degradation |
en_US |
dc.keywords |
Automata |
en_US |
dc.keywords |
Hazards |
en_US |
dc.keywords |
Delay |
en_US |
dc.keywords |
Software testing |
en_US |
dc.keywords |
Assembly systems |
en_US |
dc.description.bibliographiccitations |
Includes bibliographical references. |
en_US |
dc.identifier.doi |
https://doi.org/10.1109/AICCSA.2005.1387132 |
en_US |
dc.identifier.ctation |
Tarhini, A., Rollet, A., & Fouchal, H. (2005, January). A pragmatic approach for testing robustness on real-time component based systems. In The 3rd ACS/IEEE International Conference onComputer Systems and Applications, 2005. (p. 143). IEEE. |
en_US |
dc.author.email |
abbas.tarhini@lau.edu.lb |
en_US |
dc.conference.date |
03-06 January, 2005 |
en_US |
dc.conference.pages |
143-149 |
en_US |
dc.conference.place |
Cairo, Egypt |
en_US |
dc.conference.title |
The 3rd ACS/IEEE International Conference on Computer Systems and Applications, 2005 |
en_US |
dc.identifier.tou |
http://libraries.lau.edu.lb/research/laur/terms-of-use/articles.php |
en_US |
dc.identifier.url |
https://ieeexplore.ieee.org/abstract/document/1387132 |
en_US |
dc.orcid.id |
https://orcid.org/0000-0002-9441-1649 |
en_US |
dc.author.affiliation |
Lebanese American University |
en_US |