このページは前リリースの情報です。該当の英語のページはこのリリースで削除されています。

仕様

Code Prover でチェックできる外部仕様の説明と例

Polyspace^® Code Prover™ 解析によって、特定の外部仕様に違反していないかどうかをチェックすることができます。たとえば、コード内の特定の変数が互いに影響しないように指定し、この指定に違反しているかどうかを Code Prover で判定することができます。

Polyspace 結果

予測される影響

予測される影響なし