安全に関する要求が正しく実現されているかを確認するためには、設計レビューや開発されたシステムのテストを行う必要があります。品質を確保するためには充分なレビューやテストを実施しなければなりませんが、非常に多くの工数がかかってしまうので効率よく行える仕組みが必要になります。
ソースコードに対するテストは既存のテストツールを用いて自動化することができます。また、「モデルベース開発」の場合でもシミュレーション検証を自動化するツールを導入することで、テストを効率化することができます。
製品が安全であることを示すためには、決定した安全に関する方針が製品の設計、実装に正しく反映されている必要があります。
しかし、これを確認するためには、機能安全規格・ISO26262に基づいた成果物の「トレーサビリティ」を確保できるように、要求管理ツールや設計のモデリングツール、構成管理ツールなど開発のライフサイクルを管理するためのツールが必須であると言われてい ます。
ただし、ツールをそのまま導入するだけでは、定義した開発プロセスに合わない部分も多く、思ったような効果が得られないので、開発プロセスに合うようにツールをカスタマイズすることを検討しなければなりません。
