A partially automated process for generating test procedures has been experimentally applied to a portion of the Software Requirements Specification for an Air Traffic Management system. This process uses algorithms based on formal logic to automate some of the more tedious and error prone aspects of deriving test procedures from requirements.
Members-Only Content
This content is restricted to members only.
You must be logged in with an active membership to access this page.
Please click the link below to log in. If you do not have an account or your membership is inactive, you may need to register or renew it.