Loading...
Please wait, while we are loading the content...
Similar Documents
A framework and tool supports for testing modularity of software design (2007).
| Content Provider | CiteSeerX |
|---|---|
| Author | Huynh, Sunny Cai, Yuanfang Xie, Tao |
| Description | This article is published in ASE'07 |
| 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 wellknown 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. |
| File Format | |
| Journal | Automated Software Engineering |
| Publisher Date | 2007-01-01 |
| Access Restriction | Open |
| Subject Keyword | Important Property Testing Modularity Test Output Quantitative Capability Extent Modularity Vector Automatic Testing Design Level Test Input Software Artifact Software Design Potential Change Software Design Model Object-oriented Design Pattern Design Modularity Significant Impact Coverage Criterion Automated Approach Net Option Value Analysis Modularity Property Novel Framework Formal Computable Model Wellknown Design Principle Possible Change Implementation-based Analysis Tool Support |
| Content Type | Text |
| Resource Type | Article |
