Weaving aspects into C++ applications for validation of temporal invariants

Proceedings of the European Conference on Software Maintenance and Reengineering, CSMR

Volumn , Issue , 2003, Pages 249-258

  Gibbs, T H ^a   Malloy, B A ^a  

^a AMRL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASPECT-ORIENTED; CLASS INVARIANTS; JOIN POINT; TEMPORAL INVARIANTS;

COMPUTER APPLICATIONS; REENGINEERING; WEAVING;

COMPUTER SOFTWARE MAINTENANCE;

EID: 18844387792     PISSN: 15345351     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSMR.2003.1192433     Document Type: Conference Paper

References (31)

1. S. Alexander. The C++ resources network. http://www. cplusplus. com, October 2001.
2. A. Alexandrescu. Modern C+ + Design: Generic Programming and Design Patterns Applied. Addison-Wesley, 2001.
3. Boldsoft, Rational Software Corp, IONA and Adaptive Ltd. Response to the UML 2. 0 OCL RfP. Technical report, OMG Document ad/2002, March 1 2002.
4. Boost. Boost C++, www. boost. org, May 2002.
5. L. C. Briand, Y. Labiche, and H. Sun. Investigating the use of analysis contracts to support fault isolation in object oriented code. In International Symposium on Software Testing and Analysis (ISSTA '2002), pages 70-80, Rome, Italy, July 2002.
6. F. J. Cavalier. Debugging PHP using a C++ compiler. Dr. Dobbs Journal, pages 42-46, March 2002.
7. E. W. Dijkstra. A Discipline of Programming. Prentice Hall, 1976.
8. E. B. Duffy, J. P. Gibson, and B. A. Malloy. Applying the decorator pattern for non-intrusive profiling of object-oriented software. Technical Report CU-7, Clem-son University, September 2002.
9. R. F. Floyd. Assigning Meanings to Programs. Proceedings of American Mathematical Society Symposium on Applied Mathematics, 19:19-31, 1967.
10. T. H. Gibbs, B. A. Malloy, and J. F. Power. Automated Validation of Class Invariants In C++ Applications. In Proceedings of the International Conference on Automated Software Engineering (ASE'2002), pages 205-214, Edinburgh, UK, September 2002.
11. C. A. R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576-583, February 1969.
12. C. A. R. Hoare. The Emperor's Old Clothes (1980 Turing Award Lecture). Communications of the ACM, 24(2):75-83, February 1981.
13. ISO/IEC JTC 1. International Standard: Programming Languages-C++. Number 14882:1998(E) in ASC X3. ANSI, first edition, September 1998.
14. J. M. Jezequel, D. Deveaux, and Y. Le Traon. Reliable objects: Lightweight testing for OO languages. IEEE Software, 18(4):76-83, 2001.
15. G. Kiczales, E. Hilsdale, J. Hugonin, M. Kersten, J. Palm, and W. Griswold. Getting started with Aspect. !. CACM, 44:59-65, October 2001.
16. G. Kiczales, J. Lamping, A. Mendhedar, C. Maeda, C. Lopes, J. Loingtier, and J. Irwin. Aspect-oriented programming. In Proceedings of ECOOP'97, LNCS 1241, pages 220-242, Jyvskyl, Finland, 1997. Springer-Verlag.
17. O. Kiselyov. Fast Fourier transform. Free C/C+ + Sources for Numerical Computation, March 2002. http: //cliodhna. cop. uop. edu/ "hetrick/c- sources. html.
18. M. Lippert and C. V. Lopes. A study on exception detection and handling using aspect-oriented programming. In Proceedings of the 22nd International Conference on Software Engineering, pages 418-427, Limerick, Ireland, 2000.
19. B. A. Malloy, T. H. Gibbs, and J. F. Power. Decorating tokens to facilitate recognition of ambiguous language constructs. Software, Practice & Experience, 2002. (to appear).
20. B. A. Malloy, S. A. Linde, E. B. Duffy, and J. F. Power. Testing C++ compilers for iso language conformance. Dr. Dobbs Journal, pages 71-80, June 2002.
21. R. Martin. Acyclic visitor. In Joint Pattern Languages of Programs Conferences (PLoP'96), number wucs-97-07, September 4-6 1996.
22. B. Meyer. Applying "design by contract". IEEE Computer, 25(10):40-52, 1992.
23. B. Meyer. Object-Oriented Software Construction. Prentice Hall PTR, second edition, 1997.
24. J. F. Power and B. A. Malloy. Symbol table construction and name lookup in iso C++. In Technology of Object-Oriented Languages and Systems, TOOLS 2000, pages 57-68, Sydney, Australia, November 2001.
25. S. Ramakrishnan and J. D. McGregor. Modelling and testing 00 distributed systems with temporal logic formalisms. In Proceedings of the 18th International IASTED Conference Applied Informatics, Innsbruck, Austria, September 2000.
26. D. S. Rosenblum. A practical approach to programming with assertions. IEEE Transactions on Software Engineering, 21(1):19-31, January 1995.
27. V. Shoup. Number theory library. http://www. shoup. net/ntl/, March 2002.
28. B. Stroustrup. The C++ Programming Language. Addison-Wesley, third edition, 1997.
29. A. Tiwari, H. Ruez, H. Saidi, and N. Shankar. A technique for invariant generation. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01), pages 86-89, Paris, France, April 2001.
30. J. M. Vlissides and M. A. Linton. IV tools. http://www. vectaport. com/ivtools/, March 2002.
31. B. Wampler. The V C++ GUI framework. http://www. objectcentral. com, October 2001.