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 objetivo do presente estudo foi estabelecer os critérios de autenticidade científica de validade, reprodutibilidade e a sensibilidade do FSKT10s e do FSKTmult para o taekwondo. O objetivo secundário foi construir uma tabela normativa para classificação do desempenho físico gerado no FSKT. O estudo foi conduzido em seis etapas, contendo amostras de praticantes ou atletas de diferentes níveis competitivos. Visando investigar a validade lógica do FSKT, foi apresentado um questionário para 94 sujeitos que tivessem alguma experiência com a modalidade. O objetivo do questionário foi conhecer a opinião a respeito do entendimento sobre as instruções, viabilidade de aplicação e predominância energética. Os participantes julgaram que o teste é \'fácil\' ou \'muito fácil de entender\', \'viável\' ou \'muito viável\' de aplicar e que ambos os testes medem predominantemente a condição anaeróbia. Quanto maior o grau de instrução, maior a frequência de resposta de que o FSKT10s é predominantemente anaeróbio, enquanto para o FSKTmult a maior frequência de resposta no grupo não graduado mede predominantemente a condição aeróbia e o grupo pós-graduado julgou que o teste mede predominantemente a condição anaeróbia. Na etapa seguinte 13 atletas de taekwondo do sexo masculino participaram em duas sessões experimentais para determinar a validade de critério entre a luta e o FSKT. Não foram encontradas associações entre as variáveis da luta e o FSKT. Não foram identificadas diferenças significantes para o lactato pico após FSKTmult e após luta, mas houve diferença estatística entre a luta e o FSKT10s. O objetivo seguinte foi determinar a validade de constructo. Foram avaliados 153 homens agrupados em não competidores (n= 53), competidores de nível regional/estadual (n= 55) e de nível internacional/nacional (n= 45) e 42 mulheres agrupadas em competidoras de nível regional/estadual (n= 21) e de nível internacional/nacional (n= 21). Houve superioridade dos competidores de nível nacional/internacional em comparação aos não competidores. As competidoras de nível regional/estadual diferiram do grupo de nível nacional/internacional. A etapa seguinte foi conduzida com 14 atletas para determinar a reprodutibilidade relativa e absoluta do FSKT em teste e reteste. Para a reprodutibilidade relativa foram observados valores de CCI entre 0,63 e 0,95. O EPM ficou entre 0,60 e 3,99 enquanto o SWC0,6 ficou entre 0,73 e 4,83 para as diferentes séries do FSKT. Na etapa seguinte foi determinada a sensibilidade do FSKT de 8 atletas após nove semanas de treinamento de taekwondo e de força/potência muscular. Foi observada melhora do desempenho gerado em todas as variáveis analisadas, exceto para o índice de decréscimo de chutes (IDC). Por fim, 115 homens e 70 mulheres praticantes/atletas familiarizados com o FSKT executaram cada teste uma vez. Após análise dos dados foi elaborada a tabela com cinco escalas (classificação, percentil: muito bom, >=95; bom, >75; regular, 25-75; ruim, <25; muito ruim, <=5) para as seguintes variáveis FSKT10S, FSKTmult (séries 1-5) e IDC. A conclusão é que o FSKT pode ser uma ferramenta utilizada por técnicos e treinadores visando medir o desempenho físico. Diferentes critérios de autenticidade científica foram apresentados no presente estudo, o que ajudará a tomar decisões mais confiáveis quando de sua aplicação. Também será possível classificar o desempenho dos praticantes/atletas via tabela normativa / The purpose of the present study was stablishing the authenticity criteria scientific of validity, reliability and the sensibility of FSKT10s and the FSKTmult for taekwondo. The secondary purpose was building a normative table to classify physical performance generated by FSKT. The study was conducted in six parts, content sample of practitioners or athletes in different competitive levels. Aiming to investigate the logical validity of FSKT, was presented a questionnaire for 94 subjects that would have any experience with the modality. The purpose was to know the opinion about the understanding of the instructions, feasibility of application and energetic predominance. The participants judged that the test is \"easy\" or \"very easy\", \"viable\" or \"many viable\" of apply and that both tests measure predominantly the anaerobic condition. The higher the level of education, higher is the response frequency of that the FSKT10s is predominantly anaerobic, while for FSKTmult the higher response frequency in the no-graduate group measure predominantly the aerobic condition and the postgraduate group judge that the test measure predominantly the anaerobic condition. In the next step 13 male taekwondo athletes participated in twice experimental sessions to determine a validity criterion between match and the FSKT. No associations were found between match variables and FSKT. No statistically significant difference were identified for the peak blood lactate concentration post FSKT and match, but there was statistical difference between the match and FSKT10s. the next objective was to determine the construct validity. 153 subjects were evaluated grouped in non-competitors (n= 53), regional/state competitors (n= 55) and national/international competitors (n= 45) and 42 women grouped in regional/state level competitors (n= 21) and international/national level (n= 21). There was a statistically significant difference with the superiority of national/international competitors compared to non-competitors. The regional/state level competitors differed from the national/international level group. The next step was conducted with 14 athletes to determine the relative and absolute reliability of FSKT test-retest. Regarding relative reliability, ICC values between 0.63 and 0.95 were observed. The EPM was between 0.60 and 3.99 while the SWC0.6 was between 0.73 and 4.83 for the different FSKT series. The next step was to determine the sensitivity of the FSKT of 8 athletes after nine weeks of taekwondo and strength training. It was observed an improvement in the performance generated in all variables analyzed except for the kicks decrement index (KDI). Finally, 115 mens and 70 womens practitioners/athletes familiar with the FSKT performed each test once. After analyzing the data, the table was elaborated with five scales (classification: \'Excellent\': >=95th percentile, \'Good\': 75th percentile up to 94th percentile, \'Regular\': 25th percentile up to 74th percentile, \'Poor\': 6th percentile up to 24th percentile, \'Very poor\': <=5th percentile) for the following variables FSKT10S, FSKTmult (series 1-5 and total) and IDC. The conclusion is that the FSKT can be a tool used by coaches and technicians to measure physical performance. Different criteria of scientific authenticity were presented in the present study, which will help to make more reliable decisions. It will also be possible to classify the performance of the practitioners/athletes, based on the classifications of the normative table

