コードレビュー

コードレビューとは

コードレビューとは,ソフトウェア品牌の向上を的とした,ソフトウェアソースコードを体内的にに不具备を特征する。组み込みシステムの开启における重要なタスク,特点,认证取得が必要な合,欠かせない作用です。

通常,コードレビューはチームで行い,モデレータ,品质エンジニアかマネージャー,ソフトウェア开発者や,その他のメンバーから成るレビュアーとレビュイーで构成されます。主にチェックリストに基づき,设计仕様や,コード复雑性の评価や,墨西哥屠宰/ c ++等のコーディング规约の准拠确认など,系统的にソフトウェアをレビューし。

コードレビューに重要な観点

效果の达达度の,仕様仕様の达,设计仕様漏れチェック,设计アーキテクチャやインターフェース,设计设计になど,设计设计にに。

再现性に乏しいランタイムエラー,単纯な欠陥の検出をで识别すること非常非常に困难,コードレビューでは效果んん。また,プログラム制御を复雑なんんによるによるオーバー复雑ななフロー见逃されやすく,こうした典型的なバグセキュリティセキュリティホール,コードレビュー前に,コードレビュー支援ツールをこと,作业を大胆にを使うこと,作业を幅に自动化,效率效率效率支援自ことができことができ。

コードレビュー支援ツールのメリット

波尔盖斯®などのコードレビュー支援を使うこと,以下のようながあります。

  • 目视での発见が困难,ランタイムランタイム,并列致理性,セキュリティ脆弱性およびその他欠陥検出
  • 臭马克拉®,jsf ++等のコーディング规约の准拠により,コーディングスタイルの一贯性保ち,コードの可性や保全性ををを上
  • 制御フロー及びデータフローフローの详细ーや,关节コールコール図表,データディクショナリーによるによるの书架·読み取りの追迹により,ソフトウェア実行时の振舞い振舞い理念可以
  • コードメトリクスの生成とソフトウェアのの监视

これにより,コードコード前に欠陥を,修正でき,テスト工艺がされるため,エンジニアは重要な设计要求仕様改善にに设计することができことができことができことができことができことができことができことができことができことができことができことができことができことができの

PolySpace検证结果による実行当时の振る舞いの

あるコードと,ランタイムエラーがないことが证明されたコードを特定したレポートも自动生成可能であり,コードレビュープロセスでの成果物として利用することができます。

Polyspaceによるによるランタイムエラーに対する全全性をを

バグの早期発见による投资対效果

テスト段阶で発见されたは,コーディング段阶で発见されバグより,修正に10倍,产值段阶かかりますさと,100次,100倍コストかかると言わとてます。2015年には,全世界で5,000万台以上の自动车がリコール対象なり,これによる自动车业务界の额は计り知れ计り知れ计り知れこのためためは计り知れ计り知れ段阶でをを発见することことが非常バグを発见するすることこと非常非常重要です。

Polyspaceによる开开寿命段阶でのバグ検出

Polyspaceをを用する,テスト工数量20%削减,コードレビューの时间を40%削减することができます。さらに,ソースソースコードにランタイムエラーがないをを证できるできる,コード证前できるため活,コードレビュー前で活使用により,コードの安全性の确认の负荷低减でき,目视のコードレビューの前にののを指摘,修正するます。

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

参考:静的解析ランタイムエラー形式形式法/形式组み込みシステム検证とテスト

无料のホワイトペーパー

组み込みソフトウェア开放に静的解析解析活活活べき10の理念

.

ホワイトペーパーを読む