日産自動車、ソフトウェアの信頼性を向上

課題

ソフトウェア品質を向上させるために、発見が困難なランタイムエラーを特定する

ソリューション

数学空间

結果

  • サプライヤーのバグを検出して評価
  • ソフトウェアの信頼性が向上
  • 日産のサプライヤーが Polyspace 製品を採用

「Polyspace 製品によって、高レベルなソフトウェアの信頼性を確保することができます。これは、業界内の他のツールにはできないことです。」

菊池光彦氏, 日産自動車

日産 フェアレディZ


日産自動車の最優先事項は品質です。日産自動車株式会社 ソフトウェア品質グループのリーダー、菊池光彦氏は次のように説明します。「日産は顧客に対して重大な責任を担っていますので、当社の車両には厳格な品質基準が設けられています。これらの基準は、車両搭載の組み込みソフトウェアにも適用されます。質評価プロセスが全ての電子御ユニット(电子控制单元)上のソフトウェアに効率的に適用されるよう、ソフトウェア品質グループは全てのサプライヤーと協働して、プロジェクトの開始から節目ごとにソフトウェアのレビューを行っています。またソフトウェア品質グループは、ソフトウェア品質について日産の役員に直接報告しています。」

課題

Software Engineering Evolution Program (SWEEP) では、サプライヤーを含めた日産全体のソフトウェア設計、コーディングおよびテストを含む、ソフトウェア開発プロセスの評価を行っています。2001 年まで、SWEEP では、単体テスト、統合テストまたはシステム テストにおいて、標準的な開発手法の観点から品質目標を設定していました。これらは、開発活動ごとに設定されているロバスト性の目標に照らしてチェックされていました。

菊池氏は次のように述べています。「日産とサプライヤーは完璧なソフトウェア ロバスト性を確保するために、テスト フェーズに多くの工数を費やしていました。」

建设工程静的解析ツールを使用していましたが、真のニーズは満たされていませんでした。菊池氏は次のように説明しています。「日産は、プログラム構造の複雑化やコーディング エラー、その他の問題によって引き起こされるソフトウェア バグという問題に直面していました。コーディングルール検証ツールや構造検証ツールで、問題の一部に対応することはできましたが、これらのツールではゼロ除算、オーバーフロー、範囲外の配列へのアクセスといったランタイムエラーを特定することはできませんでした。」

ソリューション

菊池氏はまず最初に、ルノー・日産アライアンス内部の同僚からPolyspace®Polyspace错误查找器™ および多空间码校准器™ 聚空间製品を導入し、私たちがレビューする全てのソフトウェアに使用することにしました。サプライヤーはそれぞれ異なる開発環境、マイクロプロセッサ、クロスコンパイラを使って独自にソフトウェアを開発しているため、彼らのコードを迅速に解析する効率的なプロセスも構築しました。」

日産は、特定されたすべてのバグを重大さに応じてメジャー (即時に修正する必要あり)、ミディアム (今後のリリースで修正する) およびマイナーの3 つのレベルに分けることにしました。

27かチェックする際の約と基準を構築しました

菊池氏は次のように述べています。「多空间」製品は、どのコードを実行した時にランタイムエラーが発生しうるかを明らかにするだけでなく、実行条件に関係なく決してランタイムエラーが発生しないコードを特定することができます。しかもコーディング中、つまり単体テストの前に検証できるため、サプライヤーにとって非常に大きな価値があります。」

「多晶硅空间」を開発環境で使用するよう強制することはありませんが、サプライヤーが組織的に活用することは大きなプラスであると考えています。コーディングの際にいつどのようにPolyspace 製品が使用されるかを知ることで、私たちはコードの信頼性について大きな自信を持つことができます。ソフトウェアのロバスト性と信頼性が最も効率的な方法で確保されていることの保証となるのです。」と菊池氏は結論付けます。

結果

  • サプライヤーのバグを検出して評価.(三个万用表)た.多空间25968年
  • ソフトウェアの信頼性が向上.
  • 日晷。多くの日産のサプライヤーが Polyspace 製品を自社開発に取り入れようとしています。「当社のサプライヤーは、単に当社が強く推奨したから Polyspace 製品を採用したわけではありません。サプライヤーは、プロセスの初期段階からソフトウェアの信頼性を確保することが、厳しいコストの制約の中で高品質なアプリケーションを提供する最適な方法であると知っているのです。また、ランタイムエラーの不在を証明し、ソフトウェアの信頼性を確保できるツールが Polyspace 製品だけであることもわかっているのです。」と菊池氏は述べています。