Submitted by Diogo Barreiros (diogo.barreiros@ufba.br) on 2017-06-12T17:22:46Z No. of bitstreams: 1 andre_2016_CEAPG.pdf: 7833011 bytes, checksum: 86edf4d590dbbdf5d10fe1f966f694e4 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-29T11:47:29Z (GMT) No. of bitstreams: 1 andre_2016_CEAPG.pdf: 7833011 bytes, checksum: 86edf4d590dbbdf5d10fe1f966f694e4 (MD5) / Made available in DSpace on 2017-06-29T11:47:29Z (GMT). No. of bitstreams: 1 andre_2016_CEAPG.pdf: 7833011 bytes, checksum: 86edf4d590dbbdf5d10fe1f966f694e4 (MD5) / O n´umero de aplica¸c˜oes m´oveis e sens´ıveis ao contexto aumenta a cada dia. Estas aplica¸c˜oes precisam ser testadas para assegurar um n´ıvel adequado de qualidade. Quando a aplica¸c˜ao m´ovel depende de informa¸c˜oes de contexto, sejam elas obtidas via sensores f´ısicos e/ou virtuais, a complexidade e o custo relativos `a etapa de testes aumenta consideravelmente, pois os sensores fornecem `a aplica¸c˜ao um volume maior e mais diverso de dados em compara¸c˜ao com a inser¸c˜ao direta pelo usu´ario, como ocorre nas aplica¸c˜oes tradicionais. Existem abordagens que almejam a gera¸c˜ao de casos de teste com informa¸c˜oes de contexto para estes aplicativos. Algumas delas utilizam modelos de contexto da aplica¸c˜ao para gerar casos de teste, ou ent˜ao usam padr˜oes de eventos de contexto. Estas abordagens possuem uma desvantagem no tipo de informa¸c˜ao que ´e gerada, cujo formato geralmente ´e uma s´erie de dados de sensores em baixo n´ıvel, como conjuntos de coordenadas GPS. Dados de contexto de alto n´ıvel, como a chegada, presen¸ca e sa´ıda de uma reuni˜ao, por exemplo, n˜ao s˜ao considerados por estas abordagens. Esta pesquisa tem como objetivo investigar como a gera¸c˜ao sistem´atica de casos de teste com dados de contexto em alto n´ıvel de abstra¸c˜ao pode ajudar o testador de aplicativos m´oveis. Nesta disserta¸c˜ao propomos um m´etodo (denominado CEmanTIKA Test Creator) para gera¸c˜ao de casos de teste onde o testador confecciona de forma sistem´atica os dados de contexto para os casos de teste. Para apoiar o testador na gera¸c˜ao dos casos de teste, combinamos os dados de contexto obtidos nos modelos de contexto da aplica¸c˜ao com padr˜oes de defeitos em fontes de contexto. Para avaliar a proposta implementamos um prot´otipo dentro da ferramenta de modelagem de contexto CEManTIKA CASE e integramos os casos de teste gerados ao simulador de contexto Context Simulator. Realizamos um estudo emp´ırico com uma abordagem qualitativa na qual participantes volunt´arios executaram o m´etodo proposto em uma aplica¸c˜ao m´ovel de teste denominada NoCamInMeeting. Ao analisar os dados obtidos, conclu´ımos que a abordagem gera casos de teste com boa cobertura, embora com alguma redundˆancia, e tamb´em que a divis˜ao sistem´atica das tarefas para a gera¸c˜ao dos casos de teste ajuda os testadores a poupar tempo e esfor¸co.

