LogScope is a software package for analyzing log files. The intended use is for offline post-processing of such logs, after the execution of the system under test. LogScope can, however, in principle, also be used to monitor systems online during their execution. Logs are checked against requirements formulated as monitors expressed in a rule-based specification language. This language has similarities to a state machine language, but is more expressive, for example, in its handling of data parameters. The specification language is user friendly, simple, and yet expressive enough for many practical scenarios.
The LogScope software was initially developed to specifically assist in testing JPL’s Mars Science Laboratory (MSL) flight software, but it is very generic in nature and can be applied to any application that produces some form of logging information (which almost any software does).
This work was done by Klaus Havelund and Margaret H. Smith of Caltech; Howard Barringer of University of Manchester, UK; and Alex Groce of Oregon State University for NASA’s Jet Propulsion Laboratory.