Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/68496
Full metadata record
DC FieldValueLanguage
dc.creatorLiliana Borges Vilela
dc.date.accessioned2019-01-31T06:35:24Z-
dc.date.available2019-01-31T06:35:24Z-
dc.date.issued2013-07-18
dc.date.submitted2013-08-22
dc.identifier.othersigarra:26781
dc.identifier.urihttps://repositorio-aberto.up.pt/handle/10216/68496-
dc.descriptionHoje 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.
dc.description.abstractNowadays, 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.
dc.language.isoeng
dc.rightsopenAccess
dc.rights.urihttps://creativecommons.org/licenses/by-nc/4.0/
dc.subjectEngenharia electrotécnica, electrónica e informática
dc.subjectElectrical engineering, Electronic engineering, Information engineering
dc.titleTest Coverage Analysis
dc.typeDissertação
dc.contributor.uportoFaculdade de Engenharia
dc.subject.fosCiências da engenharia e tecnologias::Engenharia electrotécnica, electrónica e informática
dc.subject.fosEngineering and technology::Electrical engineering, Electronic engineering, Information engineering
thesis.degree.disciplineMestrado Integrado em Engenharia Informática e Computação
thesis.degree.grantorFaculdade de Engenharia
thesis.degree.grantorUniversidade do Porto
thesis.degree.level1
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