Submitted by Nathanne_estagiaria Silva (nathanne.silva@fgv.br) on 2012-01-31T18:38:37Z No. of bitstreams: 1 000041641.pdf: 9314314 bytes, checksum: 8d7d56a25304eb5c39a57f4e1c960028 (MD5) / Made available in DSpace on 2012-01-31T18:40:08Z (GMT). No. of bitstreams: 1 000041641.pdf: 9314314 bytes, checksum: 8d7d56a25304eb5c39a57f4e1c960028 (MD5) / The present study reviews, critically, the extensive literature already written and discussed, with regard to the Rorschach, Thematic Apperception and Draw-a-Person Test, which belong to the more commonly used psychodiagnostic instruments. The author's main purpose is direct towards an exarnination of two essential features of projective testing: the 'projection' construct and the major testing situation's determinants, e. go, the instrument's stimulus properties, the examiner's influence and the situational context. After a thorough analysis of the definit10ns offered by various authors, the adequacy of the expression 'projective test' is questioned, emphasizing the multiple connotations of this concept. Hence, the ease with which it falls prey to distorted interpretations directed towards the defence mechanisms imbued in the testing situation. The usual hypothesis - commonly assurned and wide spread-that the 'projective test' is ambiguous for the subject and lacks objective meaning is closely, scrutinized as well as the projective testing process, since it implies an interaction (frequently ignored) between examiner and subject, only fully unclerstoocl within the special context where the several devices to which the author refers are employed. Finally, this study tries to present a more solid foundation for the statement that the projective response is the outcome of many factors. Basic to a better and less biased interpretation is the underlying necessity of taking under consideration the projective devices not as psychodiagnostic tools with objective meaning, but as a resultant of. many vectors, among which stimulus, situational context and ~ubject variables receive special emphasis. / L'auteur de ce travail a par but, en procedant a um étude critique de la litterature technique versant sur les so~disants tests projectifs, dont les plus usuels: le Rorschach, le Teste d'Apperception Thematique et le Test de Machover sont choisis en fonction de l'importance qu'ils jouissent, jusqu'au present moment, dans le domaine des proces psychodiagnostic, faire un examen du propre concept de projection, dont l'adequation est mise en question. Deux aspects fondamentaux sent investigues en profondeur: le construct dejã mentionne et les'determinants inherents ã la situation dans laquelle le sujet est soumis a das épreuves projectives, c'est-ã-dire, l'influence de l'examinateur, les proprietes d'estimulation del'instrument et tout qui fait part du contexte reeI de la praxis de l'examen psychologique. L'hypothese três repandue de l'ambiguite inherente aux tests projectifs du point de vue du sujet et la possibilite d'extraire, de ceux-ci, une signification objective est questionnee. L'auteur considere que le proces psychodiagnostic projectif seulement peut être compris en envisageant l'interaction examinateur-sujet, sans oublier la dimension du contexte dans lequel il se déroule. On peut considerer que la projection merite d'être conçue ã partir d'une perspectivemultiple sans laquelle on risque d'aboutir ã des interpretations deformees des mechanisms de defense qui la situation d'epreuve fait naitre. L'auteur pense qu'une nouvelle approehe est la possibilite d'offrir un appui ã l'afirmations selon laquelle la reponse projeetive est surdeterminee; done une interpretation plus exaete et moins tendaneieuse exige qu'elle soit envisagee eomme une resultante de divers veeteurs, dont les essentiels sont l'interaetion entre stimulus, eontexte et variables appartenant au sujet. / No presente estudo são abordados dois dentre os aspectos essenciais dos testes projetivos: o conceito de projeção e os determinantes inerentes à situação de testagem ou seja, as propriedades estimuladoras do instrumento, o examinador e o contexto situacional. O conceito de projeção é analisado conforme as conceituações formuladas por diversos autores, questionando-se a adequação do termo teste 'projetivo'. Em relação às propriedades do estímulo, é discutida a hipótese usual segundo a qual o teste 'projetivo' é ambíguo e carece de significação objetiva. No que diz respeito ao examinador e ao contexto situacional, é ressaltado o fato de que o processo de testagem implica em uma interação entre o examinador e o sujeito dentro do contexto em que o instrumento é aplicado. Esta dissertação se restringe ao Psicodiagnóstico de Rorschach, ao Teste de Apercepção Temática e ao Desenho da Figura Humana, por serem os mais utilizados no processo de diagnostico psicológico. É focalizado o conceito de projeção em sua conotação múltipla, que se presta a interpretações distorcidas acerca dos mecanismos psicológicos envolvidos durante a testagem projetiva. Busca-se também oferecer suporte à afirmação de que a resposta projetiva é multi determinada, sendo essencial à sua interpretação que seja considerada como resultante da interação entre estímulo, contexto e variáveis do sujeito.

