I am working on protocol checker VC of APB4 to which I have to test the assertions written. Does it mean I have to write test cases to verify my assertions?

I have mentioned some of the assertions in the protocol checker module. Now I have to "TEST MY ASSERTIONS" and I am not getting the exact meaning of this words. Can anyone explain me in brief what does this mean exactly?

More questions in this forum