JAOUT: Automated generation of aspect-oriented unit test

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 2004, Pages 374-381

  Xu, Guoqing ^a   Yang, Zongyuan ^a   Huang, Haitao ^a   Chen, Qian ^a   Chen, Ling ^a   Xu, Fengbin ^a  

^a EAST CHINA NORMAL UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ASPECT-ORIENTED PROGRAMMING (AOP); AUTOMATED GENERATION; COMMERCIAL TOOLS; EXTREME PROGRAMMING (XP);

CODES (SYMBOLS); ERROR ANALYSIS; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING; REGRESSION ANALYSIS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 18944404257     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2004.63     Document Type: Conference Paper

References (38)

1. Beck K., Extreme Programming Explained. Addison-Wesley, 2000.
2. Beck K. and Gamma E., Test infected: Programmers love writing tests. Java Report, 3(7), July 1998.
3. Korel B. and Al-Yami A. M., Automated regression test generation. In Proc of ISSTA 98, Clearwater Beach, FL, pages 143-152. IEEE Computer Society, 1998.
4. Parasoft Corporation, Jtest manuals version 4.5, http://www.parasoft.com/ , October 23, 2002.
5. Cheon Y. and Leavens G. T., A simple and practical approach to unit testing: The JML and JUnit way. In Proc of 16th European Conference Object-Oriented Programming (ECOOP02), pp. 231-255., 2002.
6. Ernst, M. D., Cockrell, J., Griswold, W. G., Notkin, D. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, vol. 27, no. 2, Feb. (2001) 1-25
7. Xie T. and Notkin D., Tool-Assisted Unit Test Selection Based on Operational Violations, In Proc of 18th IEEE International Conference on Automated Software Engineering (ASE'03), Montreal, Canada, Oct. 2003.
8. Xie T. and Notkin D., Mutually Enhancing Test Generation and Specification Inference. In Proc of 3th International Workshop on Formal Approaches to Testing of Software (FATES'03), Montreal, Canada, Oct. 2003.
9. Bergmans L. and Aksit M, composing crosscutting concerns using composition filters, Communications of the ACM, Vol.44, No. 10, pp.51-57, Oct.2001.
10. Kiczales G., Lamping J., Mendhekar A., Maeda C., Lopes C., Loingtier J.-M., and Irwin J. Aspect-oriented programming. In Proc. ECOOP'97, LNCS vol. 1241, Springer-Verlag, 1997.
11. Lieberherr K.J., Orleans D., and Ovlinger J., Aspect-Oriented Programming with Adaptive Methods, Communication of the ACM, Vol.44, No.10, pp.39-41, Oct.2001.
12. Ossher H. and Tarr P., Multi-Dimensional Separation of Concerns and the Hyperspace Approach, In Proc. the Symposium on Software Architectures and Component Technology: The State of the Art in Software Development, Kluwer, 2001.
13. The AspectJ team, The AspectJ Programming Guide, http://eclipse.org/ aspectj. May 2004.
14. Xu G. and Yang Z., JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit., In Proc. 3rd International Workshop on Formal Approaches to Testing of Software(FATES'03), pp. 118-127, Montreal, Canada, Oct.2003.,
15. also in LNCS vol.2931, Springer-Verlag, Jan. 2004.
16. Leavens G. T., Baker A. L., and Ruby C. Preliminary design of JML: A behavioral interface specification language for Java. Technical Report TR 98-06i, Department of Computer Science, Iowa State University, June 1998. (last revision: Aug 2001).
17. AOSD website, http://aosd.net, May 2004.
18. Blair, L., Monga, M. Reasoning on AspectJ Programmes, GI-AOSDG 2003, Essen, Germany.
19. Clifton, C., and Leavens, G. T., Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning, Technical Report TR#02-04, Department of Computer Science, Iowa State University, March 2002.
20. Clifton, C., and Leavens, G. T., Obliviousness, Modular Reasoning, and the Behavioral Subtyping Analogy, Technical Report TR#03-01A, Department of Computer Science, Iowa State University, March 2002.
21. Ubayashi, N., Tamai, T., Aspect-oriented programming with model checking, In Proc. the 1st international conference on Aspect-oriented software development, April 22-26, 2002, Enschede, The Netherlands
22. Dingel, J., Garlan, D., Jha, S., Notkin, D., Reasoning about implicit invocation, In Proc. the 6th ACM SIGSOFT international symposium on Foundations of software engineering, November 1998
23. Bradbury, J. S., Dingel, J., Evaluating and Improving the Automatic Analysis of Implicit Invocation Systems, In Proc. of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE 2003), Helsinki, Finland, Sept. 2003.
24. Aldrich, J., A Typed, Modular Foundation for Aspect-Oriented Programming, In Proc. Foundations of Aspect-Oriented Languages Workshop (FOAL'04), pp.7-18, Apr.2004.
25. Aldrich J., Chambers G., and Notkin D., ArchJava: Connecting Software Architecture to Implementation, In Proc. International Conference on Software Engineering (ICSE'02), Orlando, FL, 2002.
26. Viega J., Bloch J.T. and Chandra P., Applying Aspect-Oriented Programming to Security, Cutter Journal, Vol. 14, No.2, Feb. 2001
27. Goodenough J. and Gerhart S., Toward a theory of test data selection. IEEE Transactions on Software Engineering, June 1975.
28. Horcher H.-M., Improving software tests using Z specifications. In Proc. 9th International Conference of Z Users, The Z Formal Specification Notation, 1995.
29. Spivey J.M., The Z Notation: A Reference Manual. Prentice Hall, second edition, 1992.
30. Offutt J. and Abdurazik A., Generating tests from UML specifications. In Proc. Second International Conference on the Unified Modeling Language, Oct. 1999.
31. Rumbaugh J., Jacobson I., and Booch G., The Unified Modeling Language Reference Manual. Addison-Wesley Object Technology Series, 1998.
32. Chang J. and Richardson D. J., Structural specification-based testing: Automated support and experimental evaluation. In Proc. 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), pages 285-302, Sept. 1999.
33. Sankar S. and Hayes R., Specifying and testing software components using ADL. Technical Report SMLI TR-94-23, Sun Microsystems Laboratories, Inc., Mountain View, CA, Apr. 1994.
34. Marinov D. and Khurshid S., TestEra: A novel framework for automated testing of Java programs. In Proc. 16th IEEE International Conference on Automated Software Engineering (ASE), San Diego, CA, Nov. 2001.
35. Jackson D., Shlyakhter I., and Sridharan M. A micromodularity mechanism. In Proc. 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), Vienna, Austria, Sept. 2001.
36. Jackson D., Schechter I., and Shlyakhter I., ALCOA: The Alloy constraint analyzer. In Proc. 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland, June 2000.
37. JUnit website, http://www.junit.org, May 2004.
38. Boyapati C., Khurshid S. and Marinov D., Korat: Automated Testing Based on Java Predicates. In Proc. ACM International Symposium on Software Testing and Analysis (ISSTA 2002), pages 123-133., July 2002.