Software testing
廣義定義的軟體驗證類似软件测试。有二種驗證的方式：