NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Requirements-Driven Log Analysis Extended AbstractImagine that you are tasked to help a project improve their testing effort. In a realistic scenario it will quickly become clear, that having an impact is diffcult. First of all, it will likely be a challenge to suggest an alternative approach which is significantly more automated and/or more effective than current practice. The reality is that an average software system has a complex input/output behavior. An automated testing approach will have to auto-generate test cases, each being a pair (i; o) consisting of a test input i and an oracle o. The test input i has to be somewhat meaningful, and the oracle o can be very complicated to compute. Second, even in case where some testing technology has been developed that might improve current practice, it is then likely difficult to completely change the current behavior of the testing team unless the technique is obviously superior and does everything already done by existing technology. So is there an easier way to incorporate formal methods-based approaches than the full edged test revolution? Fortunately the answer is affirmative. A relatively simple approach is to benefit from possibly already existing logging infrastructure, which after all is part of most systems put in production. A log is a sequence of events, generated by special log recording statements, most often manually inserted in the code by the programmers. An event can be considered as a data record: a mapping from field names to values. We can analyze such a log using formal methods, for example checking it against a formal specification. This separates running the system for analyzing its behavior. It is not meant as an alternative to testing since it does not address the important in- put generation problem. However, it offers a solution which testing teams might accept since it has low impact on the existing process. A single person might be assigned to perform such log analysis, compared to the entire testing team changing behavior.
Document ID
20150004709
Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
External Source(s)
Authors
Havelund, Klaus
(Jet Propulsion Lab., California Inst. of Tech. Pasadena, CA, United States)
Date Acquired
April 8, 2015
Publication Date
November 19, 2012
Subject Category
Computer Programming And Software
Meeting Information
Meeting: IFIP International Conference on Testing Software and Systems (ICTSS 12)
Location: Aalborg
Country: Denmark
Start Date: November 19, 2012
End Date: November 21, 2012
Sponsors: International Federation for Information Processing
Distribution Limits
Public
Copyright
Other
Keywords
log analysis
Scala programming
LogScope
trace contract

Available Downloads

There are no available downloads for this record.
No Preview Available