O objetivo do presente estudo foi estabelecer os critérios de autenticidade científica de validade, reprodutibilidade e a sensibilidade do FSKT10s e do FSKTmult para o taekwondo. O objetivo secundário foi construir uma tabela normativa para classificação do desempenho físico gerado no FSKT. O estudo foi conduzido em seis etapas, contendo amostras de praticantes ou atletas de diferentes níveis competitivos. Visando investigar a validade lógica do FSKT, foi apresentado um questionário para 94 sujeitos que tivessem alguma experiência com a modalidade. O objetivo do questionário foi conhecer a opinião a respeito do entendimento sobre as instruções, viabilidade de aplicação e predominância energética. Os participantes julgaram que o teste é \'fácil\' ou \'muito fácil de entender\', \'viável\' ou \'muito viável\' de aplicar e que ambos os testes medem predominantemente a condição anaeróbia. Quanto maior o grau de instrução, maior a frequência de resposta de que o FSKT10s é predominantemente anaeróbio, enquanto para o FSKTmult a maior frequência de resposta no grupo não graduado mede predominantemente a condição aeróbia e o grupo pós-graduado julgou que o teste mede predominantemente a condição anaeróbia. Na etapa seguinte 13 atletas de taekwondo do sexo masculino participaram em duas sessões experimentais para determinar a validade de critério entre a luta e o FSKT. Não foram encontradas associações entre as variáveis da luta e o FSKT. Não foram identificadas diferenças significantes para o lactato pico após FSKTmult e após luta, mas houve diferença estatística entre a luta e o FSKT10s. O objetivo seguinte foi determinar a validade de constructo. Foram avaliados 153 homens agrupados em não competidores (n= 53), competidores de nível regional/estadual (n= 55) e de nível internacional/nacional (n= 45) e 42 mulheres agrupadas em competidoras de nível regional/estadual (n= 21) e de nível internacional/nacional (n= 21). Houve superioridade dos competidores de nível nacional/internacional em comparação aos não competidores. As competidoras de nível regional/estadual diferiram do grupo de nível nacional/internacional. A etapa seguinte foi conduzida com 14 atletas para determinar a reprodutibilidade relativa e absoluta do FSKT em teste e reteste. Para a reprodutibilidade relativa foram observados valores de CCI entre 0,63 e 0,95. O EPM ficou entre 0,60 e 3,99 enquanto o SWC0,6 ficou entre 0,73 e 4,83 para as diferentes séries do FSKT. Na etapa seguinte foi determinada a sensibilidade do FSKT de 8 atletas após nove semanas de treinamento de taekwondo e de força/potência muscular. Foi observada melhora do desempenho gerado em todas as variáveis analisadas, exceto para o índice de decréscimo de chutes (IDC). Por fim, 115 homens e 70 mulheres praticantes/atletas familiarizados com o FSKT executaram cada teste uma vez. Após análise dos dados foi elaborada a tabela com cinco escalas (classificação, percentil: muito bom, >=95; bom, >75; regular, 25-75; ruim, <25; muito ruim, <=5) para as seguintes variáveis FSKT10S, FSKTmult (séries 1-5) e IDC. A conclusão é que o FSKT pode ser uma ferramenta utilizada por técnicos e treinadores visando medir o desempenho físico. Diferentes critérios de autenticidade científica foram apresentados no presente estudo, o que ajudará a tomar decisões mais confiáveis quando de sua aplicação. Também será possível classificar o desempenho dos praticantes/atletas via tabela normativa / The purpose of the present study was stablishing the authenticity criteria scientific of validity, reliability and the sensibility of FSKT10s and the FSKTmult for taekwondo. The secondary purpose was building a normative table to classify physical performance generated by FSKT. The study was conducted in six parts, content sample of practitioners or athletes in different competitive levels. Aiming to investigate the logical validity of FSKT, was presented a questionnaire for 94 subjects that would have any experience with the modality. The purpose was to know the opinion about the understanding of the instructions, feasibility of application and energetic predominance. The participants judged that the test is \"easy\" or \"very easy\", \"viable\" or \"many viable\" of apply and that both tests measure predominantly the anaerobic condition. The higher the level of education, higher is the response frequency of that the FSKT10s is predominantly anaerobic, while for FSKTmult the higher response frequency in the no-graduate group measure predominantly the aerobic condition and the postgraduate group judge that the test measure predominantly the anaerobic condition. In the next step 13 male taekwondo athletes participated in twice experimental sessions to determine a validity criterion between match and the FSKT. No associations were found between match variables and FSKT. No statistically significant difference were identified for the peak blood lactate concentration post FSKT and match, but there was statistical difference between the match and FSKT10s. the next objective was to determine the construct validity. 153 subjects were evaluated grouped in non-competitors (n= 53), regional/state competitors (n= 55) and national/international competitors (n= 45) and 42 women grouped in regional/state level competitors (n= 21) and international/national level (n= 21). There was a statistically significant difference with the superiority of national/international competitors compared to non-competitors. The regional/state level competitors differed from the national/international level group. The next step was conducted with 14 athletes to determine the relative and absolute reliability of FSKT test-retest. Regarding relative reliability, ICC values between 0.63 and 0.95 were observed. The EPM was between 0.60 and 3.99 while the SWC0.6 was between 0.73 and 4.83 for the different FSKT series. The next step was to determine the sensitivity of the FSKT of 8 athletes after nine weeks of taekwondo and strength training. It was observed an improvement in the performance generated in all variables analyzed except for the kicks decrement index (KDI). Finally, 115 mens and 70 womens practitioners/athletes familiar with the FSKT performed each test once. After analyzing the data, the table was elaborated with five scales (classification: \'Excellent\': >=95th percentile, \'Good\': 75th percentile up to 94th percentile, \'Regular\': 25th percentile up to 74th percentile, \'Poor\': 6th percentile up to 24th percentile, \'Very poor\': <=5th percentile) for the following variables FSKT10S, FSKTmult (series 1-5 and total) and IDC. The conclusion is that the FSKT can be a tool used by coaches and technicians to measure physical performance. Different criteria of scientific authenticity were presented in the present study, which will help to make more reliable decisions. It will also be possible to classify the performance of the practitioners/athletes, based on the classifications of the normative table

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.

