Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/68496
Author(s): Liliana Borges Vilela
Title: Test Coverage Analysis
Issue Date: 2013-07-18
Abstract: Nowadays, as software tends to assume increasingly critical roles, the need to assure its quality becomes ever more crucial. Several approaches emerged to help overcome this need, i.e., tools and processes of software testing that help increase levels of quality in virtually any type of software system. One example of such tools is the so called Model-Based Testing (MBT) tools, that generate test cases from system models. The generated test cases' quality can be evaluated by various means, either as a percentage of the model elements or code covered, and it is of utmost importance to obtain those measurements in order to determine when to stop testing. However, often times testing tools do not provide this information as expected.This work concerns the implementation of a coverage tool, PARADIGM-COV, that evaluates the quality of the test cases generated by an existing MBT tool, PARADIGM-ME. The proposed tool produces coverage information over the graphical model elements, useful not only to assess test case quality, but also in aiding the tester to provide appropriate data during configuration phase, providing in addition the percentage of the application under test code that was exercised during test case execution.
Description: Hoje em dia, à medida que o software tende a assumir um papel cada vez mais crítico, a necessidade de garantir a sua qualidade torna-se cada vez mais crucial. Várias abordagens surgiram para endereçar esta necessidade, ou seja, ferramentas e processos de teste de software que ajudam a aumentar os níveis de qualidade em virtualmente qualquer tipo de sistema de software. Um exemplo de tais ferramentas são as designadas de ferramentas de Testes-Baseados em Modelos (MBT - Model-Based Testing) , que geram casos de teste a partir de modelos do sistema a testar. A qualidade dos testes gerados pode ser avaliada através de diversos meios, quer como uma percentagem dos elementos ou código 'cobertos', e é de extrema importância obter essas medições de modo a determinar quando parar de testar. No entanto, muitas vezes as ferramentas de teste não providenciam esta informação como esperado. Este projecto apresenta uma ferramenta de análise de cobertura, PARADIGM-COV, avalia analisa a qualidade dos testes gerados por uma ferramenta MBT existente, PARADIGM-ME. A ferramenta proposta produz informação sobre a cobertura de elementos de um modelo gráfico (útil para avaliar a qualidade dos casos de teste, assim como para ajudar o tester a fornecer dados apropriados durante a fase de configuração), e também a percentagem do sistema sob teste que foi atingida durante a execução dos casos de teste.
Subject: Engenharia electrotécnica, electrónica e informática
Electrical engineering, Electronic engineering, Information engineering
Scientific areas: Ciências da engenharia e tecnologias::Engenharia electrotécnica, electrónica e informática
Engineering and technology::Electrical engineering, Electronic engineering, Information engineering
URI: https://repositorio-aberto.up.pt/handle/10216/68496
Document Type: Dissertação
Rights: openAccess
License: https://creativecommons.org/licenses/by-nc/4.0/
Appears in Collections:FEUP - Dissertação

Files in This Item:
File Description SizeFormat 
26781.pdfTest Coverage Analysis2.33 MBAdobe PDFThumbnail
View/Open


This item is licensed under a Creative Commons License Creative Commons