Using transient/persistent errors to develop automated test oracles for event-driven software

Proceedings - 19th International Conference on Automated Software Engineering, ASE 2004

Volumn , Issue , 2004, Pages 186-195

  Memon, Atif ^b   Xie, Qing ^a  

^a University of Maryland ^*  (United States)

^b UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION UNDER TEST (AUT); COMPUTER PROGRAMMING LANGUAGES - ORACLE; EVENT-DRIVEN SOFTWARE (EDS); SOFTWARE-INTENSIVE SYSTEMS;

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DATABASE SYSTEMS; ERROR DETECTION; INFORMATION DISSEMINATION; RESOURCE ALLOCATION; TERMINOLOGY;

SOFTWARE ENGINEERING;

EID: 15844396470     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2004.1342736     Document Type: Conference Paper

References (38)

1. S. Antoy and R. G. Hamlet. Automatically checking an implementation against its formal specification. Software Engineering, 26(1):55-69, 2000.
2. L. Baresi and M. Young. Test oracles. Technical Report CIS-TR-01-02, University of Oregon, Dept. of Computer and Information Science, Eugene, Oregon, U.S.A., August 2001. http://www.cs.uoregon.edu/michal/pubs/oracles.html.
3. A. Bondavalli, S. Chiaradonna, and F. D. Giandomenico. Efficient fault tolerance: an approach to deal with transient faults in multiprocessor architectures. In Proceedings of 1994 International Conference on Parllel and Distributed Systemsm, pages 354-359. IEEE, 1994.
4. 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.
5. A. Carloganu and J. Raguideau. Claire: An event-driven simulation tool for test and validation of software programs. In Proceedings of the 2002 International Conference on Dependable Systems and Networks, page 538. IEEE Computer Society, 2002.
6. Y. Cheon and G. T. Leavens. A simple and practical approach to unit testing: The JML and JUnit way. Technical Report 01-12, 2001.
7. P. Cheynet, B. Nicolescu, R. Velazco, M. rebaudengo, M. S. Reorda, and M. Violante. Experimentally evaluating an automatic approach for generating safety-critical software with respect to transient errors. IEEE Transactions on Nuclear Science, 47(6):2231-2236, 2000.
8. L. K. Dillon and Y. S. Ramakrishna. Generating oracles from your favorite temporal logic specifications. In Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering, volume 21 of ACM Software Engineering Notes, pages 106-117, New York, Oct.16-18 1996. ACM Press.
9. L. K. Dillon and Q. Yu. Oracles for checking temporal properties of concurrent systems. In Proceedings of the ACM SIGSOFT'94 Symposium on the Foundations of Software Engineering, pages 140-153, Dec. 1994.
10. L. Dong, R. Melhem, D. Mossé, S. Ghosh, W. Heimerdinger, and A. Larson. Implementation of a transient-fault-tolerance scheme on DEOS - A technology transfer from an academic system to an industrial system. In Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium (RTAS'99), pages 56-67, Washington - Brussels - Tokyo, June 1999. IEEE.
11. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, and N. Zuanon. Lutess: a specification-driven testing environment for synchronous software. In Proceedings of the 21st International Conference on Software Engineering, pages 267-276. ACM Press, May 1999.
12. M. B. Dwyer, V. Carr, and L. Hines. Model checking graphical user interfaces using abstractions. In M. Jazayeri and H. Schauer, editors, ESEC/FSE'97, volume 1301 of Lecture Notes in Computer Science, pages 244-261. Springer / ACM Press, 1997.
13. P. L. Gall and A. Arnould. Formal specifications and test: Correctness and oracle. In COMPASS/ADT, pages 342-358, 1995.
14. J. Gray and A. Reuter. Transaction Processing. Morgan Kaufmann Publishers, San Mateo (CA), USA, 1993.
15. M. J. Harrold, A. J. Offut, and K. Tewary. An approach to fault modelling and fault seeding using the program dependence graph. Journal of Systems and Software, 36(3):273-296, Mar. 1997.
16. G. J. Holzmann and M. H. Smith. A practical method for verifying event-driven software. In Proceedings of the 21st international conference on Software engineering, pages 597-607. IEEE Computer Society Press, 1999.
17. L. J. Jagadeesan, A. Porter, C. Puchol, J. C. Ramming, and L. G. Votta. Specification-based testing of reactive software: Tools and experiments. In Proceedings of the 19th International Conference on Software Engineering (ICSE'97), pages 525-537, Berlin - Heidelberg - New York, May 1997. Springer.
18. G. Kapfhammer and M. L. Soffa. A family of test adequacy criteria for database-driven applications. In Proceedings of the 9th European Software Engineering Conference (ESEC) and 11th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-11), Sept. 2003.
19. D. Kranzlmuller, S. Grabner, and J. Volkert. Event graph visualization for debugging large applications. In Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, pages 108-117. ACM Press, 1996.
20. J.-C. Laprie. Dependable computing: Concepts, limits, challenges. In FTCS-25: 25th International Symposium on Fault Tolerant Computing Special Issue, pages 42-57, Pasadena, California, 1995. IEEE Computer Society Press.
21. J.-C. Laprie, J. Arlat, C. Beounes, and K. Kanoun. Definition and analysis of hardware- and software-fault-tolerant architectures. Computer, 23(7):39-51, July 1990.
22. A. M. Memon. A Comprehensive Framework for Testing Graphical User Interfaces. Ph.D. thesis, Department of Computer Science, University of Pittsburgh, July 2001.
23. A. M. Memon, I. Banerjee, and A. Nagarajan. What test oracle should I use for effective GUI testing? In Proceedings of the IEEE International Conference on Automated Software Engineering. IEEE Computer Society, Oct.12-19 2003.
24. A. M. Memon, M. E. Pollack, and M. L. Soffa. Automated test oracles for GUIs. In Proceedings of the ACM SIGSOFT 8th International Symposium on the Foundations of Software Engineering (FSE-8), pages 30-39, NY, Nov. 8-10 2000.
25. A. M. Memon and M. L. Soffa. Regression testing of GUIs. In Proceedings of the 9th European Software Engineering Conference (ESEC) and 11th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-11), Sept. 2003.
26. A. J. Offutt and J. H. Hayes. A semantic model of program faults. In International Symposium on Software Testing and Analysis, pages 195-200, 1996.
27. D. Peters and D. L. Parnas. Generating a test oracle from program documentation. In T. Ostrand, editor, Proceedings of the 1994 International Symposium on Software Testing and Analysis (ISSTA), pages 58-65, 1994.
28. D. K. Peters and D. L. Parnas. Using test oracles generated from program documentation. IEEE Transactions on Software Engineering, 24(3):161-173, 1998.
29. D. J. Richardson. TAOS: Testing with analysis and oracle support. In T. Ostrand, editor, Proceedings of the 1994 International Symposium on Software Testing and Analysis (ISSTA): August 17-19, 1994, Seattle, Washington, USA, ACM Sigsoft, pages 138-153, New York, NY 10036, USA, 1994. ACM Press.
30. D. J. Richardson, S. Leif-Aha, and T. O. OMalley. Specification-based Test Oracles for Reactive Systems. In Proceedings of the 14th International Conference on Software Engineering, pages 105-118, May 1992.
31. D. C. Schmidt and F. Buschmann. Patterns, frameworks, and middleware: their synergistic relationships. In Proceedings of the 25th international conference on Software engineering, pages 694-704. IEEE Computer Society, 2003.
32. S. Schreyjak. On the aspect of fault tolerance in component-oriented systems. 1998.
33. A. U. Shankar. Verified data transfer protocols with variable flow control. ACM Trans. Comput. Syst., 7(3):281-316, 1989.
34. C. Sliwa. Event-driven architecture poised for wide adoption. COMPUTERWORLD, May 2003.
35. J. Sosnowski. Transient fault tolerance in digital systems. IEEE Micro, 14(1):24-35, Feb. 1994.
36. J. Su and P. R. Ritter. Experience in testing the Motif interface. IEEE Software, 8(2):26-33, Mar. 1991.
37. P. Vogel. An integrated general purpose automated test environment. In T. Ostrand and E. Weyuker, editors, Proceedings of the International Symposium on Software Testing and Analysis, pages 61-69, New York, NY, USA, June 1993. ACM Press.
38. M. Welsh, D. Culler, and E. Brewer. Seda: an architecture for well-conditioned, scalable internet services. In Proceedings of the eighteenth ACM symposium on Operating systems principles, pages 230-243. ACM Press, 2001.