Towards a framework for testing structural source-code regularities

As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvability of the system. However, due to constant changes, the implementation structure and its documentation tend to dilute over time. Building on the underlying models of intensional views and intensional relations, our IntensiVE toolsuite helps a developer in documenting structural source-code regularities, verifying them and offering fine-grained feedback when the code does not satisfy those regularities.

[1]  William E. Perry,et al.  Effective methods for software testing , 1995 .

[2]  Naftaly H. Minsky,et al.  Law-Governed Regularities in Object Systems. Part 1: An Abstract Model , 1996, Theory Pract. Object Syst..

[3]  Giuseppe Scollo,et al.  Architectural Unit Testing , 2004, MBT.

[4]  Hausi A. Müller,et al.  The Software Bookshelf , 1997, IBM Syst. J..

[5]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[6]  Kim Mens,et al.  Co-evolving code and design with intensional views: A case study , 2005, Comput. Lang. Syst. Struct..

[7]  David Notkin,et al.  Software reflexion models: bridging the gap between source and high-level models , 1995, SIGSOFT FSE.

[8]  Kim Mens,et al.  The Intensional View Environment , 2005, ICSM.

[9]  Rene L. Krikhaar,et al.  Software architecture reconstruction , 1999 .

[10]  Alexander L. Wolf,et al.  Software testing at the architectural level , 1996, ISAW '96.

[11]  Martin P. Robillard,et al.  Concern graphs: finding and describing concerns using structural program dependencies , 2002, Proceedings of the 24th International Conference on Software Engineering. ICSE 2002.

[12]  Gail C. Murphy,et al.  Conceptual module querying for software reengineering , 1998, Proceedings of the 20th International Conference on Software Engineering.

[13]  Kim Mens,et al.  Using intentional source-code views to aid software maintenance , 2003, International Conference on Software Maintenance, 2003. ICSM 2003. Proceedings..

[14]  Kim Mens,et al.  Mining aspectual views using formal concept analysis , 2004 .

[15]  Stanley M. Sutton,et al.  Modeling of software concerns in Cosmos , 2002, AOSD '02.

[16]  Stanley M. Sutton,et al.  Concern modeling in the concern manipulation environment , 2005, ACM SIGSOFT Softw. Eng. Notes.

[17]  Kent L. Beck.  Extreme Programming , 1999, TOOLS.

[18]  Nathanael Schärli,et al.  A browser for incremental programming , 2004, Comput. Lang. Syst. Struct..

[19]  Kim Mens,et al.  Delving source code with formal concept analysis , 2005, Comput. Lang. Syst. Struct..

[20]  Marc Roper,et al.  Software Testing , 1994 .

[21]  Kim Mens,et al.  Supporting software development through declaratively codified programming patterns , 2002, Expert Syst. Appl..

[22]  Mark Chu-Carroll,et al.  Visual separation of concerns through multidimensional program storage , 2003, AOSD '03.

[23]  Andy Kellens,et al.  Induced intentional software views , 2004, Comput. Lang. Syst. Struct..

[24]  Kent Beck,et al.  Extreme Programming Explained: Embrace Change (2nd Edition) , 2004 .

[25]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .