发布求助
文献互助 智能选刊 最新文献

Anais do VI Workshop de Testes e Tolerância a Falhas (WTF 2005)最新文献

筛选
英文 中文
Um Injetor de Falhas de Comunicação construído usando Programação Orientada Aspectos 使用面向方面编程构建的通信故障注入器
Anais do VI Workshop de Testes e Tolerância a Falhas (WTF 2005) Pub Date : 2005-05-09 DOI: 10.5753/wtf.2005.23367
K. Silveira, T. Weber
{"title":"Um Injetor de Falhas de Comunicação construído usando Programação Orientada Aspectos","authors":"K. Silveira, T. Weber","doi":"10.5753/wtf.2005.23367","DOIUrl":"https://doi.org/10.5753/wtf.2005.23367","url":null,"abstract":"Aplicações de alta dependabilidade devem estar aptas a detectar falhas e corrigir erros para que sejam evitados danos irreparáveis a vida, ao meio ambiente ou aos negócios. Uma técnica usada para garantir operação adequada de mecanismos tolerantes a falhas é a injeção de falhas. FICTA é uma ferramenta de injeção de falhas de comunicação para a validação de aplicações distribuídas baseadas em UDP e desenvolvidas em Java. FICTA utiliza Programação Orientada a Aspectos, a qual permite que comportamentos afetando diversas classes do sistema, os chamados interesses cruzados, sejam reunidos em um único módulo chamado aspecto. A abordagem baseada em AOP permitiu a construção de uma ferramenta altamente modular, reusável e que não causa intrusividade espacial nas aplicações alvo.","PeriodicalId":336299,"journal":{"name":"Anais do VI Workshop de Testes e Tolerância a Falhas (WTF 2005)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127041893","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Xception fault injection and robustness testing framework: a case-study of testing RTEMS 异常故障注入和健壮性测试框架:测试RTEMS的案例研究
Anais do VI Workshop de Testes e Tolerância a Falhas (WTF 2005) Pub Date : 2005-05-09 DOI: 10.5753/wtf.2005.23368
R. Maia, L. Henriques, R. Barbosa, D. Costa, H. Madeira
{"title":"Xception fault injection and robustness testing framework: a case-study of testing RTEMS","authors":"R. Maia, L. Henriques, R. Barbosa, D. Costa, H. Madeira","doi":"10.5753/wtf.2005.23368","DOIUrl":"https://doi.org/10.5753/wtf.2005.23368","url":null,"abstract":"Xception is an automated and comprehensive fault injection and robustness testing environment that enables accurate and flexible V&V (verification & validation) and evaluation of mission and business critical computer systems and computer components, with particular emphasis to software components. In this paper we focus on the new robustness testing features of Xception and illustrate them with a concrete example of robustness testing of the Real Time Executive for Multiprocessor Systems (RTEMS) performed under a European Space Agency (ESA) contract. To the best of our knowledge, this is the first time that robustness testing results for this real time operating system are presented. The testing revealed a significant number of critical flaws in RTEMS 4.5.0 and shows the effectiveness of Xception toolset.","PeriodicalId":336299,"journal":{"name":"Anais do VI Workshop de Testes e Tolerância a Falhas (WTF 2005)","volume":"131 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-05-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115619458","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信
小红书