As Histórias de Heródoto trazem numerosos oráculos, principalmente no livro I. O estudo mais detalhado de alguns logoi demonstra que as muitas referências a Delfos e aos oráculos indicam que não se trata somente de previsões do futuro ou de demonstrar que os deuses ainda agem no mundo dos homens, mas de orientar as ações humanas. Isso está de acordo com o sentido original de , que está na raiz da palavra que costumamos traduzir por oráculo. / HerodotusHistory has numerous oracles, mostly in Book I. A detailed study from some logoi shows that many references to Delphi and the oracles indicate that they not only deal with prophecies or divine influences in the human world but with some kind of orientation for human actions. This is in accordance with the original meaning of , that is in the root of the word that we are used to translate as oracle.

As Histórias de Heródoto trazem numerosos oráculos, principalmente no livro I. O estudo mais detalhado de alguns logoi demonstra que as muitas referências a Delfos e aos oráculos indicam que não se trata somente de previsões do futuro ou de demonstrar que os deuses ainda agem no mundo dos homens, mas de orientar as ações humanas. Isso está de acordo com o sentido original de , que está na raiz da palavra que costumamos traduzir por oráculo. / HerodotusHistory has numerous oracles, mostly in Book I. A detailed study from some logoi shows that many references to Delphi and the oracles indicate that they not only deal with prophecies or divine influences in the human world but with some kind of orientation for human actions. This is in accordance with the original meaning of , that is in the root of the word that we are used to translate as oracle.

Estratégias para automatização de atividades de teste de software são bem aceitas tanto pela indústria quanto pela academia. Um elemento essencial para automatizações de teste são oráculos de teste. Oráculos, que podem ser mecanismos, funções, execuções paralelas, etc, são fundamentais por determinarem se as saídas de uma aplicação em teste estão corretas. A automatização de mecanismos de oráculos é um ponto crítico quando as saídas dos sistemas se manifestam por meio de formatos não triviais como, por exemplo, uma Interface Gráfica com o Usuário (GUI - do ingês Graphical User Interface). Para esses casos, estratégias tradicionais de teste costumam ser custosas e exigir esforços consideráveis dos testadores. Este trabalho de mestrado propõe um método alternativo para a automatização de oráculos de teste para sistemas com GUIs. Para tanto, exploram-se conceitos de Recuperação de Imagens Baseada em Conteúdo para a composição de um método de automatização chamado de oráculos gráficos (Gr-O - do inglês Graphical Oracle). Como contribuição, desenvolveram-se extratores de características visuais de GUIs. A condução e análise de estudos empíricos revelaram que o uso do Gr-O pode reduzir os custos para definições de oráculos de teste para sistemas com GUIs. Deste modo, o método proposto pode ser alternativo ou complementar às técnicas de teste tradicionais identificadas na literatura / Strategies for automated software testing activities are well accepted by both industry and the academy. Essential elements for automation of testing are test oracles. Oracles, which may be mechanisms, functions, parallel executions, etc., are crucial in determining whether the output of an application under test is correct. The automation of oracles is critical when the output system manifested by non-trivial formats, for example, a Graphical User Interface (GUI). For these cases, traditional testing strategies tend to be costly and require considerable efforts of the testers. This master thesis proposes an alternative method for the automation of test oracles for systems with GUIs. To this end, we explore the concepts of Content-Based Image Retrieval for the composition of an automated method called Graphical Oracles (Gr-O). As a contribution, we developed characteristics extractors of GUIs. The conduct and analysis of empirical studies have shown that using of Gr-O can reduce costs for definitions of test oracles for systems with GUIs. Thus, the proposed method may be alternative or complementary to traditional testing techniques found in the literature

