Title :
Broad-spectrum studies of log file analysis
Author :
Andrews, James H. ; Zhang, Yingjun
Author_Institution :
Dept. of Comput. Sci., Univ. of Western Ontario, London, Ont., Canada
Abstract :
This paper reports on research into applying the technique of log file analysis for checking test results to a broad range of testing and other tasks. The studies undertaken included applying log file analysis to both unit- and system-level testing and to requirements of both safety-critical and non-critical systems, and the use of log file analysis in combination with other testing methods. The paper also reports on the technique of using log file analyzers to simulate the software under test, both in order to validate the analyzers and to clarify requirements. It also discusses practical issues to do with the completeness of the approach, and includes comparisons to other recently-published approaches to log file analysis
Keywords :
formal specification; formal verification; program testing; safety-critical software; log file analysis; noncritical systems; safety-critical systems; software simulation; system-level testing; test results checking; unit-level testing; Analytical models; Code standards; Computer science; Failure analysis; Inspection; Permission; Programming; Software safety; Software testing; System testing;
Conference_Titel :
Software Engineering, 2000. Proceedings of the 2000 International Conference on
Conference_Location :
Limerick
Print_ISBN :
1-58113-206-9
DOI :
10.1109/ICSE.2000.870402