Recovery - automated test case generation from highly reliable systemrequirements models
Awarded Award Notice Posted
- Solicitation number
- NNX10RA00C
- Agency
- Shared Services Center National Aeronautics and Space Administration
- Awarded
- to Novawave Technologies, Inc.
- Set-aside
- No set-aside
Opportunity facts
- Contract number
- NNX10RA03C Federal contract award
- NAICS code
- 541712 Research and Development in the Physical, Engineering, and Life Sciences (except Biotechnology)
- PSC
- Not on record
- More information
Notice details come from SAM.gov. Updated .
Notice text
2 versions
Update #2 · Latest ·
Added: Nov 12, 2009 5:40 pm Modified: Nov 13, 2009 4:12 pmTrack Changes Under Phase I, Safeware Engineering successfully developed the algorithms necessaryto streamline software testing by automatically generating test cases directly fromSpecTRM-RL models. SpecTRM-RL is a requirements language that was designed to be highlyreadable, allowing even non-specialists to understand them, but is also completelyformal. Test cases generated fromt he black-box models written in SpecTRM-RL will focuson the intended behavior of the system. The test case generation tool will be designedto allow the user to choose between a smaller set of test cases, allowing for more rapiderror identification, and a larger set providing more comprehensivve coverage.
Update #1 ·
Added: Nov 12, 2009 5:40 pm Will develop a dual channel, compact mid-infrared laser spectrometer for planetaryatmosphere exploration. The device will be capable of measuring numerous trace gases at3.3 and 4.6 um without the need for cryogens. By using novel, fiber-coupled, solid statelasers, performance will be improved over traditional tunable diode laser sensors with asimplified operation that is rugged and low power.
On GovTribe
Work this opportunity on GovTribe
- Track it in your pipeline
- Find teaming partners
- Similar opportunities
- Ask GovTribe AI about this opportunity