Estratégias para automatização de atividades de teste de software são bem aceitas tanto pela indústria quanto pela academia. Um elemento essencial para automatizações de teste são oráculos de teste. Oráculos, que podem ser mecanismos, funções, execuções paralelas, etc, são fundamentais por determinarem se as saídas de uma aplicação em teste estão corretas. A automatização de mecanismos de oráculos é um ponto crítico quando as saídas dos sistemas se manifestam por meio de formatos não triviais como, por exemplo, uma Interface Gráfica com o Usuário (GUI - do ingês Graphical User Interface). Para esses casos, estratégias tradicionais de teste costumam ser custosas e exigir esforços consideráveis dos testadores. Este trabalho de mestrado propõe um método alternativo para a automatização de oráculos de teste para sistemas com GUIs. Para tanto, exploram-se conceitos de Recuperação de Imagens Baseada em Conteúdo para a composição de um método de automatização chamado de oráculos gráficos (Gr-O - do inglês Graphical Oracle). Como contribuição, desenvolveram-se extratores de características visuais de GUIs. A condução e análise de estudos empíricos revelaram que o uso do Gr-O pode reduzir os custos para definições de oráculos de teste para sistemas com GUIs. Deste modo, o método proposto pode ser alternativo ou complementar às técnicas de teste tradicionais identificadas na literatura / Strategies for automated software testing activities are well accepted by both industry and the academy. Essential elements for automation of testing are test oracles. Oracles, which may be mechanisms, functions, parallel executions, etc., are crucial in determining whether the output of an application under test is correct. The automation of oracles is critical when the output system manifested by non-trivial formats, for example, a Graphical User Interface (GUI). For these cases, traditional testing strategies tend to be costly and require considerable efforts of the testers. This master thesis proposes an alternative method for the automation of test oracles for systems with GUIs. To this end, we explore the concepts of Content-Based Image Retrieval for the composition of an automated method called Graphical Oracles (Gr-O). As a contribution, we developed characteristics extractors of GUIs. The conduct and analysis of empirical studies have shown that using of Gr-O can reduce costs for definitions of test oracles for systems with GUIs. Thus, the proposed method may be alternative or complementary to traditional testing techniques found in the literature

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-13T16:01:47Z No. of bitstreams: 1 LÍVIA MARIA RODRIGUES SAMPAIO - TESE PPGEE 2007..pdf: 1072009 bytes, checksum: e7063f85c3338c2ae04e2213ea3d7ab9 (MD5) / Made available in DSpace on 2018-08-13T16:01:47Z (GMT). No. of bitstreams: 1 LÍVIA MARIA RODRIGUES SAMPAIO - TESE PPGEE 2007..pdf: 1072009 bytes, checksum: e7063f85c3338c2ae04e2213ea3d7ab9 (MD5) Previous issue date: 2007-04-17 / Protocolos distribuídos simétricos pelo texto podem ser configurados quanto aos papéis assumidos pelos seus participantes durante a execução dos mesmos. Além disso, a configuração do protocolo influencia no seu desempenho quando este executa em ambientes sujeitos à carga heterogênea e dinâmica, nesse caso. podem existir configurações eficientes ou ineficientes. Observa-se que não é possível garantir uma configuração eficiente a priori em ambientes dessa natureza. Dessa forma, protocolos simétricos pelo texto podem ter seu desempenho degradado em ambientes sujeitos à carga heterogênea e dinâmica. Nesta tese investigou-se o uso de adaptação baseada em oráculos de latência, para fins de desempenho, em protocolos distribuídos simétricos pelo texto que executam em ambientes sujeitos à carga heterogênea e dinâmica. Tal investigação foi realizada através de estudas analítico e experimental sobre o desempenho de protocolos de consenso equipadoscom soluções adaptativas para o problema da ordenação de processos. O estudo analítico consistiu na elaboração de um modelo de desempenho para um protocolo de consenso adaptativo, dado em termos da definição formal de oráculos de latência proposta neste trabalho. A partir deste modelo de desempenho foi possível demonstrar a eficiência de uma solução adaptativa baseada em oráculos de latência e, por conseguinte, os ganhos de desempenho para o protocolo que a utiliza. Com esta mesma finalidade, porém usando um método diferente, o estudo experimental consistiu na realização de simulações e medições em um ambiente real. Para tal, foi projetado e implementado um subsistema de consenso adaptativo, inserido em uma aplicação para tolerância a intrusões na Internet. Realizou-se uma avaliação de desempenho comparativa, onde os resultados indicaram a superioridade do subsistema adaptativo sobre seu correspondente não-adaptativo. Ocorreram ganhos de desempenho nas simulações e nas medições, alcançando índices de até 76,1% e 45,4%, respectivamente. Tanto no estudo analítico quanto no experimental utilizou-se adaptação para resolver o problema da ordenação de processos, que caracteriza muitos protocolos simétricos pelo texto. Portanto, esta tese apresenta contribuições teóricas e práticas no contexto de protocolos simétricos pelo texto adaptativos para ambientes sujeitos à carga heterogénea e dinâmica. É importante enfatizar que o uso de oráculos de latência promove a separação de conceitos e a modularização na construção de soluções adaptativas baseadas nos mesmos, como também, favorece o estudo analítico sobre o desempenho de tais soluções. / Distributed protocoLs with textual simmetry can be configured by the roles played by diíferent participauts during the executiou of the protocols. Moreover, such a configuration raay impact the performance of the protocol in a positive or negative way, depending on the configuration chosen. Ou the other hand, it is not, possible to ensure an efficient configuration a priori when considering an execution environment with heterogeneous and dynamic workload. Consequently, distributed protocols with textual simmetry may suffer performance degradation on these. environments. In this thesis we investigated the use of adaptation by means of latency oracles to improve the performance of distributed protocols with textual simmetry that execute in environments subject to heterogeneous and dynamic workload. Such an investigation was conducted through both analytical and experimental studies on the performance of consensus protocols equiped with an adaptive solution to the process ordering problem. During the analytical study it was constructed a performance model for the consensus protocol using the formal definition of latency oracles. introduced in this work. From this performance model it was possible to demonstrate the efficiency of the adaptive solution and, consequently, the performance gaias to the protocol that used it. Following the same objective, but considering a different method, the experimental study consisted of simulations and measurements in a real environment. In this case, we designed and implemented an adaptive consensus system encapsulated in an application for intrusion tolerance in the Internet. The performance of the adaptive consensus system was analyzed by means of comparison using its non-adaptive counterpart. The adaptive system outperformed the non-adaptive one in both simulations and measurements with performance gains of as much as 76,1% and 45.4%, respectively. Note that. in the analytical and experimental studies, adaptation was used to solve the process ordering problem that characterizes a number of distributed protocols with textual simmetry. Therefore, this thesis gives theoretical and practical contributions in the context of adaptive distributed protocols with textual simmetry that execute on environments subject to heterogeneous and dynamic workload. It is important to emphasize that the strategy of using latency oracles to construct adaptive solutions respects one of the most important principies of software engineermg, whieh is the separation of concerns. Futhermore, it favors the analytical study on the performance of such adaptive solutions.

