Software Quality - ソフトウェアエンジニアリングの向こう側

• バグを発見するのにどんな方法があるか？

テスト
インスペクション
レビュー
Formal Method
Static analysis

• Unit Testing

• VerificationとValidationの違い

======