/

ディペンダビリティ（総合信頼性）用語集

（ソフトウェアの）静的解析

ディペンダビリティ（総合信頼性）用語集集 [ せ 行 ]

Glossary of terms used in dependability

ディペンダビリティ（総合信頼性）用語集に戻る

規格 JISZ8115:2019
JIS Z 8115:2019
用語
（ソフトウェアの）静的解析
定義
ソフトウェアフォールトの存在を示すような特徴に対するソースコードの検討。 注記1 静的解析は，一般的に，コードの到達できないセクション，未使用の，誤使用の，二重定義された又は初期化されない変数，及び意図しない実行パスを明らかにする。 注記2 静的解析は，通常，CASE（computer aided software engineering）ツールを使用する。 注記3 附属書JC参照。
対応英語(参考)
static analysis

ディペンダビリティ（総合信頼性）用語集 一覧

あ

い

う

え

お

か

き

く

け

こ

さ

し

す

せ

そ

た

ち

て

と

に

ね

の

は

ひ

ふ

へ

ほ

ま

み

ゆ

よ

り

る

れ

ろ

ア

エ

カ

ガ

ケ

コ

サ

シ

ス

セ

ソ

ダ

テ

デ

ト

ネ

ハ

バ

ヒ

フ

ブ

プ

ホ

ポ

メ

モ

ラ

リ

ロ

ワ

C

D

I

M

N

P

JIS規格（関連、参考）

国際規格（関連、参考）