M. A. Baggio, Raul Ceretta Nunes, Marcia Pasin, A. R. D. Vit
{"title":"Potência do Sinal de Recepção como Suporte à Detecção de Mobilidade em Detectores de Defeitos","authors":"M. A. Baggio, Raul Ceretta Nunes, Marcia Pasin, A. R. D. Vit","doi":"10.5753/wtf.2014.22949","DOIUrl":"https://doi.org/10.5753/wtf.2014.22949","url":null,"abstract":"Detector de defeitos é um componente essencial na construção de sistemas distribuídos confiáveis e seu projeto depende fortemente do modelo de sistema distribuído, o que tem demandado soluções para tratar a movimentação de nós em redes móveis ad hoc (MANETs). Este trabalho apresenta um detector de defeitos assíncrono não-confiável baseado em fofoca que diferencia nós defeituosos e móveis através da manutenção de informações sobre a potência do sinal de recepção nos nós do sistema mapeadas em um pequeno histórico de regiões. As avaliações demonstram melhoras na qualidade de serviço do detector quando comparadas com o algoritmo de fofoca tradicional.","PeriodicalId":321409,"journal":{"name":"Anais do XV Workshop de Testes e Tolerância a Falhas (WTF 2014)","volume":"117 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131777476","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}
{"title":"Distributed Snapshot algorithm for multi-active object-based applications","authors":"Michel Jackson de Souza, F. Baude","doi":"10.5753/wtf.2014.22947","DOIUrl":"https://doi.org/10.5753/wtf.2014.22947","url":null,"abstract":"This paper exposes an adaptation of the classic algorithm for consistent snapshot in distributed systems with asynchronous processes due to Chandy&Lamport. A snapshot in this context is described as the consistent set of states of all involved communicating processes that allows recovering the whole system after a crash. The reconstructed system state is consistent, even if messages injected into the system from the outside while the snapshot was ongoing may have been lost (if such messages can not be replayed). We expose how to adapt this algorithm to a particular distributed programming model, the Active Object model (in its multi active version). We applied it successfully to a non trivial distributed application programmed using Active Objects serving as a publish/subscribe and storage of events middleware, dubbed the EventCloud.","PeriodicalId":321409,"journal":{"name":"Anais do XV Workshop de Testes e Tolerância a Falhas (WTF 2014)","volume":"219 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134401296","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}
Priscila Guarienti, Maicon Bernardino, A. Zorzo, F. Oliveira
{"title":"Uma Abordagem de Análise do Tempo de Resposta para Teste de Desempenho em Aplicações Web","authors":"Priscila Guarienti, Maicon Bernardino, A. Zorzo, F. Oliveira","doi":"10.5753/wtf.2014.22944","DOIUrl":"https://doi.org/10.5753/wtf.2014.22944","url":null,"abstract":"A atividade de teste é geralmente bastante onerosa, isso ocorre porque boa parte dessas atividades são executadas manualmente. Para melhorar isto, Model-Based Testing (MBT) tem sido utilizado para gerar artefatos de teste automaticamente. A principal contribuição deste trabalho é investigar como MBT pode ser aplicado em teste de desempenho, i.e. como incluir restrições de tempo em diagramas UML e com base nelas executar os testes e verificar se elas são satisfeitas ou não. Outra contribuição é a definição dos acordos de níveis de serviço, i.e. definir parâmetros para verificar se um sistema processa os tempos de respostas com base em valores pré-determinados. A abordagem proposta é aplicada a um estudo de caso real.","PeriodicalId":321409,"journal":{"name":"Anais do XV Workshop de Testes e Tolerância a Falhas (WTF 2014)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131265684","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}