Skip Navigation
Small Business Innovation Research/Small Business Tech Transfer

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

Completed Technology Project

Project Introduction

Automated Test Case Generation from Highly Reliable System Requirements Models, Phase II
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. More »

Primary U.S. Work Locations and Key Partners

Technology Transitions

Project Library

Share this Project

Organizational Responsibility

Project Management

Project Duration

Technology Areas

Light bulb

Suggest an Edit

Recommend changes and additions to this project record.

This is a historic project that was completed before the creation of TechPort on October 1, 2012. Available data has been included. This record may contain less data than currently active projects.