Abstraction in assertion-based test oracles

Proceedings - International Conference on Quality Software

Volumn , Issue , 2007, Pages 410-414

  Cheon, Yoonsik ^a  

^a 500 W University Avenue   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTION LEVELS; EXECUTION TIME; INTERNATIONAL CONFERENCES; MODEL VARIABLES; MUTATION TESTING; PROGRAM STATES; QUALITY SOFTWARE; RUN TIME; TEST ORACLES; TESTING AND DEBUGGING;

ABSTRACTING; EXPERIMENTS; MAINTAINABILITY; TESTING;

PROGRAM DEBUGGING;

EID: 46449139536     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2007.4385528     Document Type: Conference Paper

References (17)

1. S. Antoy and D. Hamlet. Automatically checking an implementation against its formal specification. IEEE Transactions on Software Engineering, 26(1):55-69, Jan. 2000.
2. M. Barnett and W. Schulte. The ABCs of specification: AsmL, behavior, and components. Informatica, 25(4):517-526, Nov. 2001.
3. I. B. Bourdonov, A. V. Demakov, A. A. Jarov, A. S. Kossatchev, V. V. Kuliamin, A. K. Petrenko, and S. V. Zelenov. Java specification extension for automated test development. In PSI '02: 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, Akademgorodok, Novosibirsk, Russia, July 2-6, pages 301-307, 2001.
4. 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, 7(3):212-232, June 2005.
5. Y. Cheon. Automated random testing to detect specificationcode inconsistencies. In Proceedings of the 2007 International Conference on Software Engineering Theory and Practice, July 9-12, 2007, Orlando, Florida, U.S.A, pages 112-119, July 2007.
6. Y. Cheon and G. T. Leavens. A simple and practical approach to unit testing: The JML and JUnit way. In B. Magnusson, editor, ECOOP 2002 -Object-Oriented Programming, 16th European Conference, Mdalaga, Spain, Proceedings, volume 2374 of Lecture Notes in Computer Science, pages 231-255, Berlin, June 2002. Springer-Verlag.
7. Y. Cheon, G. T. Leavens, M. Sitaraman, and S. Edwards. Model variables: Cleanly supporting abstraction in design by contract. Software-Practice & Experience, 35(6):583-599, May 2005.
8. Y. Cheon and C. E. Rubio-Medrano. Random test data generation for java classes annotated with JML specifications. In Proceedings of the 2007 International Conference on Software Engineering Research and Practice, Volume II, June 25-28, 2007, Las Vegas, Nevada, pages 385-392.
9. D. Coppit and J. M. Haddox-Schatz. On the use of specification-based assertions as test oracles. In Proceedings of the 29th Annual IEEE/NASA Software Engineering Workshop, pages 305-314, Apr. 2005.
10. S. H. Edwards, M. Sitaraman, B. W. Weide, and J. Hollingsworth. Contract-checking wrappers for C++ components. IEEE Transactions on Software Engineering, 30(11):794-810, Nov. 2004.
11. J. Gannon, P. McMullin, and R. Hamlet. Data abstraction, implementation, specification, and testing. ACM Transactions on Programming Languages and Systems, 3(3):211-223, 1981.
12. C. A. R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576-580,583, Oct. 1969.
13. G. T. Leavens, A. L. Baker, and C. Ruby. Preliminary design of JML: A behavioral interface specification language for Java. ACM SIGSOFTSoftware Engineering Notes, 31(3): 1-38, Mar. 2006.
14. K. R. M. Leino and G. Nelson. Data abstraction and information hiding. ACM Transactions on Programming Languages and Systems, 24(5):491-553, Sept. 2002.
15. B. Meyer. Eiffel: The Language. Object-Oriented Series. Prentice Hall, New York, NY, 1992.
16. D. K. Peters and D. L. Parnas. Using test oracles generated from program documentation. IEEE Transactions on Software Engineering, 24(3): 161-173, Mar. 1998.
17. D. S. Rosenblum. A practical approach to programming with assertions. IEEE Transactions on Software Engineering, 21(1):19-31, Jan. 1995.