CISTI'2014 - 9ª Conferencia Ibérica de Sistemas y Tecnologías de Información

Full Program »

PARADIGM-COV: A Multimensional Test Coverage Analysis Tool

Nowadays, 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 system. One example is the so called Model-Based Testing (MBT) tools, that generate test cases from system 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 to the tester and help him 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 graphical model elements (to assess if input data is adequate to cover the test goals and assess if preconditions are realizable), and during test case execution (to calculate the parts of the model/code that were effectively exercised).

Author(s):

Liliana Vilela    
FEUP
Portugal

Ana Cristina Ramada Paiva    
FEUP
Portugal

 

Powered by OpenConf®
Copyright ©2002-2013 Zakon Group LLC