Software Test Engineering: Analysis of Trace Semantics

Award Information
Agency: Department of Defense
Branch: Navy
Contract: N00014-06-M-0328
Agency Tracking Number: O053-SP3-4135
Amount: $98,250.00
Phase: Phase I
Program: SBIR
Awards Year: 2006
Solicitation Year: 2005
Solicitation Topic Code: OSD05-SP3
Solicitation Number: 2005.3
Small Business Information
12636 Research Blvd #C214, Austin, TX, 78759
DUNS: 884365610
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Robert Akers
 Research Engineer
 (512) 250-1018
 lakers@semdesigns.com
Business Contact
 Mark O'Brien
Title: VP Marketing
Phone: (512) 250-1018
Email: mobrien@semdesigns.com
Research Institution
N/A
Abstract
This research will explore the development of an integrated software testing framework that enables source code instrumentation, test case extraction, analysis of test traces, symbolic reasoning about test traces and source code, algebraic specification of software behavior including specifications extracted from test traces, and validation of observed behavior against algebraic specifications. The infrastructure will support the collection and aggregation of test traces, the direct derivation state machine descriptions from event traces, the testing and validation of functional specifications with respect to system behavior, and the verification of system consistency with specifications by validating execution traces against the specifications. Extracted test traces and derived specifications will be tied to source code in a way amenable to viewing by engineers. Tests and their captured data will be cataloged to be both auditable and repeatable, enabling unit and system regression testing. Emphasis will be placed on the consideration of asynchronous systems, including state machine derivation and analysis with respect to temporal logic formulas. The infrastructure for developing these capabilities will be a generalized compiler technology that supports the semantic analysis of source code and other structures as well as the capability for implementing mass changes in source code by automatic transformation.

* Information listed above is at the time of submission. *

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government