| タイトル | Software verification and testing |
| 本文（外部サイト） | http://hdl.handle.net/2060/19860010495 |
| 著者所属（英） | NASA Goddard Space Flight Center |
| 発行日 | 1985-12-01 |
| 言語 | eng |
| 内容記述 | General procedures for software verification and validation are provided as a guide for managers, programmers, and analysts involved in software development. The verification and validation procedures described are based primarily on testing techniques. Testing refers to the execution of all or part of a software system for the purpose of detecting errors. Planning, execution, and analysis of tests are outlined in this document. Code reading and static analysis techniques for software verification are also described. |
| NASA分類 | COMPUTER PROGRAMMING AND SOFTWARE |
| レポートNO | 86N19966
NAS 1.15:88587
SEL-85-005
NASA-TM-88587 |
| 権利 | No Copyright |
| URI | https://repository.exst.jaxa.jp/dspace/handle/a-is/154717 |
