Testing using log file analysis: Tools, methods, and issues

Proceedings - 13th IEEE International Conference on Automated Software Engineering, ASE 1998

Volumn 1998-October, Issue , 1998, Pages 157-166

  Andrews, James H ^a  

^a UNIVERSITY OF WESTERN ONTARIO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL VERIFICATION;

CURRENT TESTING; LARGE SOFTWARE SYSTEMS; LOG FILE; LOG-FILE ANALYSIS; SOFTWARE VERIFICATION; SYSTEM LEVEL TESTING; TEST ORACLES; VERIFICATION METHODOLOGY;

SOFTWARE TESTING;

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

References (27)

1. J.H.Andrews. Theory and practice of log file analysis. Technical Report 524, Department of Computer Science,University ofWestern Ontario, May 1998.
2. Anonymous. Pine information center. Home page for the Pine mailer software, by the Pine Development Team. URL www.washington.edu/pine/., 1998.
3. P. Bates and J. C. Wileden. An approach to high-level debugging of distributed systems. ACM SIGPLAN Notices, 18(8):107-111,August 1983.
4. B. Beizer. Software Testing Techniques. Van Nostrand Reinhold, New York, 2 edition, 1990.
5. D. B. Brown, R. F. Roggio, J. H. C. II, and C. L. McCreary. An automated oracle for software testing. IEEE Transactions on Reliability, 41(2), June 1992.
6. M. Chechik and J. Gannon. Automatic verification of requirements implementation. In Proceedings of the International Symposiumon Software Testing and Analysis (ISSTA), 1994.
7. L.K. Dillon, G. Kutty, L. E.Moser, P.M.Melliar-Smith, and Y. S. Ramakrishna. A graphical interval logic for specifying concurrent systems. ACM Transactions on Software Engineering and Methodology, 3(2):131-165, April 1994.
8. M. R.Donat. Automating formal specification-basedtesting. In TAPSOFT: 7th International Joint Conference on Theory and Practice of Software Engineering, April 1997.
9. R.-K. Doong and P. G. Frankl. The ASTOOT approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology, 3(2):101-130, April 1994.
10. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
11. D. Heimbold and D. Luckham. DebuggingAda tasking programs. IEEE Software, 2(2):47-57, March 1985.
12. K. Heninger. Specifying software requirements for complex systems: New techniques and their applications. IEEE Transactions on Software Engineering, SE-6(1):2-12, January 1980.
13. D. Hoffman and P. Strooper. Classbench: A framework for automated class testing. Software Practice and Experience, 27(5):573-597,May 1997.
14. J. Joyce,G. Lomow,K. Slind, and B.Unger. Monitoring distributed systems. ACM Transactions on Computer Systems, 5(2):121-150, 1987.
15. C. Kaner, J. Falk, and H. Q. Nguyen. Testing Computer Software. Van Nostrand Reinhold, New York, 2 edition, 1993.
16. T. Kunz, J. Black, D. Taylor, and T. Basten. Poet: Targetsystem-independent visualizations of complex distributedapplication executions. The Computer Journal, 40(8):499-512, September 1997.
17. D. Luckham, S. Sankar, and S. Takahashi. Two-dimensional pinpointing: Debugging with formal specifications. IEEE Software, 8(1):74-84, January 1991.
18. P.Maker. Nana: Improved support for assertions and logging in C and C++. Technical Report 12-95, School of Information Technology,Northern Territory University,Darwin, NT, Australia, September 1995.
19. C. E. McDowell and D. P. Helmbold. Debugging concurrent programs. ACM Computing Surveys, 21(4):593-622, December 1989.
20. T. O. O'Malley, D. J. Richardson, and L. K. Dillon. Efficient specification-based oracles for critical systems. In Proceedings of the California Software Symposium, 1996.
21. D. K. Peters and D. L. Parnas. Using test oracles generated fromprogram documentation. In Proceedingsof the International Symposium on Software Testing and Analysis, 1984.
22. D. J. Richardson, S. L. Aha, and T. O. O'Malley. Specification-based test oracles for reactive systems. In Proceedings of the 14th International Conference on Software Engineering,Melbourne, Australia, May 1992.
23. D. S. Rosenblum. A practical approach to programming with assertions. IEEE Transactions on Software Engineering, 21(1):19-31, January 1995.
24. S. Sankar, A. Goyal, and P. Sikchi. Software testing using algebraic specification based test oracles. Technical Report CSL-TR-93-566, Computer Systems Laboratory, Stanford, April 1993.
25. D. Sannella and A. Tarlecki. Toward formal development of programs from algebraic specifications: Implementations revisited. Acta Informatica, 25(3):233-281, 1988.
26. K.-C. Tai, R. H. Carver, and E. E.Obaid. Debugging concurrent ada programs by deterministic execution. IEEE Trans. Softw. Engineering, 17(1):45-63, January 1991.
27. G. vonBochmann,R.Dssouli, and J. R. Zhao. Trace analysis for conformance and arbitration testing. IEEE Transactions on Software Engineering, 15(11), November 1989.