A complete automation of unit testing for Java programs

Proceedings of the 2005 International Conference on Software Engineering Research and Practice, SERP'05

Volumn 1, Issue , 2005, Pages 290-295

  Cheon, Yoonsik ^a   Kim, Myoung Yee ^a   Perumandla, Ashaveena ^a  

^a 500 W University Avenue   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED TESTING; CLASS TESTING; DEVELOPMENT COSTS; EVOLUTIONARY APPROACHES; JAVA PROGRAMS; OBJECT-ORIENTED PROGRAMS; PROGRAM SPECIFICATIONS; PROGRAM TESTING; PROOF OF CONCEPTS; TEST DATA GENERATIONS; TEST RESULTS; UNIT TESTING;

AUTOMATION; ENGINEERING RESEARCH; GENETIC ALGORITHMS; JAVA PROGRAMMING LANGUAGE; TESTING;

COMPUTER SOFTWARE;

EID: 29944432254     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. B. Beizer, Software Testing Techniques, 2nd ed. Van Nostrand Reinhold, 1990.
2. M. A. Cusumano and R. W. Selby, "How Microsoft builds software," CACM, vol. 40, no. 6, pp. 52-61, June 1997.
3. G. T. Leavens, A. L. Baker, and C. Ruby, "JML: A notation for detailed design," in Behavioral Specifications of Businesses and Systems, H. Kilov, B. Rumpe, and I. Simmonds, Eds. Boston: Kluwer Academic Publishers, 1999, pp. 175-188.
4. G. T. Leavens, Y. Cheon, C. Clifton, C. Ruby, and D. R. Cok, "How the design of JML accommodates both runtime assertion checking and formal verification," Science of Computer Programming, vol. 55, no. 1-3, pp. 185-208, Mar. 2005.
5. L. Burdy, Y. Cheon, D. Cok, M. Ernst, J. Kiniry, G. T. Leavens, K. R. M. Leino, and E. Poll, "An overview of JML tools and applications," International Journal on Software Tools for Technology Transfer (STTT), 2005, to appear.
6. Y. Cheon and G. T. Leavens, "A runtime assertion checker for the Java Modeling Language," in Proceedings of the International Conference on Software Engineering Research and Practice, Las Vegas, Nevada, June 2002, pp. 322-328.
7. -, "A simple and practical approach to unit testing: The JML and JUnit way," in Proceedings of European Conference on Object-Oriented Programming, Máalaga, Spain, ser. Lecture Notes in Computer Science, vol. 2374. Springer-Verlag, June 2002, pp. 231-255.
8. J. H. Holland, Adaptation in Natural and Artificial Systems. University of Michigan Press, 1975.
9. M. Srinivas and L. M. Patnaik, "Genetic algorithms: A survey," IEEE Computer, vol. 27, no. 6, pp. 17-26, June 1994.
10. R. Pargas, M.J. Harrold, and R. Peck, "Test-data generation using genetic algorithms," Journal of Software Testing, Verification and Reliability, vol. 9, no. 3, pp. 263-282, Sept. 1999.
11. P. McMinn, "Search-based software test data generation: A survey," Journal of Software Testing, Verification and Reliability, vol. 14, no. 2, pp. 105-156, June 2004.
12. P. Tonella, "Evolutionary testing of classes," in Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, Boston, MA, July 2004, pp. 119-128.
13. K. Beck and E. Gamma, "Test infected: Programmers love writing tests," Java Report, vol. 3, no. 7, pp. 37-50, 1998. [Online]. Available: http://junit.sourceforge.net/doc/testinfected/testing.htm
14. D. Peters and D. L. Parnas, "Generating a test oracle from program documentation," in Proceedings of the ACM SIGSOFT International Symposium on Testing and Analsyis, Seattle, Washington, Aug. 1994, pp. 58-65.
15. Y. Cheon, G. T. Leavens, M. Sitaraman, and S. Edwards, "Model variables: Cleanly supporting abstraction in design by contract," Software-Practice and Experience, 2005, to appear.
16. C. Boyapati, S. Khurshid, and D. Marinov, "Korat: Automated testing based on Java predicates," in Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, Roma, Italy, July 2002, pp. 123-133.
17. N. Gupta, A. Mathur, and M. L. Sofia, "Generating test data for branch coverage," in Proceedings of 15th IEEE International Conference on Automated Software Engineering, Grenoble, France, Sept. 2000, pp. 219-228.
18. D. Saff and M. D. Ernst, "An experimental evaluation of continuous testing during development," in Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, Boston, MA, July 2004, pp. 76-85.
19. W. Stacy and J. MacMillan, "Cognitive bias in software engineering," Communications of the ACM, vol. 38, no. 6, pp. 57-63, June 1995.