Period of Performance: 07/31/2006 - 07/31/2007


Phase 1 SBIR

Recipient Firm

Kestrel Technology LLC
3260 Hillview Avenue Array
Palo Alto, CA 94304
Principal Investigator


Our innovation is a test-case observation package, named TraceWare, based on a powerful temporal requirement monitoring language. We propose to develop a technology for generating execution traces from runs of an application, for accumulating such traces in persistent store, for efficiently analyzing the trace collection against user-provided specifications, and for extracting specifications automatically from the traces. Furthermore, we plan to augment this framework with a capability to visualize specifications and animate trace executions. Individually checking the validity of each trace of a collection encompasses the traditional notion of testing-based Verification & Validation (V&V). Analyzing collections of traces allows for more sophisticated cross cutting trace properties to be stated and verified. This includes such properties as test case coverage, average case performance, and general statistical properties. We shall inductively extract temporal properties that are true of each trace in the collection, but that have not been previously asserted as a property of the system. Extracting temporal specifications from traces yields a number of capabilities. It allows comparisons between runs of different versions of software; recording of nominal behavior, which can later be used for detection of faulty behavior; and users can examine the extracted properties and validate them against informal requirements.