Made available in DSpace on 2014-06-12T18:03:15Z (GMT). No. of bitstreams: 2 arquivo621_1.pdf: 1193733 bytes, checksum: f9db08512a74fca408769399a3a8e887 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / A presente dissertação trata da realização de inferências por teste de hipóteses no modelo de regressão beta, que é empregado na modelagem de dados que assumem continuamente valores no intervalo (0; 1) (Ferrari & Cribari-Neto, 2004; Simas, Barreto-Souza & Rocha, 2010). O foco do estudo reside na realização de inferências em pequenas amostras. São considerados os testes da razão de verossimilhanças, escore e Wald usuais, além de dois testes da razão de verossimilhanças corrigidos propostos por Ferrari & Pinheiro (2011) e versões bootstrap dos testes da razão de verossimilhanças, escore e Wald. Os desempenhos dos testes em amostras finitas são avaliados numericamente através de simulações de Monte Carlo. Tais simulações contemplam modelos de regressão beta com dispersão variável e consideram testes sobre os parâmetros que indexam o submodelo da média e também testes sobre os parâmetros que se encontram no submodelo da dispersão

WEb Services constituem uma tecnologia emergente utilizada para disponibilização de serviços na Web. Devido aos complexos processos de negócio existentes, esses serviços são combinados para que operem seguindo um fluxo de trabalho. Esse processo é chamado de composição de Web Services. Como no processo de desenvolvimento de um software tradicional, a atividade de teste é fundamental no processo de desenvolvimento da composição de Web Services. Neste trabalho é proposta uma estratégia de teste para a composição de Web Services, em que especificações de composições são transformadas para um modelo de teste de programas paralelos baseados em passagem de mensagens. É proposto o conceito de grupos de elementos requeridos para melhorar a cobertura dos critérios. Uma ferramenta de apoio à estratégia de teste foi desenvolvida. Alguns estudos experimentais para avaliar a aplicabilidade da estratégia proposta também são apresentados. Além disso, é proposto um método que utiliza redes de Petri para eliminar sincronizações não-executáveis no envio e recebimento de mensagens / WEb Services constitute an emerging technology for deploying services in the Web. Due to the complex business processes, these services are combined to operate, following a workflow. This process is named Web Services Composition. As in the development process of a traditional software, the testing activity is fundamental in the development process of Web Services Composition. This work proposes a test strategy for Web Services Composition, in that composition specifications are transformed into a test model of message-passing parallel programs. The concept of required elements groups is proposed to improve the criteria coverage. A tool that supports the test strategy was developed. Some experimental studies for evaluating the applicability of proposed strategy are also presented. Furthermore, it presents a method that uses Petri Nets to eliminate non-executable synchronizations in the sending and receiving of messages

