Robustness testing of composed real-time systems
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...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | article |
| Published: |
2010
|
| Online Access: | http://hdl.handle.net/10725/14734 https://doi.org/10.3233/JCM-2010-0274 http://libraries.lau.edu.lb/research/laur/terms-of-use/articles.php https://content.iospress.com/articles/journal-of-computational-methods-in-sciences-and-engineering/jcm00274 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1864513469683859456 |
|---|---|
| author | Fouchal, Hacène |
| author2 | Rollet, Antoine Tarhini, Abbas |
| author2_role | author author |
| author_facet | Fouchal, Hacène Rollet, Antoine Tarhini, Abbas |
| author_role | author |
| dc.creator.none.fl_str_mv | Fouchal, Hacène Rollet, Antoine Tarhini, Abbas |
| dc.date.none.fl_str_mv | 2010 2023-05-29T09:53:21Z 2023-05-29T09:53:21Z 2023-05-29 |
| dc.identifier.none.fl_str_mv | 1472-7978 http://hdl.handle.net/10725/14734 https://doi.org/10.3233/JCM-2010-0274 Fouchal, H., Rollet, A., & Tarhini, A. (2010). Robustness testing of composed real-time systems. Journal of Computational Methods in Sciences and Engineering, 10(s2), S135-S148. http://libraries.lau.edu.lb/research/laur/terms-of-use/articles.php https://content.iospress.com/articles/journal-of-computational-methods-in-sciences-and-engineering/jcm00274 |
| dc.language.none.fl_str_mv | en |
| dc.relation.none.fl_str_mv | Journal of Computational Methods in Sciences and Engineering |
| dc.rights.*.fl_str_mv | info:eu-repo/semantics/openAccess |
| dc.title.none.fl_str_mv | Robustness testing of composed real-time systems |
| dc.type.none.fl_str_mv | Article info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/article |
| description | 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. |
| eu_rights_str_mv | openAccess |
| format | article |
| id | LAURepo_bc5ca27482794a801160a0af9fbd3073 |
| identifier_str_mv | 1472-7978 Fouchal, H., Rollet, A., & Tarhini, A. (2010). Robustness testing of composed real-time systems. Journal of Computational Methods in Sciences and Engineering, 10(s2), S135-S148. |
| language_invalid_str_mv | en |
| network_acronym_str | LAURepo |
| network_name_str | Lebanese American University repository |
| oai_identifier_str | oai:laur.lau.edu.lb:10725/14734 |
| publishDate | 2010 |
| repository.mail.fl_str_mv | |
| repository.name.fl_str_mv | |
| repository_id_str | |
| spelling | Robustness testing of composed real-time systemsFouchal, HacèneRollet, AntoineTarhini, AbbasIn 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.Published2023-05-29T09:53:21Z2023-05-29T09:53:21Z20102023-05-29Articleinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article1472-7978http://hdl.handle.net/10725/14734https://doi.org/10.3233/JCM-2010-0274Fouchal, H., Rollet, A., & Tarhini, A. (2010). Robustness testing of composed real-time systems. Journal of Computational Methods in Sciences and Engineering, 10(s2), S135-S148.http://libraries.lau.edu.lb/research/laur/terms-of-use/articles.phphttps://content.iospress.com/articles/journal-of-computational-methods-in-sciences-and-engineering/jcm00274enJournal of Computational Methods in Sciences and Engineeringinfo:eu-repo/semantics/openAccessoai:laur.lau.edu.lb:10725/147342023-05-29T10:25:20Z |
| spellingShingle | Robustness testing of composed real-time systems Fouchal, Hacène |
| status_str | publishedVersion |
| title | Robustness testing of composed real-time systems |
| title_full | Robustness testing of composed real-time systems |
| title_fullStr | Robustness testing of composed real-time systems |
| title_full_unstemmed | Robustness testing of composed real-time systems |
| title_short | Robustness testing of composed real-time systems |
| title_sort | Robustness testing of composed real-time systems |
| url | http://hdl.handle.net/10725/14734 https://doi.org/10.3233/JCM-2010-0274 http://libraries.lau.edu.lb/research/laur/terms-of-use/articles.php https://content.iospress.com/articles/journal-of-computational-methods-in-sciences-and-engineering/jcm00274 |