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

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

筛选
英文 中文
Emulando o Comportamento de TCP/IP em um Ambiente com Falhas para Teste de Aplicações de Rede 模拟TCP/IP在失败环境下的行为，用于网络应用测试
Anais do VII Workshop de Testes e Tolerância a Falhas (WTF 2006) Pub Date : 2006-05-29 DOI: 10.5753/wtf.2006.23349
Júlio Gerchman, T. Weber
{"title":"Emulando o Comportamento de TCP/IP em um Ambiente com Falhas para Teste de Aplicações de Rede","authors":"Júlio Gerchman, T. Weber","doi":"10.5753/wtf.2006.23349","DOIUrl":"https://doi.org/10.5753/wtf.2006.23349","url":null,"abstract":"É inevitável a ocorrência de falhas de comunicação durante a execução de aplicações de rede; a aplicação deve apresentar mecanismos para tolerá-las. Injeção de falhas é uma técnica de validação experimental de mecanismos de tolerância a falhas flexível e de baixo custo. Este trabalho apresenta FIERCE, um injetor de falhas de comunicação para teste de aplicações Java que usam o protocolo TCP. A ferramenta injeta falhas de comunicação através da instrumentação das classes de sistema da plataforma Java. FIERCE emula os erros que podem afetar uma conexão TCP, permitindo o teste da aplicação.","PeriodicalId":118380,"journal":{"name":"Anais do VII Workshop de Testes e Tolerância a Falhas (WTF 2006)","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123757815","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}
引用次数: 2
Adaptando Verificadores de Modelos para a Geração Automática de Objetivos de Teste para Sistemas Reativos 调整模型测试器，自动生成无功系统的测试目标
Anais do VII Workshop de Testes e Tolerância a Falhas (WTF 2006) Pub Date : 2006-05-29 DOI: 10.5753/wtf.2006.23348
Daniel Arnóbio Dantas Da Silva, P. D. A. Machado
{"title":"Adaptando Verificadores de Modelos para a Geração Automática de Objetivos de Teste para Sistemas Reativos","authors":"Daniel Arnóbio Dantas Da Silva, P. D. A. Machado","doi":"10.5753/wtf.2006.23348","DOIUrl":"https://doi.org/10.5753/wtf.2006.23348","url":null,"abstract":"Objetivos de teste são artefatos utilizados como guias da geração de casos de teste. Representam propriedades que definem os comportamentos a serem exibidos por uma implementação sob teste (IST). São especificados com base em análises sobre um modelo da IST. Quando realizadas sobre especificações formais, estas análises podem ser automatizadas por técnicas rigorosas, como a verificação de modelos. Este artigo apresenta uma adaptação dos algoritmos de um verificador de modelos para a realização de análises voltadas para a geração de objetivos de teste.","PeriodicalId":118380,"journal":{"name":"Anais do VII Workshop de Testes e Tolerância a Falhas (WTF 2006)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114428661","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}
引用次数: 0
Melhorando a Dependabilidade de Componentes com o uso de Wrappers 通过使用包装提高组件的可靠性
Anais do VII Workshop de Testes e Tolerância a Falhas (WTF 2006) Pub Date : 2006-05-29 DOI: 10.5753/wtf.2006.23359
Naaliel Vicente Mendes, Regina Moraes, Eliane Martins, Henrique Madeira
{"title":"Melhorando a Dependabilidade de Componentes com o uso de Wrappers","authors":"Naaliel Vicente Mendes, Regina Moraes, Eliane Martins, Henrique Madeira","doi":"10.5753/wtf.2006.23359","DOIUrl":"https://doi.org/10.5753/wtf.2006.23359","url":null,"abstract":"Wrappers são utilizados para fazer com que os componentes por eles protegidos se comportem da maneira especificada e robusta. Eles são úteis quando se quer adotar um componente do qual não se tem informação quanto à sua confiabilidade. Como assegurar que o componente protegido pelo wrapper atende os requisitos do sistema? Como assegurar que o wrapper realmente protege o sistema contra os defeitos do componente? Este trabalho apresenta o uso da técnica de injeção de falhas para responder a estas perguntas. Um estudo de caso é apresentado para ilustrar a metodologia proposta como também os resultados dos experimentos que foram obtidos.","PeriodicalId":118380,"journal":{"name":"Anais do VII Workshop de Testes e Tolerância a Falhas (WTF 2006)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123687976","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}
引用次数: 1
FIRMI: Um Injetor de Falhas para a Avaliação de Aplicações Distribuídas baseadas em RMI FIRMI:基于RMI评估分布式应用程序的故障注入器
Anais do VII Workshop de Testes e Tolerância a Falhas (WTF 2006) Pub Date : 2006-05-29 DOI: 10.5753/wtf.2006.23358
Juliano C. Vacaro, T. Weber
{"title":"FIRMI: Um Injetor de Falhas para a Avaliação de Aplicações Distribuídas baseadas em RMI","authors":"Juliano C. Vacaro, T. Weber","doi":"10.5753/wtf.2006.23358","DOIUrl":"https://doi.org/10.5753/wtf.2006.23358","url":null,"abstract":"Aplicações distribuídas baseadas em RMI que precisem atender a requisitos de dependabilidade, devem demonstrar na fase de testes que operam corretamente mesmo na presença de falhas no subsistema de comunicação. Exceções geradas por RMI em resposta a falhas de comunicação devem ser capturadas pela aplicação e devidamente tratadas. Para provocar a ocorrência destas exceções e assim testar as estratégias de tratamento de erros da aplicação, falhas são injetadas durante a fase de testes e o comportamento do sistema sob o efeito destas falhas é observado. Este artigo apresenta um injetor de falhas para a avaliação de aplicações que usam o protocolo RMI. O artigo descreve as técnicas empregadas e demonstra as funcionalidades do injetor através da condução de um experimento.","PeriodicalId":118380,"journal":{"name":"Anais do VII Workshop de Testes e Tolerância a Falhas (WTF 2006)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130110143","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}
引用次数: 2
Implementing a Distributed Execution Service for a Grid Broker 网格代理的分布式执行服务实现
Anais do VII Workshop de Testes e Tolerância a Falhas (WTF 2006) Pub Date : 2006-05-29 DOI: 10.5753/wtf.2006.23355
F. Brasileiro, Andrey Brito
{"title":"Implementing a Distributed Execution Service for a Grid Broker","authors":"F. Brasileiro, Andrey Brito","doi":"10.5753/wtf.2006.23355","DOIUrl":"https://doi.org/10.5753/wtf.2006.23355","url":null,"abstract":"Grid middleware such as OurGrid offer solutions for executing parallel tasks on a grid system. In such systems, users submit their applications for executions through a client broker. MyGrid is the client broker used for the OurGrid system; it is in charge of managing task executions that a user has submitted. Although the broker is able to detect task failures and reschedule them, MyGrid itself constitutes a single point of failure from the user perspective. If it fails, all knowledge of task executions is lost. Moreover, MyGrid is also a bottleneck, since hundreds, or even thousands, of executions could potentially be spawned by an application and need to be managed at the same time by a single broker. In this paper we present the design and implementation of a fault-tolerant distributed execution service that allows for load balancing and improves MyGrid performance. A checkpointing mechanism is used to ease the implementation of the service and to further increase system reliability.","PeriodicalId":118380,"journal":{"name":"Anais do VII Workshop de Testes e Tolerância a Falhas (WTF 2006)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121794398","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}
引用次数: 0
Em Direção a um Serviço de Replicação Transparente para Aplicações Web na Arquitetura J2EE 面向J2EE架构中Web应用程序的透明复制服务
Anais do VII Workshop de Testes e Tolerância a Falhas (WTF 2006) Pub Date : 2006-05-29 DOI: 10.5753/wtf.2006.23345
A. Zampieri, L. A. Cassol
{"title":"Em Direção a um Serviço de Replicação Transparente para Aplicações Web na Arquitetura J2EE","authors":"A. Zampieri, L. A. Cassol","doi":"10.5753/wtf.2006.23345","DOIUrl":"https://doi.org/10.5753/wtf.2006.23345","url":null,"abstract":"Due to the increasing complexity of computational systems, the use of development platforms has become very popular. They provide many services that allow developers to keep their focus of attention in the applications they are implementing. The J2EE platform is the technological solution by Sun Microsystems that provides support services for the development of Web applications. However, the J2EE platform doesn’t offer support to applications that have fault tolerance as a requisite. This work presents the use of Aspect-Oriented Programming to add transparently an objects replication service for applications developed under the J2EE platform.","PeriodicalId":118380,"journal":{"name":"Anais do VII Workshop de Testes e Tolerância a Falhas (WTF 2006)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130917456","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}
引用次数: 0
Applying Mutation Testing in Prolog Programs 突变检测在Prolog程序中的应用
Anais do VII Workshop de Testes e Tolerância a Falhas (WTF 2006) Pub Date : 2006-05-29 DOI: 10.5753/wtf.2006.23347
J. R. Toaldo, S. Vergilio
{"title":"Applying Mutation Testing in Prolog Programs","authors":"J. R. Toaldo, S. Vergilio","doi":"10.5753/wtf.2006.23347","DOIUrl":"https://doi.org/10.5753/wtf.2006.23347","url":null,"abstract":"Several testing criteria and tools have been proposed lately, with the goal of selecting and evaluating test data sets. However, most works focus only procedural and object-oriented programs and little has been said about logic programming languages, such as Prolog. Some works address the test of Prolog programs however, do not introduce a testing criterion and not offer coverage testing metrics. This work investigates the application of the Mutation Analysis criterion for testing Prolog programs. In experiments of literature, this criterion has been considered one of the most efficacious. A set of mutation operators for this language is proposed, based on common mistakes made by the programmers using this paradigm. A tool, named MutProlog, is described. This tool supports the proposed operators and eases the development of Prolog programs. Results from an experiment, using MutProlog, show the applicability of the proposed operators and allow comparison with structural criteria.","PeriodicalId":118380,"journal":{"name":"Anais do VII Workshop de Testes e Tolerância a Falhas (WTF 2006)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134012194","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}
引用次数: 5
Escalonamento Tolerante a Sabotagem em Grades Computacionais Entre-Pares 点对点计算网格中的容忍破坏缩放
Anais do VII Workshop de Testes e Tolerância a Falhas (WTF 2006) Pub Date : 2006-05-29 DOI: 10.5753/wtf.2006.23357
A. C. Oliveira, F. Brasileiro
{"title":"Escalonamento Tolerante a Sabotagem em Grades Computacionais Entre-Pares","authors":"A. C. Oliveira, F. Brasileiro","doi":"10.5753/wtf.2006.23357","DOIUrl":"https://doi.org/10.5753/wtf.2006.23357","url":null,"abstract":"As grades computacionais foram construídas para servirem de infra-estrutura para o aumento da potência computacional. Elas evoluíram no sentido de formarem comunidades de livre ingresso para compartilhamento de potência computacional sobre a Internet e ganharam o título de grades entre-pares (P2P). Note que o fato de qualquer usuário poder ingressar e sair livremente de um sistema, pode torná-lo suscetível a danos causados por usuários trapaceiros. Uma solução para este problema é aplicar técnicas de tolerância a sabotagem, que geralmente são baseadas em replicação para estimar a corretude da computação. Este trabalho aborda escalonamento tolerante a sabotagem em grades P2P e demonstra que é possível obter altos níveis de confiabilidade para os resultados da computação, minimizando custos de replicação por meio do emprego de tolerância a faltas baseada em credibilidade no escalonamento de tarefas.","PeriodicalId":118380,"journal":{"name":"Anais do VII Workshop de Testes e Tolerância a Falhas (WTF 2006)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116459654","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}
引用次数: 0
Avaliando o Impacto de Detectores de Defeitos na Estabilidade de Sistemas de Controle de Tempo-Real sobre Redes Convencionais 评估故障检测器对常规网络实时控制系统稳定性的影响
Anais do VII Workshop de Testes e Tolerância a Falhas (WTF 2006) Pub Date : 2006-05-29 DOI: 10.5753/wtf.2006.23350
A. S. D. Sá, R. Macêdo
{"title":"Avaliando o Impacto de Detectores de Defeitos na Estabilidade de Sistemas de Controle de Tempo-Real sobre Redes Convencionais","authors":"A. S. D. Sá, R. Macêdo","doi":"10.5753/wtf.2006.23350","DOIUrl":"https://doi.org/10.5753/wtf.2006.23350","url":null,"abstract":"O presente artigo avalia o desempenho de um detector de defeitos adaptável, baseado em redes neurais artificiais, quando aplicado a um Sistema de Controle Distribuído de tempo real sobre uma rede Ethernet. Simulações realizadas sobre um sistema simples de controle replicado, evidenciam as vantagens da referida proposta quando contraposta com as principais abordagens adaptativas existentes. Adicionalmente, constatou-se que, sobre certas condições, a sobrecarga causada pelo uso de detectores de defeitos não prejudica o desempenho de algoritmos de controle convencionais, como PID.","PeriodicalId":118380,"journal":{"name":"Anais do VII Workshop de Testes e Tolerância a Falhas (WTF 2006)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130924860","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}
引用次数: 0
Roteamento Dinâmico Tolerante a Falhas Baseado em Avaliação de Fluxo Máximo 基于最大流量评估的容错动态路由
Anais do VII Workshop de Testes e Tolerância a Falhas (WTF 2006) Pub Date : 2006-05-29 DOI: 10.5753/wtf.2006.23361
Jonatan Schroeder, E. P. Duarte Jr.
{"title":"Roteamento Dinâmico Tolerante a Falhas Baseado em Avaliação de Fluxo Máximo","authors":"Jonatan Schroeder, E. P. Duarte Jr.","doi":"10.5753/wtf.2006.23361","DOIUrl":"https://doi.org/10.5753/wtf.2006.23361","url":null,"abstract":"Este trabalho propõe uma estratégia de roteamento tolerante a falhas e dinâmico, que permite aos roteadores intermediários, que podem possuir informações mais recentes de alterações na topologia, interferirem na escolha do caminho utilizado. A estratégia de roteamento proposta baseia-se na escolha de arestas para roteamento utilizando cálculo de fluxo máximo em grafos, aumentando o número de caminhos disjuntos, o que valoriza a redundância de caminhos e, por conseqüência, ampliam a possibilidade de utilização de desvios ou caminhos alternativos. Critérios de distância da rota são utilizados como critérios secundários. Provas formais da correção do algoritmo são apresentadas.","PeriodicalId":118380,"journal":{"name":"Anais do VII Workshop de Testes e Tolerância a Falhas (WTF 2006)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128485266","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}
引用次数: 0
下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信