O desenvolvimento de software baseado no paradigma Orientado a Objetos (OO) e baseado em componentes é uma realidade. Este trabalho trata de teste e validação dentro desse contexto. Observa-se que diversos trabalhos relacionados ao teste de programas OO vêm sendo desenvolvidos. Apesar de ser um ponto controverso, alguns pesquisadores consideram que critérios de teste desenvolvidos para o teste de programas procedimentais podem ser facilmente estendidos para o teste de programas OO, pelo menos para o teste de métodos. Ainda são poucas as iniciativas de estender critérios de fluxo de dados e critérios baseados em mutação, tradicionalmente utilizados no teste de programas procedimentais, para o teste de programas OO. O presente trabalho visa a contribuir na identificação e definição de recursos de teste e validação que possam ser utilizados no teste de programas OO, com ênfase nos critérios de teste baseados em fluxo de dados e em mutação, cobrindo as fases do teste de unidade e de integração. Além disso, para apoiar a aplicação desses critérios, é de fundamental importância o desenvolvimento de ferramentas automatizadas que permitam a realização de estudos comparativos e a transferência tecnológica para a indústria. Em suma, o presente trabalho traz contribuições teóricas, com a definição de critérios de teste; empírica, com a realização de estudos empíricos; e de automatização, com a definição e implementação de um ambiente integrado de teste e validação para programas OO. Exemplos são utilizados para ilustrar as idéias e ferramentas apresentadas neste trabalho. / The development of Object-Oriented (OO) and component-based software is a reality. This work investigates software testing and validation in this context. Several studies related with OO testing have been carried out. In spite of being a controversial point, some researchers state that the procedural testing criteria can be easily extended to OO program testing, for instance to the testing of methods. There are few initiatives aiming at applying data-flow and mutation-based criteria, traditionally used for procedural testing, to the test of OO programs. The present work aims at contributing to identify and define resources for OO program testing and validation, considering data-flow and mutation based testing criteria, involving the unit and integration testing phases. An integrated environment for testing and validation has been developed to support the application of these criteria. This environment provides means to comparative studies amongst the criteria and to technology transfer processes. This work provides contributions to the following testing perspectives: theoretical -- with the definition of testing criteria; empirical -- with the conduction of empirical studies; and to testing automation -- with the specification and implementation of an integrated environment for testing and validation of OO programs. Examples are provided to illustrate the ideas and tools presented in this work.

