A METHODOLOGY FOR PRODUCING RELIABLE SOFTWARE/ VOLUME Ⅱ

摘要

The purpose of this task is to investigate the existence, availability, and applicability of automated verification tools. A comparative analysis is made and relative merits are evaluated.In addition, recommendations regarding development of new tools or modification of existing tools for NASA applications are discussed.nIn the course of this investigation eight automated verification tools were tested. Two difficulties were present from the outset. The first was the availability of certain tools for purposes of a comparative analysis-. Researchers were reluctant to release their tools for an evaluation over which they had no control. Thus some better known tools such as PACE and RXVP were not included in the study.