A
Framework for Log File Analysis.
by James H. Andrews
| |
A
Framework for Log File Analysis.
by James H. Andrews
|
| formalWARE
project
formalWARE
formalWARE
|
Abstract
Large software systems typically keep log files of events for use in debugging or regression testing. A formal framework is proposed for analyzing these log files to verify that the associated system has the desired behaviour. Taking into account some common properties of log files, a log file analyzer is defined as a set of possibly communicating state machines, which accept a log file if the file causes the machines to move through valid sequences of states. A prototype implementation consistent with the formal definition is described, and examples of its use are given. Suggestions are made as to how such log file analysis could be used in general software testing. Download Postscript
This paper was submitted to Foundations of Software Engineering '98 (FSE'98)
|
