コードのテストと検証

検証プロセスの各段階に対応した認定ツール

規制対象の業界では、要件が正しく実装されていることを証明しなければなりません。対象範囲の漏れやトレーサビリティの欠如があると、認証監査の際に問題点が露呈し、製品のリリースが遅れることになります。

静的コード解析は、ソースコードを実行せずに検査を行うもので、欠陥、セキュリティ上の脆弱性、およびコーディング標準への違反を早期に検出することができます。テスト開始前に問題を特定することで、コードの品質を向上させ、デバッグの負担を削減し、信頼性が高く、コンプライアンスに準拠した開発を支援します。

静的解析について詳しくはこちら

動的検証およびテストでは、ソフトウェアを実行して、ランタイム時の挙動を検証します。コンポーネントとその相互作用を体系的にチェックすることで、欠陥を早期に発見し、正しい機能性を確保します。VectorCASTは、組み込みC、C++、およびAda向けにこのプロセスを自動化し、ISO 26262、DO-178C、およびIEC 61508で要求される構造的カバレッジの証拠と要求トレーサビリティを提供します。

動的検証の詳細はこちら

継続的モニタリングでは、解析やテストの結果を長期にわたって追跡することで、プロジェクト全体のソフトウェア品質を把握することができます。これにより、傾向、課題、リスクを早期に把握し、十分な情報に基づいた意思決定を可能にするとともに、複雑さが増しても品質目標が一貫して達成されるようにします。

継続的モニタリングについて詳しく見る

PC-lint Plusは、exida社により、ISO 26262:2018（ASIL A～D）、IEC 61508:2010（SIL 1～4）、EN 50716、およびIEC 62304の認証を取得しています。 VectorCASTのカバレッジ測定結果は、TÜVにより、ISO 26262の全ASILレベル、DO-178Cの全DALレベル（レベルAのMC/DCを含む）、IEC 61508の全SILレベル、IEC 62304、およびEN 50716について認証されています。認証ドキュメントは、追加費用なしで標準ライセンスに含まれています。認定キットはリクエストに応じてご用意いたします。