DO-333、DO-178C および DO-278A の形式的手法の補足

DO-333 は、DO-178C および DO-278A で説明されている開発ライフサイクル プロセスへの形式的手法の適用に焦点を当てています。 これらの既存の標準を置き換えたり変更したりするものではなく、むしろそれらを補完するものです。 DO-333 の主な目的は、開発者、認証局、その他の関係者が正式な手法の使用方法と、それらを既存のソフトウェア開発プロセスにどのように統合できるかを理解できるように支援することです。

この補足では、次の側面に関する詳細なガイダンスが提供されます。

形式的手法の適用

DO-333 では、要件分析、設計、実装、検証など、ソフトウェア開発プロセスのさまざまな段階に形式手法をどのように適用できるかを説明します。 各段階で形式的手法を使用する利点と制限を概説し、形式的手法で効果的に対処できる欠陥の種類についての洞察を提供します。

ツールの認定

形式的手法の整合性を確保するために、DO-333 には、ソフトウェア開発プロセス中に使用される形式的ツールを認定するためのガイドラインが含まれています。 これには、ツールの信頼性、信頼性、制限を確立し、安全性が重要なソフトウェア開発に必要な基準を確実に満たすことが含まれます。

エビデンスコレクション

DO-178C および DO-278A と同様に、確立されたガイドラインへの準拠を証明するには証拠の収集が不可欠です。 DO-333 は、潜在的な欠陥を特定して排除する際の正式な方法の有効性を実証するために収集する必要がある証拠の種類に関する具体的なガイダンスを提供します。

補足的な考慮事項

DO-333 は、形式的手法が万能の解決策ではなく、ソフトウェア開発のあらゆる側面に適しているわけではないことを認めています。 この補足では、いつ正式な手法の使用を検討するか、またいつ従来のテスト手法に頼るべきかについてのガイダンスを提供します。