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