Improving statechart testing criteria using data flow information

L. C. Briand, Y. Labiche, Q. Lin

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Empirical studies have shown there is wide variation in cost (e.g., of devising and executing test cases) and effectiveness (at finding faults) across existing state-based coverage criteria. As these criteria can be considered as executing the control flow structure of the statechart, we are attempting to investigate how data flow information can be used to improve their cost-effectiveness. This article presents a comprehensive methodology to perform data flow analysis of UML statecharts, applies it to the roundtrip path (transition tree) coverage criterion and reports on two case studies. The results of the case studies show that data flow information can be used to select the best cost-effective transition tree when more than one satisfies the transition tree criterion. We further propose a more optimal strategy for the transition tree criterion, in terms of cost and effectiveness. The improved tree strategy is evaluated through the two case studies and the results suggest that it is a cost-effective strategy that would fit into many practical situations.

Original languageEnglish
Title of host publicationProceedings - 16th IEEE International Symposium on Software Reliability Engineering, ISSRE 2005
Pages95-104
Number of pages10
DOIs
Publication statusPublished - 2005
Externally publishedYes
Event16th IEEE International Symposium on Software Reliability Engineering, ISSRE 2005 - Chicago, IL, United States
Duration: 8 Nov 200511 Nov 2005

Publication series

NameProceedings - International Symposium on Software Reliability Engineering, ISSRE
Volume2005
ISSN (Print)1071-9458

Conference

Conference16th IEEE International Symposium on Software Reliability Engineering, ISSRE 2005
Country/TerritoryUnited States
CityChicago, IL
Period8/11/0511/11/05

Fingerprint

Dive into the research topics of 'Improving statechart testing criteria using data flow information'. Together they form a unique fingerprint.

Cite this