No desenvolvimento de software, a qualidade do produto está diretamente relacionada à qualidade do processo de desenvolvimento. Diante disso, atividades de Verificação, Validação & Teste (VV&T) realizadas por meio de métodos, técnicas e ferramentas são de extrema necessidade para o aumento da produtividade, qualidade e diminuição de custos no desenvolvimento de software. Do mesmo modo, técnicas e critérios contribuem para a produtividade das atividades de teste. Um ponto crucial para o teste de software é sua automatização, tornando as atividades mais confiáveis e diminuindo significativamente os custos de desenvolvimento. Na automatização dos testes, os oráculos são essenciais, representando um mecanismo (programa, processo ou dados) que indica se a saída obtida para um caso de teste está correta. Este trabalho de mestrado utiliza a ideia de mutação para criar implementações alternativas de oráculos de teste e, assim, avaliar a sua qualidade. O teste de mutação se refere à criação de versões do sistema em desenvolvimento com pequenas alterações sintáticas de código. A mutação possui alta eficácia na detecção de defeitos e é bastante flexível na sua aplicação, podendo ser utilizada em diversos tipos de artefatos. Adicionalmente, este trabalho propõe operadores de mutação específicos para oráculos, implementa uma ferramenta de apoio à utilização desses operadores para oráculos e também descreve um estudo empírico dos operadores, destacando benefícios e desafios associados ao seu uso. / In software development, product quality is directly related to the quality of the development process. Therefore, activities of Verification, Validation & Testing (VV&T) performed by methods, techniques and tools are urgently required to increase productivity, quality and cost reduction in software development. Similarly, testing technique and criteria contribute to the productivity of test activities. A crucial point for the software testing automation is making the most reliable activities and significantly reducing development costs. Regarding software testing automation, test oracles are essential, representing an mechanism (program, process or data) to indicate whether the actual output for a given test case is correct. This masters thesis aims to explore concepts of mutation testing to create alternative implementations of the oracle procedure and thus assess their quality. Mutation testing refers to the creation of system development versions with minor syntactic code changes. It has high efficiency on defects detecting and it is very flexible in its application and it is being used in various types of artifacts. This work also proposes specific mutation operators for oracles, implements an useful support tool for using these oracle mutation operators and conducts an empirical study of operators, highlighting benefits and challenges associated with their use.

