A framework and tool supports for testing modularity of software design

Yuanfang Cai, Sunny Huynh, Tao Xie

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering
Pages441-444
Number of pages4
DOIs
StatePublished - Dec 1 2007
Externally publishedYes
Event22nd IEEE/ACM International Conference on Automated Software Engineering, ASE'07 - Atlanta, GA, United States
Duration: Nov 5 2007Nov 9 2007

Publication series

NameASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering

Other

Other22nd IEEE/ACM International Conference on Automated Software Engineering, ASE'07
CountryUnited States
CityAtlanta, GA
Period11/5/0711/9/07

Keywords

  • changeability
  • design testing
  • modularity

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Software

Fingerprint Dive into the research topics of 'A framework and tool supports for testing modularity of software design'. Together they form a unique fingerprint.

  • Cite this

    Cai, Y., Huynh, S., & Xie, T. (2007). A framework and tool supports for testing modularity of software design. In ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering (pp. 441-444). (ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering). https://doi.org/10.1145/1321631.1321704