Automated Test Case Generation from Highly Reliable System Requirements Models, Phase I

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. Safeware Engineering Corporation proposes to develop 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 also completely formal. A SpecTRM-RL model specifies the black-box behavior of the system; test cases based on these requirements will focus on the intended behavior of the system. A smaller set of test cases will allow for more rapid error identification, while a larger set will provide more comprehensive coverage. The algorithms will have varying levels of completeness, allowing for a trade-off between test coverage and testing resources. Safeware provides a tool, SpecTRM, which assists analysts with editing, analyzing, and executing formal requirements models. A phase II effort would implement these algorithms, adding test-case generation to SpecTRM.

This is a mature technology (TRL 7+) — the realistic path in is usually NASA's Technology Transfer Program: licensing an existing NASA patent, or a Space Act Agreement to use NASA facilities/expertise directly. NASA also runs a startup licensing program with no upfront fee for companies formed to commercialize a specific NASA technology.

None of these are guaranteed paths for this specific project — TechPort itself doesn't have an "apply" button. Reaching out to the contact(s) above with a specific question is usually the fastest way to find out what's actually open.