O propósito desta dissertação é apresentar algumas idéias sobre o emprego das palavras relacionadas à visão no texto do Livro I das Histórias de Heródoto. O principal destaque é dado à relação entre ver e saber e as investigações de Heródoto. O segundo propósito, decorrente do primeiro, é verificar a importância dos oráculos no Livro I e buscar a relação (se existe) entre oráculos, sonhos, visões e a busca do conhecimento. / The purpose of this dissertation is to show some ideas about the use of words related to sight in the text of HerodotusHistories, Book I . The main focus is given to the existing relationship between seeing and knowing and Herodotus researches. The second purpose, built from the first one, is to evaluate the importance of oracles described in Book I and to seek the relationship of (if it exists) oracles, dreams, visions and the search for knowledge.

Software testing is one of the most important Software Engineering processes, being the primary activity to check the conformance between the software requirements and its actual behavior. The automation of software testing activities is essential to certify productivity and effectiveness in such activities. Test automation leads testing activities to be conducted under systematic and accurate criteria, raising the chance of testers to reveal faults or inconsistencies. Test oracles are elementary members in software testing automation, being the mechanism responsible for indicating the correctness of software outputs. In testing environments, test oracles can be effectively implemented based on several sources of information about the Software Under Testing (SUT): software specifications, assertions, formal methods (Finite State Machines (FSM), formal specifications, etc, machine-learning methods, and metamorphic relations. Regardless of the implementation strategy, test oracles are vulnerable to false positive/negative verdicts, configuring what the literature describes as the oracle problem. Therefore, test oracles are a non-trivial and challenging object of studies of the software engineering research area. SUTs outputs in unusual formats make it harder the oracle problem. Audio, images, three-dimensional objects, virtual reality environments, complex statistical compositions, etc, are examples of non-trivial output formats. In the software testing context, SUTs with unusual outputs can be called complex-output systems. In this doctorate dissertation, we propose and evaluate a novel test oracle approach for complex-output systems called feature-based test oracles. The purpose of feature-based test oracles is the appropriation of a processing image technique called Content-Based Image Retrieval (CBIR) to collect information from features extracted from the SUTs outputs to compose test oracles. Given a query image, CBIR combines feature extraction and similarity functions to alleviate the problem of searching for digital images in large databases. In previous research, we have integrated CBIR concepts in a testing framework to support the automation of testing activities in processing image systems and systems with Graphical User Interfaces (GUI). In this doctorate dissertation, we extended that framework and its concepts to general complex-output systems, addressing the feature-based test oracle approach. We use Text-To-Speech (TTS) systems to validate empirically our test oracle technique. Through the results of five empirical analyses, three of them conducted in line with problems of a real-world industry TTS system, show the proposed technique is a valuable instrument to automate testing activities and alleviate practitioners efforts on testing complex output systems. We conclude the proposed test oracles are effective because they systematically evaluate the SUTs sensorial output rather than produce verdicts based on subjective specifications. As future work, we plan to conduct investigations towards the reduction of false positives/negatives and the association of the test oracles with machine learning techniques and metamorphic relations. / Teste de Software é um dos processos mais importantes da Engenharia de Software, sendo a principal atividade para averiguar a conformidade de requisitos de software e suas saídas. A automatização das atividades de teste é essencial para conferir produtividade e efetividade em tais atividades. A automatização faz com que atividades de teste sejam conduzidas sob critérios sistemáticos e precisos, aumentando a chance dos testadores de revelarem falhas ou inconcistências. Oráculos de teste são membros elementares na automatização do teste de software, sendo o mecanismo responsável por indicar a corretude das saídas do softwre. Em ambientes de teste, oráculos de teste podem ser efetivamente implementados com base em diversos fontes de informação sobre o sistema em teste: especificações de software, assertivas, métodos formais (máquinas de estados finitas, especificações formais, etc), métodos de aprendizagem de máquina e relações metamórficas. Independente da estratégia de implementação, oráculos de teste são vulneráveis a veridictos de falsos positivos/negativos, configurando o que é apresentado na literatura como O problema do Oráculo. Então, na área de engenharia de software, oráculos de teste são objetos de estudo não-triviais e desafiadores. O problema de oráculo é potencializado quando as saídas do sistema em teste são dadas em formatos não triviais como, por exemplo, audio, imagens, objetos tridimensionais, ambientes de realidade virtual, composições estatísticas complexas, etc. No contexto do teste de software, sistemas com saídas não triviais podem ser chamados de sistemas com saídas complexas. Esta tese de doutorado propões e avalia uma nova estratégia de oráculo de teste para sistemas com saídas complexas. O propósito de tal estratégia é a apropriação da técnica de processamento de imagem conhecida como CBIR (Recuperação de Imagem Basead em Conteúdo CBIR) para coletar informações de características extratídas do sistema em teste, compondo oráculos de teste. A partir de uma imagem de busca, o CBIR combina extração de características e funções de similaridade para aliviar problemas de busca em grandes based de imagens digitais. Em pesquisas anteriores, conceitos de CBIR foram integrados em um arcabouço de teste para apoiar a automatização de atividades de teste em systemas de processamento de imagens e sistemas com interfaces gráficas. Esta tese de doutorado estende o arcabouço e seus conceitos para sistemas com saídas complexas em geral. Sistemas Texto-Fala (TTS) foram utlizados para validações empíricas. Os resultados de seis análises empíricas, duas delas condizidas em consonância com problemas de um TTS industrial, revelam que a técnica proposta é um valioso instrumento para automatizar atividaes de teste e aliviar esforços de profissionais da indústria ao teste sistemas com saídas complexas. Conclui-se que a efetividade dos oráculos de teste propostos são devido às sistemáticas análises do conteúdo das saídas dos sistemas em teste, em vez da análises de especificações subjetivas. Os trabalhos futuros vislumbrados devem ser conduzidos no intuito de reduzir número de falsos positivos/negativos e a associação dos oráculos de teste com técnicas de aprendizado de máquina e relações metamórficas.

No desenvolvimento de software, a qualidade do produto está diretamente relacionada à qualidade do processo de desenvolvimento. Diante disso, atividades de Verificação, Validação & Teste (VV&T) realizadas por meio de métodos, técnicas e ferramentas são de extrema necessidade para o aumento da produtividade, qualidade e diminuição de custos no desenvolvimento de software. Do mesmo modo, técnicas e critérios contribuem para a produtividade das atividades de teste. Um ponto crucial para o teste de software é sua automatização, tornando as atividades mais confiáveis e diminuindo significativamente os custos de desenvolvimento. Na automatização dos testes, os oráculos são essenciais, representando um mecanismo (programa, processo ou dados) que indica se a saída obtida para um caso de teste está correta. Este trabalho de mestrado utiliza a ideia de mutação para criar implementações alternativas de oráculos de teste e, assim, avaliar a sua qualidade. O teste de mutação se refere à criação de versões do sistema em desenvolvimento com pequenas alterações sintáticas de código. A mutação possui alta eficácia na detecção de defeitos e é bastante flexível na sua aplicação, podendo ser utilizada em diversos tipos de artefatos. Adicionalmente, este trabalho propõe operadores de mutação específicos para oráculos, implementa uma ferramenta de apoio à utilização desses operadores para oráculos e também descreve um estudo empírico dos operadores, destacando benefícios e desafios associados ao seu uso. / In software development, product quality is directly related to the quality of the development process. Therefore, activities of Verification, Validation & Testing (VV&T) performed by methods, techniques and tools are urgently required to increase productivity, quality and cost reduction in software development. Similarly, testing technique and criteria contribute to the productivity of test activities. A crucial point for the software testing automation is making the most reliable activities and significantly reducing development costs. Regarding software testing automation, test oracles are essential, representing an mechanism (program, process or data) to indicate whether the actual output for a given test case is correct. This masters thesis aims to explore concepts of mutation testing to create alternative implementations of the oracle procedure and thus assess their quality. Mutation testing refers to the creation of system development versions with minor syntactic code changes. It has high efficiency on defects detecting and it is very flexible in its application and it is being used in various types of artifacts. This work also proposes specific mutation operators for oracles, implements an useful support tool for using these oracle mutation operators and conducts an empirical study of operators, highlighting benefits and challenges associated with their use.

O propósito desta dissertação é apresentar algumas idéias sobre o emprego das palavras relacionadas à visão no texto do Livro I das Histórias de Heródoto. O principal destaque é dado à relação entre ver e saber e as investigações de Heródoto. O segundo propósito, decorrente do primeiro, é verificar a importância dos oráculos no Livro I e buscar a relação (se existe) entre oráculos, sonhos, visões e a busca do conhecimento. / The purpose of this dissertation is to show some ideas about the use of words related to sight in the text of HerodotusHistories, Book I . The main focus is given to the existing relationship between seeing and knowing and Herodotus researches. The second purpose, built from the first one, is to evaluate the importance of oracles described in Book I and to seek the relationship of (if it exists) oracles, dreams, visions and the search for knowledge.