JAXA Repository / AIREX 未来へ続く、宙(そら)への英知

このアイテムに関連するファイルはありません。

タイトル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


このリポジトリに保管されているアイテムは、他に指定されている場合を除き、著作権により保護されています。