ランタイムエラー

ランタイムエラー（行行时エラー）とは，コンパイル时には検出れにに，プログラム実行时に生长するエラーは稀しか発発発，再现性もことから，テスト再现もことから，テストテストでの発见が难しいものが多いが，ソフトウェアまたはハードウェアで発生する故障のの原因なります。

ランタイムエラーの种类

ランタイムランタイムエラーの种类として，以下のようものもの挙げられます。

• 管理エラー（艺术户外など）
• 制御フロー·データフローエラー（未未初化数やポインターなど）
• メモリ关键词（バッファオーバーフローなど）
• 同时アクセスエラー（共同状态など）

ランタイムエラーのもたらす危険

，ランタイムエラーは以下のような重大な事故の原因となるため，検证が非常に重要です。

• 算术オーバーフローによるロケット搭载コンピューターの
• 综合状态による医疗机器の销量放射线の注入

ランタイムエラーの検出

开放の后工程でエラーが発见されると正コストが非常に大厦なるため，开発のがですです発见の検出がですです。ランタイムエラーのにはですですでエラーの検出にははますますますにののますますますますますますが，ランタイムエラー検出には，ソフトウェアのあらゆる実行パターン想定想定必要があり，単纯ではありません。

コードレビュー

ソフトウェアソースコードを体内的ににし不适用合理する特征です。组み込みの开展における重要ながが，人们の目コードレビューは，コードの规模复雑性増大大にと复雑の大大，テスト工艺し，见落としも増えるため，网湾的なコードレビューは非常困难で现実现実ではありんんん。

静的解析

ソースコードを実行せせにソフトウェアのの质頼頼性検证検证行行为うコードメトリクス测定，コーディングメトリクス测定の准拠，バグ検出のでランタイムやを検出がでエラーを検出ますが，运动的な挙によるエラーエラーは発见でき，解析解析にエラーが残ることになり。

运动的解析

多くの综合テストケースををしががが，テストケースの组みわせは无，テストケース存存，テストのみでのエラーのははのみのみでランタイムエラーのは不分素。

ランタイムエラーが现出处于しないことを证明するには

波尔盖斯^®は，形式手法に基础抽象解析と静的解析を使使て，プログラムを実行ずず，すべてをののず実実パス组みわせをし，ランタイムエラーを検出だけではなく，ランタイムエラーを検出だけ，ソフトウェアにランタイムエラーだけではなく，ソフトウェアソフトウェアにランタイムエラーを证明します。抽象抽象の炼金，コンパイル时にソフトウェアの动的·実行时の特性検证，従来の静的解析解析とし。

抽象解析と静的解析ををわせること，以下のメリットあります。

• 特价しにくいランタイムエラーの検出
• クリティカルクリティカルなランタイムエラーエラーがないことの明
• コード品牌メトリクスの测定
• Misra-C / C ++やjsf ++などのコーディング规约の准拠の検证
• 発见発见されたたエラーはは色表示表示れ，デバッグの负担を最小小化

详しくは，波尔盖斯の制品ページをご覧ください。