Software-testing-dictionary-correctness

正しさ

正しさとは何ですか？

ソフトウェアエンジニアリングの観点からの正確性は、ユーザーがソフトウェアとやり取りする方法と、ソフトウェアが正しく使用されたときにどのように動作するかを決定する仕様の順守として定義できます。

ソフトウェアが正しく動作しない場合、タスクを達成するのにかなりの時間がかかるか、または達成できないことがあります。

重要なルール：

以下は、プログラムの正確性理論の結果である効果的なプログラミングのための重要なルールの一部です。

• 問題を完全に定義します。
• アルゴリズムを開発してから、プログラムロジックを開発します。
• 証明されたモデルを可能な限り再利用します。
• 設計段階でアルゴリズムの正確性を証明します。
• 開発者は、プログラムの明快さと単純さに注意を払う必要があります。
• 開発後すぐにプログラムの各部分を検証します。