A framework and tool supports for testing modularity of software design

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

Volumn , Issue , 2007, Pages 441-444

  Cai, Yuanfang ^a   Huynh, Sunny ^a   Xie, Tao ^b  

^a Drexel University   (United States)

^b North Carolina State University   (United States)

Author keywords

changeability; design testing; modularity

Indexed keywords

ASPECT-ORIENTED; AUTOMATED APPROACH; CHANGEABILITY; COMPUTABLE MODELS; COVERAGE CRITERIA; DESIGN LEVELS; DESIGN PRINCIPLES; EVOLVABILITY; OBJECT-ORIENTED DESIGN; OPTION VALUE; POTENTIAL CHANGE; SIGNIFICANT IMPACTS; SOFTWARE ARTIFACTS; SOFTWARE DESIGN MODEL; TEST INPUTS; TESTING TECHNIQUE; TOOL SUPPORT;

AUTOMATIC TESTING; AUTOMATION; COMPUTER SOFTWARE; DESIGN;

SOFTWARE DESIGN;

EID: 60549100753     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1321631.1321704     Document Type: Conference Paper

References (17)

1. C. Y. Baldwin and K. B. Clark. Design Rules, Vol. 1: The Power of Modularity. The MIT Press, 2000.
2. Y. Cai. Modularity in Design: Formal Modeling and Automated Analysis. PhD thesis, University of Virginia, Aug. 2006.
3. Y. Cai and K. Sullivan. Simon: A tool for logical design space modeling and analysis. In Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering, pages 329-332, Nov 2005.
4. S. Chaki, E. Clarke, A. Groce, S. Jha, and H. Veith. Modular verification of software components in C. IEEE Trans. Softw. Eng., 30(6):388-402, 2004.
5. T. T. Dinh-Trong, S. Ghosh, and R. B. France. A systematic approach to generate inputs to test UML design models. In Proceedings of the 17th International Symposium on Software Reliability Engineering, pages 95-104, 2006.
6. R. J. Erich Gamma, Richard Helm and J. Vlissides. Design Patterns: Elements of Resuable Object-Oriented Software. ADDISON-WESLEY, Nov 2000.
7. A. Garcia, C. Sant'Anna, E. Figueiredo, U. Kulesza, C. Lucena, and A. von Staa. Modularizing design patterns with aspects: a quantitative study. In Proceedings of the 4th International Conference on Aspect-oriented Software Development, pages 3-14, 2005.
8. J. Hannemann and G. Kiczales. Design pattern implementation in Java and AspectJ. In Proceedings of the 17th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 161-173, 2002.
9. D. Jackson. Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge, MA, 2006.
10. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In Proceedings of the European Conference on Object-Oriented Programming, pages 220-242, 1997.
11. H. C. Li, K. Fisler, and S. Krishnamurthi. The influence of software module systems on modular verification. In Proceedings of the 9th International SPIN Workshop on Model Checking of Software, pages 60-78, 2002.
12. C. V. Lopes and S. K. Bajracharya. An analysis of modularity in aspect oriented design. In Proceedings of the 4th International Conference on Aspect-Oriented Software Development, pages 15-26, 2005.
13. A. Mackworth. Consistency in networks of relations. In Artificial Intelligence, 8, pages 99-118, 1977.
14. B. Meyer. Object-Oriented Software Construction. Prentice Hall, 2nd edition, 1997.
15. D. L. Parnas. On the criteria to be used in decomposing systems into modules. Communications of the ACM, 15(12):1053-8, Dec. 1972.
16. W. P. Stevens, G. J. Myers, and L. L. Constantine. Structured design. IBM Systems Journal, 13(2):115-39, 1974.
17. K. Sullivan, W. G. Griswold, Y. Cai, and B. Hallen. The structure and value of modularity in software design. In ESEC/FSE '01, pages 99-108, Sept 2001.