Logo image
Back
A framework and tool supports for testing modularity of software design
Conference proceeding

A framework and tool supports for testing modularity of software design

Yuanfang Cai, Sunny Huynh and Tao Xie
Proceedings of the twenty-second IEEE/ACM international conference on automated software engineering, pp 441-444
05 Nov 2007
DOI: https://doi.org/10.1145/1321631.1321704

Abstract

changeability design testing modularity
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach is lacking to test and verify software design models against their modularity properties, in particular, their ability to accommodate potential changes. In this paper, we propose a novel framework for testing design modularity. The software artifact under test is a software design. A test input is a potential change to the design. The test output is a modularity vector, which precisely captures quantitative capability extents of the design for accommodating the test input (the potential change). Both the design and the test input are represented as formal computable models to enable automatic testing. The modularity vector integrates the net option value analysis with well-known design principles. We have implemented the framework with tool supports and tested aspect-oriented and object-oriented design patterns in terms of their ability to accommodate sequences of possible changes. The results showed that previous informal, implementation-based analysis can be conducted by our framework automatically and quantitatively at the design level. This framework also opens the opportunities of applying testing techniques, such as coverage criteria, on software designs

Metrics

6 Record Views
15 citations in Scopus

Details

Logo image