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

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

筛选
英文 中文
O Agente Chinês para Diagnóstico de Redes de Topologia Arbitrária 中国任意拓扑网络诊断代理
Anais do II Workshop de Testes e Tolerância a Falhas (WTF 2000) Pub Date : 2000-07-15 DOI: 10.5753/wtf.2000.23480
E. P. Duarte Jr., J. M. A. P. Cestari
{"title":"O Agente Chinês para Diagnóstico de Redes de Topologia Arbitrária","authors":"E. P. Duarte Jr., J. M. A. P. Cestari","doi":"10.5753/wtf.2000.23480","DOIUrl":"https://doi.org/10.5753/wtf.2000.23480","url":null,"abstract":"Este trabalho apresenta uma nova abordagem para detecção de falhas em redes de topologia arbitrária baseada numa versão distribuída do algoritmo do Carteiro Chinês. Um agente móvel percorre todos os nodos e todos os links permitindo o diagnóstico da falha de um link. Dois tipos de eventos são considerados: um link sem-falha fica falho, ou um link falho fica sem-falha. Assume-se que uma falha não particiona a rede e que o diagnóstico de um evento é completado antes da ocorrência do próximo evento. Resultados experimentais obtidos através da simulação do algoritmo em redes de diferentes topologias são apresentados. Os resultados mostram o tempo necessário para se realizar o diagnóstico de uma rede, o número de mensagens que são disseminadas no final do diagnóstico para informar um evento, e a medida de latência do algoritmo.","PeriodicalId":356716,"journal":{"name":"Anais do II Workshop de Testes e Tolerância a Falhas (WTF 2000)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115193714","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
Comunicação Não Confiável em Detectores de Defeitos com Falhas por Crash 故障检测器的通信不可靠，导致崩溃失败
Anais do II Workshop de Testes e Tolerância a Falhas (WTF 2000) Pub Date : 2000-07-15 DOI: 10.5753/wtf.2000.23476
Luiz Angelo Barchet-Estefanel, Ingrid Jansch-Pôrto
{"title":"Comunicação Não Confiável em Detectores de Defeitos com Falhas por Crash","authors":"Luiz Angelo Barchet-Estefanel, Ingrid Jansch-Pôrto","doi":"10.5753/wtf.2000.23476","DOIUrl":"https://doi.org/10.5753/wtf.2000.23476","url":null,"abstract":"A definição dos detectores de defeitos para ambientes com falhas por crash apresenta restrições severas, mesmo nos mais fracos detectores. Ainda assim, a operação dos detectores em sistemas distribuídos assíncronos é possível, mediante certas adaptações como, por exemplo, a utilização de timeouts. Um fator importante para a construção dos detectores é a necessidade de comunicação confiável: mesmo que esta seja requerida pela definição dos detectores, experiências práticas demonstram que se pode utilizar comunicação não confiável para a sua implementação. Este artigo toma como base os protocolos TCP e UDP, respectivamente confiável e não confiável, que representam as opções nativas da maioria dos sistemas operacionais, para avaliar o impacto de seu uso no funcionamento dos detectores de defeitos.","PeriodicalId":356716,"journal":{"name":"Anais do II Workshop de Testes e Tolerância a Falhas (WTF 2000)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128627174","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
Definição de Operadores de Mutação para o Teste de Programas Prolog 为Prolog程序的测试定义突变操作符
Anais do II Workshop de Testes e Tolerância a Falhas (WTF 2000) Pub Date : 2000-07-15 DOI: 10.5753/wtf.2000.23475
S. Vergilio, Rudá Sumé Tente de Moura
{"title":"Definição de Operadores de Mutação para o Teste de Programas Prolog","authors":"S. Vergilio, Rudá Sumé Tente de Moura","doi":"10.5753/wtf.2000.23475","DOIUrl":"https://doi.org/10.5753/wtf.2000.23475","url":null,"abstract":"Teste é uma das fases da engenharia de software que garante a qualidade e a confiabilidade do software desenvolvido. O critério de teste, baseado em erros, Análise de Mutantes, tem se mostrado como um dos mais efetivos para a detecção de erros em um programa, pois utiliza informação dos erros cometidos pelos próprios programadores para estabelecer o teste. Algumas ferramentas de testes, apoiadas no critério Análise de Mutantes, foram desenvolvidas e são utilizadas para o teste de programas que utilizam o paradigma da programação imperativa (C e Fortran). Entretanto, a idéia de aplicar o teste baseado em erros para programas escritos utilizando outros paradigmas de programação é bastante promissora. Este trabalho define um conjunto de operadores de mutação para a linguagem Prolog. O conjunto proposto permite a aplicação do critério Análise de Mutantes para o teste de programas Prolog e a implementação de uma ferramenta que poderá avaliar a eficácia do critério e o refinamento do conjunto proposto.","PeriodicalId":356716,"journal":{"name":"Anais do II Workshop de Testes e Tolerância a Falhas (WTF 2000)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131918596","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
Estratégia para teste de Máquinas Finitas de Estados Estendidas 有限扩展状态机的测试策略
Anais do II Workshop de Testes e Tolerância a Falhas (WTF 2000) Pub Date : 2000-07-15 DOI: 10.5753/wtf.2000.23473
Flávio Rogério Uber, Eliane Martins
{"title":"Estratégia para teste de Máquinas Finitas de Estados Estendidas","authors":"Flávio Rogério Uber, Eliane Martins","doi":"10.5753/wtf.2000.23473","DOIUrl":"https://doi.org/10.5753/wtf.2000.23473","url":null,"abstract":"Este artigo apresenta um método para melhorar a estratégia de geração de dados por parte da CONDADO [Sab98], uma ferramenta desenvolvida para testes baseados em máquinas finitas de estados estendidas(MFEE). Para isso pretende-se considerar os predicados associados às transições da máquina com o uso dos testes de domínios. Com essa modificação será melhorado o potencial para detecção de falhas, e ainda, será reduzido o número de casos de teste correspondentes a caminhos não executáveis.","PeriodicalId":356716,"journal":{"name":"Anais do II Workshop de Testes e Tolerância a Falhas (WTF 2000)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121495396","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
Um Sistema de Padrões para Injeção de Falhas por Software 一种通过软件注入故障的模式系统
Anais do II Workshop de Testes e Tolerância a Falhas (WTF 2000) Pub Date : 2000-07-15 DOI: 10.5753/wtf.2000.23482
Nelson Guilherme Mendes Leme, Eliane Martins
{"title":"Um Sistema de Padrões para Injeção de Falhas por Software","authors":"Nelson Guilherme Mendes Leme, Eliane Martins","doi":"10.5753/wtf.2000.23482","DOIUrl":"https://doi.org/10.5753/wtf.2000.23482","url":null,"abstract":"Sistemas computacionais tolerantes a falha tem se tomado cada vez mais numerosos e importantes. Consequentemente, testá-los e verificar se eles comportam-se adequadamente na presença de falhas também ficou mais importante. Para isso, uma técnica que tem se mostrado muito útil é a de Injeção de Falhas. Esta técnica gera falhas dentro do sistema sob teste e observa seu comportamento. A maioria das atuais ferramentas que usam essa técnica operam sob condições muito restritas, havendo portanto a necessidade de se desenvolver ferramentas que sejam mais genéricas e customizáveis. Este trabalho propõe criar um Sistema de Padrões para Injeção de Falhas por Software, de tal maneira que seja mais fácil para os desenvolvedores criarem novos programas e ferramentas que façam injeção de falhas usando os padrões descritos nesse sistema. Esses padrões irão descrever, independentemente de linguagem e ambiente, a arquitetura e estruturas necessárias para realizar injeção de falhas.","PeriodicalId":356716,"journal":{"name":"Anais do II Workshop de Testes e Tolerância a Falhas (WTF 2000)","volume":"44 10","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120857305","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
Tratamento de Exceções no Desenvolvimento de Software Confiável baseado em Componentes 基于组件的可靠软件开发中的异常处理
Anais do II Workshop de Testes e Tolerância a Falhas (WTF 2000) Pub Date : 2000-07-15 DOI: 10.5753/wtf.2000.23469
G. Ferreira, C. M. F. Rubira
{"title":"Tratamento de Exceções no Desenvolvimento de Software Confiável baseado em Componentes","authors":"G. Ferreira, C. M. F. Rubira","doi":"10.5753/wtf.2000.23469","DOIUrl":"https://doi.org/10.5753/wtf.2000.23469","url":null,"abstract":"Este trabalho apresenta uma abordagem sistemática para a construção de sistemas confiáveis baseados em componentes de software reutilizáveis e robustos. O tratamento de situações excepcionais do sistema é incorporado de forma disciplinada durante todo o seu ciclo de vida isto é, durante as fases de identificação de requisitos, análise, projeto e implementação do processo de desenvolvimento. Propomos ainda a confecção de uma ferramenta de suporte ao processo de produção de sistemas confiáveis. Esta ferramenta deverá apoiar as diferentes fases do processo, fornecendo informações sobre cada uma delas e auxiliando na identificação das situações excepcionais.","PeriodicalId":356716,"journal":{"name":"Anais do II Workshop de Testes e Tolerância a Falhas (WTF 2000)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124353670","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
Using Common Knowledge to Improve Fixed-Dependency-After-Send 使用常识改进发送后固定依赖
Anais do II Workshop de Testes e Tolerância a Falhas (WTF 2000) Pub Date : 2000-07-15 DOI: 10.5753/wtf.2000.23468
Islene C. Garcia, L. E. Buzato
{"title":"Using Common Knowledge to Improve Fixed-Dependency-After-Send","authors":"Islene C. Garcia, L. E. Buzato","doi":"10.5753/wtf.2000.23468","DOIUrl":"https://doi.org/10.5753/wtf.2000.23468","url":null,"abstract":"Checkpoint patterns that enforce the rollbak-dependency trackability (RDT) property allow effcient solutions to the determination of consistent global checkpoints that include a given set of checkpoints. Fixed-Dependency-After-Send (FDAS) is a well-known RDT protocol that forces the dependency vector of a process to remain unchanged during a checkpoint interval after the first message-send event. In this paper, we explore processes' common knowledge about their behavior to derive a more effcient condition to induce checkpoints under FDAS. We consider that our approach can be used to improve other RDT checkpointing protocols.","PeriodicalId":356716,"journal":{"name":"Anais do II Workshop de Testes e Tolerância a Falhas (WTF 2000)","volume":"66 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125343304","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
A Meta-Level Software Architecture based on Patterns for Developing Dependable Collaboration-based Designs 基于模式的元级软件体系结构，用于开发可靠的基于协作的设计
Anais do II Workshop de Testes e Tolerância a Falhas (WTF 2000) Pub Date : 2000-07-15 DOI: 10.5753/wtf.2000.23471
D. M. Beder, C. M. F. Rubira
{"title":"A Meta-Level Software Architecture based on Patterns for Developing Dependable Collaboration-based Designs","authors":"D. M. Beder, C. M. F. Rubira","doi":"10.5753/wtf.2000.23471","DOIUrl":"https://doi.org/10.5753/wtf.2000.23471","url":null,"abstract":"The focus of this paper is the design and implementation of dependable quality requirements, and their incorporation in the description of software architecture in an explicit and structured manner. More specifically, we propose three architectural styles for developing dependable collaboration-based software designs based on three notions: (i) the idealized fault-tolerant component model, (ii) the collaboration/role interaction model, and (iii) computational reflection together with a set of design patterns that focus on providing design solutions for implementing fault tolerance techniques, namely, error handling, coordinated recovery and software redundancy. Computational reflection defines a meta-level architecture that is composed of a base level where the application’s logic is implemented and a meta level where meta components are responsible for implementing the application’s quality requirements in a way that it is transparent to application designers. Application designers can apply the notion of separation of concerns and concentrate their attention on the functional requirements, abstracting from the quality requirements.","PeriodicalId":356716,"journal":{"name":"Anais do II Workshop de Testes e Tolerância a Falhas (WTF 2000)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124812708","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
Adicionando Replicação utilizando Componentes de Software e um Ambiente Interativo 使用软件组件和交互环境添加复制
Anais do II Workshop de Testes e Tolerância a Falhas (WTF 2000) Pub Date : 2000-07-15 DOI: 10.5753/wtf.2000.23472
João Carlos Filho, S. Bertagnolli, Maria Lúcia Blanck Lisbôa
{"title":"Adicionando Replicação utilizando Componentes de Software e um Ambiente Interativo","authors":"João Carlos Filho, S. Bertagnolli, Maria Lúcia Blanck Lisbôa","doi":"10.5753/wtf.2000.23472","DOIUrl":"https://doi.org/10.5753/wtf.2000.23472","url":null,"abstract":"Nosso objetivo é simplificar o desenvolvimento de aplicações tolerantes a falhas e minimizar o tempo despendido na fase de implementação. Para isto, foi utilizado um ambiente reflexivo de apoio à programação JReflex e um conjunto de componentes que implementam replicação usando RMI - Remote Method Invocation em Java. Descrevemos brevemente esses componentes e como usar JReflex para selecionar as classes a serem por eles replicadas.","PeriodicalId":356716,"journal":{"name":"Anais do II Workshop de Testes e Tolerância a Falhas (WTF 2000)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115018515","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
Reliability Requirements in Mobile Agent Systems 移动代理系统的可靠性要求
Anais do II Workshop de Testes e Tolerância a Falhas (WTF 2000) Pub Date : 2000-07-15 DOI: 10.5753/wtf.2000.23466
Flávio Assis, R. Macêdo, Campus de Ondina
{"title":"Reliability Requirements in Mobile Agent Systems","authors":"Flávio Assis, R. Macêdo, Campus de Ondina","doi":"10.5753/wtf.2000.23466","DOIUrl":"https://doi.org/10.5753/wtf.2000.23466","url":null,"abstract":"A fundamental issue in the development of mobile agent systems is how to provide support for agent applications reliability. For some agent applications areas (such as electronic commerce or workflow) it is fundamental that mobile agent executions are fault tolerant and exhibit transactional semantics or that groups of mobile agents can coordinate their activities with the use of a reliable communication mechanism. This paper discusses reliability requirements in agent systems and introduces mobile process groups as a suitable underlying concept for fulfilling these requirements. Mobile process groups are an extension of the concept of groups in traditional group communication systems that supports mobility of group members.","PeriodicalId":356716,"journal":{"name":"Anais do II Workshop de Testes e Tolerância a Falhas (WTF 2000)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115535866","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}
引用次数: 22
下一页 尾页
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学术官方微信