| タイトル | A comparison of software verification techniques |
| 本文（外部サイト） | http://hdl.handle.net/2060/19860010494 |
| 著者所属（英） | NASA Goddard Space Flight Center |
| 発行日 | 1985-04-01 |
| 言語 | eng |
| 内容記述 | A controlled experiment performed by the Software Engineering Laboratory (SEL) to compare the effectiveness of code reading, functional testing, and structural testing as software verification techniques is described. The experiment results indicate that code reading provides the greatest error detection capability at the lowest cost, whereas structural testing is the least effective technique. The experiment plan is explained, the experiment results are described, related results from other studies are discussed. The application of these results to the development of software in the flight dynamics environment is considered. Appendices summarize the experiment data and list the test programs. |
| NASA分類 | COMPUTER PROGRAMMING AND SOFTWARE |
| レポートNO | 86N19965
SEL-85-001
NAS 1.15:88585
NASA-TM-88585 |
| 権利 | No Copyright |
| URI | https://repository.exst.jaxa.jp/dspace/handle/a-is/154718 |
