Software testing is a complex and expensive phase of the software development cycle. Effective software testing is especially important in mission-critical software, where erroneous behavior poses a…
Ended Definitive Contract Awarded Last action
- Contract number
- NNX10RA01C
- Awardee
-
Safeware Engineering Corporation UEI HK95Y1QLK811
- Awarding agency
-
Shared Services Center
National Aeronautics and Space Administration
- Obligated
- $576,387
Award facts
- Opportunity
-
- Recovery - automated test case generation from highly reliable systemrequirements models Award Notice · Posted Nov 12, 2009
- Contract value 100% obligated
- $576,387.36 Current and potential, with all options
- Completion date 100% complete
- Current and potential, with all options
- Funding agency
- Ames Research Center National Aeronautics and Space Administration
- NAICS code
- 541712 Research and Development in the Physical, Engineering, and Life Sciences (except Biotechnology)
- Set-aside
- Total Small Business
- Competition
- Full and Open Competition after exclusion of sources · 2 offers Negotiated Proposal / Quote
- Pricing
- Firm Fixed Price
- Place of performance
- Seattle, WA 98102, USA
- Research
- STTR Phase II
- Legislative mandates
-
- Walsh-Healey Public Contracts Act FAR subpart 22.6
Award details come from SAM.gov/FPDS.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Supplemental Agreement for work within scope | -$50,121 | |
| Supplemental Agreement for work within scope | $0 | |
| Original award | $626,508 |
About this award
This is a Firm Fixed Price STTR Phase II contract awarded by NASA's Ames Research Center to Safeware Engineering Corporation, a small business, on November 13, 2009. The contract, valued at $576,387.36, aims to implement algorithms for automatically generating test cases directly from SPECTRM-RL (Specification Tools and Requirements Methodology Requirements Language) models. SPECTRM-RL is a highly readable and formal requirements language. The automated test case generation will make software testing more efficient and effective, especially for mission-critical systems. The tools developed under this contract will be tested on the Max Launch Abort System.
Description
Software testing is a complex and expensive phase of the software development cycle. Effective software testing is especially important in mission-critical software, where erroneous behavior poses a risk to safety or mission success. Automated test case generation can make testing more efficient and effective, saving resources and reducing risk. Under phase 1, safeware engineering corporation successfully developed the algorithms necessary to streamline software testing by automatically generating test cases directly from spectrm-RL models. Spectrm-RL (specification tools and requirements methodology requirements language) is a requirements language that was designed to be highly readable, allowing even non-specialists to understand them, but is also completely formal. Test cases generated from the black-box models written in spectrm-RL will focus on the intended behavior of the system. The test case generation tool will be designed to allow the user to choose between a smaller set of test cases, allowing for more rapid error identification, and a larger set providing more comprehensive coverage. The phase II effort will implement these algorithms, adding test-case generation to spectrm, the tool suite which allows for editing, analysis and execution of spectrm-RL models. The new test case generation tools will be tested on the max launch abort system.
Quick answers
Who was awarded contract NNX10RA01C?
NNX10RA01C was awarded to Safeware Engineering Corporation by Shared Services Center (National Aeronautics and Space Administration) on November 13, 2009.
How much is contract NNX10RA01C worth?
The government has obligated $576,387 on NNX10RA01C.
Which agency awarded contract NNX10RA01C?
Shared Services Center (National Aeronautics and Space Administration) awarded NNX10RA01C, with funding from Ames Research Center (National Aeronautics and Space Administration).
Was contract NNX10RA01C competed?
The extent of competition for NNX10RA01C was full and open competition after exclusion of sources. The government received 2 offers. It was set aside: Total Small Business.
On GovTribe
See this award's full record
- Every transaction and funding action
- The awardee's other awards and teaming partners
- Similar awards and recompete opportunities
- Ask GovTribe AI about this award