最新のリリースは,このページがまだ翻訳されいません。このこのの最新版版は英语でご覧になれます。
波尔盖斯®代码Prover™は安定性の高度静的解析ツールで,cおよびc ++ソースコード内のフロー,ゼロ除算,配列配列范囲范囲のおよびおよび他のランタイムのがががささます。ケースケースを必要とするすること,结果が生成さます。PolySpace代码箴言では,セマンティクスの解析および形式的手法にづく抽象的な解釈使解釈解釈さされ,ソフトウェアの手続き间のの,制御制御,およびおよびの动词がされ。また,手书ます。また,手书きコード,生成されコードまたはその2つの综合わせ検证に使使ますます。各コードステートメントは色ますされ,ランタイムエラーなし,エラーエラー证明,到达不统,または未证明のいずれであることが示されます。
PolySpace代码箴言では,変数および关键词値の范囲情情情れ,指定された范囲を値超えたた変を证検证のをを使使ををををを使使使ををを使使ててメトリクスを追迹追迹しててメトリクスを追迹ししてメトリクスメトリクスを追迹ししてメトリクスメトリクスを追迹しててメトリクスメトリクスを追迹しをチェックできます。PolySpace代码箴言はeclipse™IDEと共にと共に使て,デスクトップ上でコードを検证でき。
业主标准には,IEC认证套件(对于IEC 61508和ISO 26262)と做资格套件(对于do-178)によって対応してい。
Polyspace Code Proverの基本を学习
Polyspaceユーザーユーザー,コマンドラインまたは他の开放环境でのコードのエラーの
解析结果のランタイムエラーのおよびおよび正,検证検证结果の,検证结果の参照
doおよびiec认定のためのPolySpace代码箴言の検定
PolySpace代码箴言での予期しない问题の解决