As técnicas de teste podem ser divididas, num primeiro nível, naquelas baseadas no código (caixa branca) e naquelas baseadas na especificação (caixa preta ou funcionais). Nenhuma delas é completa pois visam a identificar tipos diferentes de defeitos e a sua utilização em conjunto pode elevar o nível de confiabilidade das aplicações. Assim, tornam-se importantes estudos que contribuam para um melhor entendimento da relação existente entre técnicas funcionais e estruturais, como elas se complementam e como podem ser utilizadas em conjunto. Este trabalho está inserido no contexto do projeto PLAVIS (Plataforma para Validação e Integração de Software em Aplicações Espaciais), e tem como objetivo realizar um estudo comparativo entre as técnicas de geração de casos de teste funcionais (baseadas nas especificações formais) e os critérios estruturais baseados em fluxo de controle e fluxo de dados, aplicados nas implementações. Num contexto específico, esse estudo deve fornecer dados de como se relacionam essas duas técnicas (funcional e estrutural) gerando subsídios para sua utilização em conjunto. Num contexto mais amplo - o do projeto PLAVIS - visa a estabelecer uma estratégia de teste baseada em critérios funcionais e estruturais e que possam, juntamente com as ferramentas que dão suporte a eles, compor um ambiente de teste disponível à utilização em aplicações espaciais dentro do INPE / Testing techniques can be divided, in high level, in code-based ones (white box) and specification based ones (black box). None of them are complete as they intend to identify different kinds of faults. The use of them together can increase the application confidence level. Thus, it is important to investigate the relationship between structural testing techniques and functional testing techniques, how they complete themselves and how they can be used together. This paper was developed in the context of the Plavis (PLAtform of software Validation & Integration on Space systems) project. This project provides comparative studies between functional generation testing techniques (based on formal specifications) and structural generation testing techniques, such as control-flow and data-flow criteria, applied in the implementation. In a specific context, this study provides data about the relationship between these techniques and how they can be used together. In the context of the Plavis project, the goal is to provide a testing strategy, based on functional and structural criteria, and a set of tools, composing a testing environment to be used in Space Applications projects, at INPE