ETD

Archivio digitale delle tesi discusse presso l'Università di Pisa

Tesi etd-09232016-172512


Tipo di tesi
Tesi di dottorato di ricerca
Autore
FERREIRA DE MIRANDA, BRENO ALEXANDRO
URN
etd-09232016-172512
Titolo
Redefining and Evaluating Coverage Criteria Based on the Testing Scope
Settore scientifico disciplinare
INF/01
Corso di studi
INFORMATICA
Relatori
tutor Ing. Bertolino, Antonia
Parole chiave
  • Operational Coverage
  • Social Coverage
  • Relevant Coverage
  • Testing Scope
  • Relative Coverage
  • Coverage Testing
  • Software Testing
  • Software Engineering
Data inizio appello
16/10/2016
Consultabilità
Completa
Riassunto
Test coverage information can help testers in deciding when to stop testing and in augmenting their test suites when the measured coverage is not deemed sufficient. Since the notion of a test criterion was introduced in the 70’s, research on coverage testing has been very active with much effort dedicated to the definition of new, more cost-effective, coverage criteria or to the adaptation of existing ones to a different domain. All these studies share the premise that after defining the entity to be covered (e.g., branches), one cannot consider a program to be adequately tested if some of its entities have never been exercised by any input data. However, it is not the case that all entities are of interest in every context. This is particularly true for several paradigms that emerged in the last decade (e.g., component-based development, service-oriented architecture). In such cases, traditional coverage metrics might not always provide meaningful information. In this thesis we address such situation and we redefine coverage criteria so to focus on the program parts that are relevant to the testing scope. We instantiate this general notion of scope-based coverage by introducing three coverage criteria and we demonstrate how they could be applied to different testing contexts. When applied to the context of software reuse, our approach proved to be useful for supporting test case prioritization, selection and minimization. Our studies showed that for prioritization we can improve the average rate of faults detected. For test case selection and minimization, we can considerably reduce the test suite size with small to no extra impact on fault detection effectiveness. When the source code is not available, such as in the service-oriented architecture paradigm, we propose an approach that customizes coverage, measured on invocations at service interface, based on data from similar users. We applied this approach to a real world application and, in our study, we were able to predict the entities that would be of interest for a given user with high precision. Finally, we introduce the first of its kind coverage criterion for operational profile based testing that exploits program spectra obtained from usage traces. Our study showed that it is better correlated than traditional coverage with the probability that the next test input will fail, which implies that our approach can provide a better stopping rule. Promising results were also observed for test case selection. Our redefinition of coverage criteria approaches the topic of coverage testing from a completely different angle. Such a novel perspective paves the way for new avenues of research towards improving the cost-effectiveness of testing, yet all to be explored.
File