USA flag logo/image

An Official Website of the United States Government

Software Test Engineering Analysis

Award Information

Department of Defense
Award ID:
Program Year/Program:
2011 / SBIR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
Small Business Information
Progeny Systems Corporation
9500 Innovation Drive Manassas, VA 20110-
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Phase 2
Fiscal Year: 2011
Title: Software Test Engineering Analysis
Agency / Branch: DOD / NAVY
Contract: N00024-11-C-4124
Award Amount: $745,571.00


Trace semantics is a technology being used successfully to test and verify software, and has generated much interest and research. As modern software systems get more complex, being made up of multiple components from various vendors, trace semantics gets harder to apply. One way to work around these issues to apply the technologies is to instrument the communications interfaces between the components of the system. This can often be done in a passive, non-intrusive manner to generate test traces from a running system that can then be used to generate workflow models and predicate abstractions. Our solution involves building a complete instrumented test framework comprising empirical instrumented observations. Instrumentation is non-intrusive using lightweight agents to instrument predicates via the Operating System (OS) layer and common middleware protocols. This approach enables component instrumentation without having to compile or link code with the component itself, an absolute need in today"s distributed system-of-systems comprising of disparate OS"s, languages and interfaces. The agents transfer predicate values to the Control GUI over an open API to allow third-party agent development and deployment. The GUI records the instrumented data in a Database. A Test Viewer is used to compare the recorded predicate traces.

Principal Investigator:

Matt Fisher
Principal Investigator
(703) 368-6107

Business Contact:

Christine Sigety
Manager of Business Suppo
(703) 368-6107
Small Business Information at Submission:

Progeny Systems Corporation
9500 Innovation Drive Manassas, VA -

EIN/Tax ID: 541766108
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No