Automated random testing to detect specification-code inconsistencies

International Conference on Software Engineering Theory and Practice 2007, SETP 2007

Volumn , Issue , 2007, Pages 112-119

  Cheon, Yoonsik ^a  

^a University of Texas at El Paso   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL VERIFICATIONS; INTERFACE SPECIFICATION; INTERFACE SPECIFICATION LANGUAGES; OTHER INTERFACES; PROGRAM MODULE; PROTOTYPE TOOLS; RANDOM TESTING; RUNTIME ASSERTION;

APPLICATION PROGRAMMING INTERFACES (API); COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; SPECIFICATION LANGUAGES;

SPECIFICATIONS;

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

References (24)

1. G. T. Leavens, A. L. Baker, and C. Ruby, "Preliminary design of JML: A behavioral interface specification language for Java," ACM SIGSOFT Software Engineering Notes, vol. 31, no. 3, pp. 1-38, Mar. 2006.
2. L. Burdy, Y. Cheon, D. R. Cok, M. D. Ernst, J. R. 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, vol. 7, no. 3, pp. 212-232, June 2005.
3. Y. Cheon, "A runtime assertion checker for the Java Modeling Language," Department of Computer Science, Iowa State University, Ames, IA, Tech. Rep. 03-09, Apr. 2003, the author's Ph.D. dissertation.
4. B. Beckert, R. Hähnle, and P. H. Schmitt, Eds., Verification of Object-Oriented Software: The KeY Approach, ser. LNCS 4334. Springer-Verlag, 2007.
5. Robby, E. Rodriguez, M. B. Dwyer, and J. Hatcliff, "Checking JML specifications using an extensible software model checking framework," International Journal on Software Tools for Technology Transfer, vol. 8, no. 3, pp. 280-299, 2006.
6. F. Bouquet, F. Dadeau, B. Legeard, and M. Utting, "Symbolic animation of JML specifications," in Proceedings of the International Conference on Formal Methods 2005 (FM'05), ser. Lecture Notes in Computer Science, vol. 3582. New York, NY: Springer-Verlag, July 2005, pp. 75-90.
7. 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.
8. 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.
9. B. Meyer, "Applying "design by contract"," Computer, vol. 25, no. 10, pp. 40-51, Oct. 1992.
10. Y. Cheon and G. T. Leavens, "A simple and practical approach to unit testing: The JML and JUnit way," in ECOOP 2002 - Object-Oriented Programming, 16th European Conference, M'aalaga, Spain, Proceedings, ser. Lecture Notes in Computer Science, B. Magnusson, Ed., vol. 2374. Berlin: Springer-Verlag, June 2002, pp. 231-255.
11. T. Xie, D. Marinov, and D. Notkin, "Rostra: A framework for detecting redundant object-oriented unit tests," in Proceedings of 19th Int. IEEE Conf. on Automated Sofware Engineering (ASE'04). IEEE, 2004, pp. 196-205.
12. E. Weyuker, T. Goradia, and A. Singh, "Automatically generating test data from a boolean specification," IEEE Transactions on Software Engineering, vol. 20, no. 5, pp. 353-363, May 1994.
13. K. Beck and E. Gamma, "Test infected: Programmers love writing tests," Java Report, vol. 3, no. 7, pp. 37-50, 1998.
14. Y. Cheon and A. Perumendla, "Specifying and checking method call sequences of Java programs," Software Quality Journal, vol. 15, no. 1, pp. 7-25, Mar. 2007.
15. Y. Cheon, M. Kim, and A. Perumendla, "A complete automation of unit testing for Java programs," in International Conference on Software Engineering Research and Practice, Las Vegas, Nevada, June 27-29, 2005, 2005, pp. 290-295.
16. Y. Cheon and M. Kim, "A fitness function for evolutionary testing of object-oriented programs," in Genetic and Evolutionary Computation Conference, Seattle, WA, USA, July 8-12, 2006. ACM Press, July 2006, pp. 1952-1954.
17. C. Csallner and Y. Smaragdakis, "JCrasher: an automatic robustness tester for Java," Software - Practice and Experience, vol. 34, no. 11, pp. 1025-1050, Sept. 2004.
18. Parasoft Corporation, "Automatic Java software and component testing: Using Jtest to automate unit testing and coding standard enforcement," available from urlhttp://www.parasoft.com, as of Jan. 2007.
19. D. K. Peters and D. L. Parnas, "Using test oracles generated from program documentation," IEEE Transactions on Software Engineering, vol. 24, no. 3, pp. 161-173, Mar. 1998.
20. S. Antoy and D. Hamlet, "Automatically checking an implementation against its formal specification," IEEE Transactions on Software Engineering, vol. 26, no. 1, pp. 55-69, Jan. 2000.
21. M. Barnett and W. Schulte, "Runtime verification of .NET contracts," The Journal of Systems and Software, vol. 65, no. 3, pp. 199-208, Mar. 2003.
22. I. Nunes, A. Lopes, V. Vasconcelos, J. ao Abreu, and L. S. Reis, "Checking the conformance of java classes against algebraic specifications," in Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods (ICFEM), ser. Lecture Notes in Computer Science, Z. Liu and H. Jifeng, Eds., vol. 4260. New York, NY: Springer-Verlag, Nov. 2006, pp. 494-513.
23. M. Barnett and W. Schulte, "The ABCs of specification: AsmL, behavior, and components," Informatica, vol. 25, no. 4, pp. 517-526, Nov. 2001.
24. C. Pacheco and M. D. Ernst, "Eclat: Automatic generation and classification of test inputs," in ECOOP 2005 - European Conference on Object-Oriented Programming, ser. Lecture Notes in Computer Science, A. Black, Ed., vol. 3586. Berlin: Springer-Verlag, 2005, pp. 504-527.