Verifying the communication between CA VM:Tape and RMS