extended static checking

名詞

不可算名詞

(software) A range of techniques used for statically checking the correctness of some program constraints.

日本語の意味

ソフトウェアのプログラム制約が正しく守られているかを、実行前に静的に検査するための一連の技法（手法）

The development team adopted extended static checking to detect subtle pointer errors before runtime.

開発チームは実行前に微妙なポインタのエラーを検出するために拡張静的解析手法を採用した。

意味（1）

(software) A range of techniques used for statically checking the correctness of some program constraints.