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.

This software is available for commercial licensing. Please contact Daniel Broderick of the California Institute of Technology at This email address is being protected from spambots. You need JavaScript enabled to view it.. NPO-48068

This Brief includes a Technical Support Package (TSP).

(reference NPO-48068) is currently available for download from the TSP library.

Don't have an account? Sign up here.

NASA Tech Briefs Magazine

This article first appeared in the August, 2012 issue of NASA Tech Briefs Magazine.

Read more articles from this issue here.

Read more articles from the archives here.