Broad-spectrum studies of log file analysis

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2000, Pages 105-114

  Andrews, James H ^a   Zhang, Yingjun ^a  

^a UNIVERSITY OF WESTERN ONTARIO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; FILE ORGANIZATION; PROGRAM DEBUGGING; SPECIFICATIONS; SYSTEMS ANALYSIS;

FORMAL METHODS; LOG FILE ANALYSIS; SAFETY VERIFICATION; SOFTWARE UNDER TEST; SYSTEM LEVEL TESTING;

SOFTWARE ENGINEERING;

EID: 0033698471     PISSN: 02705257     EISSN: None     Source Type: None    
DOI: 10.1145/337180.337194     Document Type: Conference Paper

References (21)

1. J.-R. Abrial. Steam-boiler control specification problem. In J.-R. Abrial, E. Börger, and H. Langmaack, editors, Formal Methods for Industrzal Applications: Specifyzng and Programming the Steam Boiler Control, volume 1165 of LNCS. Springer, October 1996.
2. J. H. Andrews. Testing using log file analysis: Tools, methods and issues. In Proceedangs of the 1998 Internatzonal Conference on Automated Software Engzneering (ASE'98), Honolulu, Hawaii, October 1998.
3. J. H. Andrews. Theory and practice of log file analysis. Technical Report 524, Department of Computer Science, University of Western Ontario, May 1998.
4. J. H. Andrews. Testing using log file analysis: An extended example. In Electronzc Commerce Technology Trends: Challenges and Opportunitzes. Midrange Computing, 1999. Proceedings of the First International Workshop on Technological Challenges of Electronic Commerce, Markham, Ont., Canada, September 1998.
5. J. H. Andrews, N. Day, and J. Joyce. Using a formal description technique to model aspects of a global air traffic telecommunications network. In Formal Description Techniques and Protocol Specification, Testang and Verification: FORTE X / PSTV XVII, pages 417-432, Osaka, Japan, November 1997. Chapman and Hall.
6. R.-K. Doong and P. G. Frankl. The ASTOOT approach to testing object-oriented programs. ACM Transactzons on Software Engzneerzng and Methodology, 3(2):101-130, April 1994.
7. J. W. Duran and S. C. Ntafos. An evaluation of random testing. IEEE Transactions on Software Engzneering, 10(4):438-444, July 1984.
8. M. S. Feather. Rapid application of lightweight formal methods for consistency analyses. IEEE Transactions on Software Engzneering, 24(11), November 1998.
9. D. Heimbold and D. Luckham. Debugging Ada tasking programs. IEEE Software, 2(2):47-57, March 1985.
10. D. Hoffman and P. Strooper. Classbench: A framework for automated class testing. Software Practice and Experience, 27(5):573-597, May 1997.
11. ISO (International Organization for Standardization). ACSE Protocol, ITU-T Rec. X.227 - ISO/IEC 8650-1. International Organization for Standardization, 2nd edition, 1994.
12. M. Jazayeri. Component programming - a fresh look at software components. In Proceedangs of the 5th European Software Engineering Conference, number 989 in LNCS, pages 457-478, Sitges, Spain, September 1995. Springer.
13. J. Kundu and J. E. Cuny. A scalable, visual interface for debugging with event-based behavioral abstraction. In Proceedzngs of New Frontiers on Massively Parallel Processing, pages 472-479, February 1995.
14. T. Kunz, J. Black, D. Taylor, and T. Basten. Poet: Target-system- independent visualizations of complex distributed-application executions. The Computer Journal, 40(8):499-512, September 1997.
15. N. G. Leveson, S. S. Cha, and T. J. Shimeall. Safety verification of Ada programs using software fault trees. IEEE Software, July 1991.
16. T. O. O'Malley, D. J. Richardson, and L. K. Dillon. Efficient specification-based oracles for critical systems. In Proceedings of the Calzfornia Software Symposium, 1996.
17. D. K. Peters and D. L. Parnas. Using test oracles generated from program documentation. In Proceedings of the International Symposium on Software Testing and Analysis, 1984.
18. S. Qiao and H. Zhang. An automatic logfile analyzer for parallel programs. In H. R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, Vol. III, pages 1371-1376, Las Vegas, Nevada, USA, 1999.
19. 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.
20. J. Voas, F. Charron, G. McGraw, K. Miller, and M. Friedman. Predicting how badly "good" software can behave. IEEE Software, 14(4):73-83, July/August 1997.
21. G. von Bochmann, R. Dssouli, and J. R. Zhao. Trace analysis for conformance and arbitration testing. IEEE Transactions on Software Engineering, 15(11), November 1989.