可程式化驗證環境