検証 - ソフトウェアを検証するプロセス

用語「検証」と「妥当性確認は、」非常に多くの場合、技術文献で使用され、任意のソフトウェアの分析の品質に関連しています。 科学文献では、これらの概念の様々な解釈があります。 だから、問題を検討してみてください。

最も適切には、我々の見解では、次の定義です。 検証と検証-の品質管理の実施を目的としている活動です ソフトウェアを それの初期段階でエラーを検出するためには。 彼らが共通の目標を持っていることと思われます。 それでも、これらの種は検証可能なプロパティ、制約や規制の源の違いを持って、違反は間違い考えることができます。

検証-ソフトウェアの適合性の検査 技術文書 要求仕様が提供する、アーキテクチャやドメインモデル。 用語の「義務」で開発、ルールや基準のプロセスに含まれ、比較演算手続きれます。

データ検証は、コンプライアンス・プログラムの確立された標準、要件、設計、およびユーザードキュメントの機能を設定するために実行することができます。 この場合、必須検査前には、ソフトウェアが動作している国に定めの基準や規制の遵守と比較されているそれらの文書、に従うものとします。 実行された操作の全てのシーケンスを考慮し、敬意を考慮する必要があります。

他のプログラムまたはでエラーや不具合が発生した場合には、上記の文書やプログラムの現在の機能の間の紛争は、補正のための機器の選択の決定は、特定のタスクを解決する必要がありますがあります。

検証検証とは異なり、開発または伴うソフトウェアのニーズや顧客やユーザーのニーズへの適合性を検証する責任があります。 これらのニーズは、多くの場合、任意の文書に記録されません。 検証はあまり検証よりも、正式な理由です。 これは、顧客、利用者の代表は、また、アナリストや専門家の中に出席することが可能なプロセスである サブジェクト領域を。 言い換えれば、それらは、特定のニーズや利害関係者の真のニーズを表現することができます。

検証 - 「？適切に作られたソフトウェアである」という質問への答えである、と検証 - 「？ウィル右ソフトウェア」。

これらの質問に対する答えを検索するときは、妥当性確認（または証明書）コンテンツがチェック（検証）よりも若干広く設定されていることがあります。 しかし、検証は密接に、ソフトウェア製品の品質のコントロールを確保することにリンクされています。

例えば、コンピュータプログラムの検証は、目的のための基礎は、その前のステップで得られたものに、特に得られた製品のライフサイクルにおいて、これらの要件を満たす保証するためである方法を提供します。

私たちは、モデル検証の話なら、ここでは、概念や必要なコンピュータモデルの正しい表示の検証に焦点を当てる 数学的モデル。

場合検証システムコードは、ソースコードを解析し、そのマッチングドキュメンタリーの記述を検証します。

検証プロセスは、別の計算を含む操作を含むことができます。 既存のプロジェクトの適切なドキュメント、必須のテスト、新しいソフトウェア製品のテストや実証結果を新しいプロジェクトの技術的、科学的な文書の比較。