在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而停止的话，一定要对其可能出现的异常进行处理。