Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/4965
Title: PARADIGM-COV A Multimensional Test Coverage Analysis Tool
Authors: Vilela,L
Ana Cristina Paiva
Issue Date: 2014
Abstract: Currently, software tends to assume increasingly critical roles in our society so assuring its quality becomes ever more crucial. There are several tools and processes of software testing to help increase quality in virtually any type of software. One example is the so called Model-Based Testing (MBT) tools, that generate test cases from models. However, most of these tools have a configuration phase, where test input data is provided manually by the tester, which influences the quality of the test suite generated. By adding coverage analysis to MBT tools it is possible to give feedback and help the tester to define the configuration data needed to achieve the most valuable test suite as possible. This paper presents a tool, PARADIGM-COV, that produces coverage information both over the PARADIGM model elements (to assess if input data is adequate to cover the test goals and assess if preconditions are achievable), and during test case execution (to identify the parts of the model/code that were actually exercised).
URI: http://repositorio.inesctec.pt/handle/123456789/4965
http://dx.doi.org/10.1109/cisti.2014.6876896
metadata.dc.type: conferenceObject
Publication
Appears in Collections:CSIG - Articles in International Conferences

Files in This Item:
File Description SizeFormat 
P-00A-3YJ.pdf
  Restricted Access
259.84 kBAdobe PDFView/Open Request a copy


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.