在silktest中，Verify函數的使用頻率非常高，它的作用就是進行對象實際值和預期值的比較，用來驗證待測軟件中的各種元素是否達到了預期的設計要求。
Verify函數的原型是：Verify (aActual, aExpected [, sDesc])
其中aActual是需要被驗證的值，類型是AnyType。
aExpected是期望的值，也是驗證的標準，驗證是否成功就是以aActual和aExpected是否相等為標準，該參數的類型是AnyType。
sDesc可選參數，用來描述此次驗證，類型是String。
Verify函數可以比較各種類型的數據，包括NULL。如果aActual和aExpected類型不同，函數將會拋出E_TYPE_MISMATCH異常，如果兩者類型相同值不同，函數將會拋出E_VERIFY異常。這兩種異常如果不進行相應的處理的話，都會導致testcase停止運行。
一個例子：
[-] testcase VerifyString()
[ ] string str1 = "str1"
[ ] Verify(str1,"str2","VerifyString")
由于待測值和預期值不同，該testcase將會被異常終止，并給出如下提示信息：
*** Error: Verify VerifyString failed - got "str1", expected "str2"
如果你沒有指定參數最后一個參數sDesc（"VerifyString"），testcase將給出如下的信息：
*** Error: Verify value failed - got "str1", expected "str2"
可見sDesc的作用是在異常的情況下給用戶一些信息方便其進行追蹤。
最后，需要注意的是，Verify函數沒有返回值。你如果不希望testcase由于某次調用Verify而停止的話，一定要對其可能出現的異常進行處理。
延伸閱讀
文章來源于領測軟件測試網 http://www.kjueaiud.com/
