タイトル | PISCES: A Tool for Predicting Software Testability |
本文(外部サイト) | http://hdl.handle.net/2060/20040129668 |
著者(英) | Payne, Jeffery E.; Voas, Jeffrey M.; Miller, Keith W. |
著者所属(英) | RST Scientific Research |
発行日 | 1991-01-01 |
言語 | eng |
内容記述 | Before a program can fail, a software fault must be executed, that execution must alter the data state, and the incorrect data state must propagate to a state that results directly in an incorrect output. This paper describes a tool called PISCES (developed by Reliable Software Technologies Corporation) for predicting the probability that faults in a particular program location will accomplish all three of these steps causing program failure. PISCES is a tool that is used during software verification and validation to predict a program's testability. |
NASA分類 | Computer Systems |
権利 | No Copyright |
|