PARADIGM-COV A Multimensional Test Coverage Analysis Tool

• Type: Article in International Conference Proceedings Book
• Date: 2014

Authors

Liliana Vilela (Author) Other; Ana C R Paiva (Author) FEUP

Conference proceedings International

Title: PROCEEDINGS OF THE 2014 9TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2014)

9th Iberian Conference on Information Systems and Technologies (CISTI)

Barcelona, SPAIN, JUN 18-21, 2014

Indexing

ISI Proceedings

ISI Web of Knowledge - 0 Citations

Scopus - 6 Citations

INSPEC

COMPENDEX

Scientific classification

FOS: Natural sciences > Computer and information sciences

CORDIS: Technological sciences > Engineering > Computer engineering

Other information

Authenticus ID: P-00A-3YJ

DOI: 10.1109/cisti.2014.6876896

Abstract (EN): 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).

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 7