Title: Test and verification procedures for GIDAP