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.
{"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}
Luiz Angelo Barchet-Estefanel, Ingrid Jansch-Pôrto
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.
{"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}
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.
{"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}
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.
{"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}
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.
{"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}
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.
{"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}
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.
{"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}
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.
{"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}
João Carlos Filho, S. Bertagnolli, Maria Lúcia Blanck Lisbôa
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.
{"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}
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.
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：