品質からコンプライアンスへ
静的解析、単体テスト、カバレッジ測定、および継続的なモニタリングには、ソフトウェアの品質向上とコンプライアンスの証拠を生成するという、2つの目的が同時にあります。 欠陥は早期に検出され、コードベースは既知の、監査可能な状態が維持されます。その成果物である要件トレーサビリティレコード、構造カバレッジデータ、およびツール適格性の証拠は、ISO 26262、DO-178C、IEC 61508、およびIEC 62304が定める要件を満たしています。
標準では実際に何が要件となっているのか
各標準にはそれぞれ独自の構成や用語がありますが、それらには共通の要件があります。
- 要件ベースのテスト：すべてのテストは、特定の要件にトレーサビリティが確保されていなければなりません。トレーサビリティが確保されていないテストは、検証の十分な証拠とはなりません。
- 構造的カバレッジ：標準では、ソフトウェアの安全度水準に依存して、ステートメント、分岐、またはMC/DCを含む最低限のカバレッジレベルが要求されます。
- ツールの適格性確認：検証プロセスで使用されるツール自体は、その出力が証拠として信頼できるよう、適格性が確認されているか、または認証を受けている必要があります。
- 文書化された証拠：結果は、レビュー、監査、および再現が可能な形式で記録されなければなりません。
質の高い実践とコンプライアンスの架け橋
コンプライアンスのための静的解析
PC-lint Plusは、IEC 61508（SIL 1～3）、ISO 26262（ASIL A～D）、IEC 62304、およびEN 50716の認証を取得しています。 MISRA C:2023、MISRA C++:2023、AUTOSAR C++14、CERT-C、およびCWE互換の脆弱性検出に対する準拠性をチェックします。すべての検出結果は追跡可能であり、文書化された根拠に基づいて抑制することができ、まさに監査人が求める要件を満たしています。
コンプライアンスのための単体テストとカバレッジ
VectorCASTは、要件ベースのテストケース管理、要件とテスト結果間の双方向トレーサビリティ、および安全規格で要求されるすべてのモードにおけるカバレッジ測定をサポートしています。これには、指定された標準および安全度水準に応じて適切なカバレッジ基準を自動的に選択する「Industry Modes」も含まれます。結果はTÜVによって認証されています。
継続的な品質モニタリング
Squoreは、静的解析結果、テスト結果、カバレッジ指標、要件カバレッジなど、開発ツールチェーン全体からのデータを一つのダッシュボードに集約します。また、品質基準を満たさないコードが次の工程に進むのを防ぐ品質ゲートを適用し、品質の低下をチームに早期に警告する傾向分析機能を提供します。
コンプライアンス実現に向けた実践的な道筋
開発プロセスに検証を組み込むことは、それを最終段階の作業として扱うよりも優れた成果をもたらします。早い段階で静的解析を導入することで、欠陥の蓄積を防ぐことができます。トレーサビリティを備えた単体テストは、プロジェクトの進行に伴い蓄積される証拠基盤を作成します。継続的なカバレッジモニタリングにより、ギャップがまだ小さいうちにそれを明らかにすることができます。各段階が次の段階へとつながり、各段階での成果物は、認証機関が審査する成果物そのものです。
PC-lint Plus、VectorCAST、およびSquoreは、それぞれがサポートする標準の認証を取得しており、既存の開発ツールチェーンに統合可能です。これらのツールが生成するコンプライアンスの証拠は、別途の文書作成作業によるものではなく、エンジニアリング作業の直接的な成果物です。