Commit 264584a9 authored by berge's avatar berge
Browse files

Fixed TODO in TC_ISO7816_E12

parent 69b1f8c8

ePassport/ttcn/ePassport_Testcases.ttcn

+11 −4
Original line number Diff line number Diff line
@@ -517,6 +517,8 @@ module ePassport_Testcases { 
        // Interface: BAC: PASS, PA: PASS, AA: NP, TA: FAIL, CA: PASS, COM: PASS                	

        testcase TC_ISO7816_E12() runs on MRTD system MRTD_System {

    	

    		const integer c_atBadNonceSize := 7;

    	

            var template IsVerdictList vt_expectedFailResults := {

        	    e_aisTerminalAuthentication

           	};
@@ -530,15 +532,20 @@ module ePassport_Testcases { 
    		// Preamble

    	   	f_cfUp();

        	f_initializeMRTD("CFG.DFLT.EAC");

        	

        	f_initializeIS("");

    		    	

        	// TODO: The simulator SHALL return a 7 byte challenge in secure

			// messaging mode. For BAC, the simulator SHALL return 8 bytes.

    		    	

    		// Test Body

    		t_ac.start(PXT_TWAIT);

        	alt {

        	    // The simulator SHALL return a 7 byte challenge in secure messaging mode. 

				// For BAC, the simulator SHALL return 8 bytes.        	    

        	    [vc_simu.securityStatus >= e_basicAccessControl] mrtdport.receive(mw_getChallenge) {

    				vc_simu.challenge := f_generateRandomOctetstring(c_atBadNonceSize); 

    				mrtdport.send(m_responseRead(vc_simu.challenge));

    				t_ac.start;	

    				repeat;	

				}

				

        		[] a_advancedInspectionProcedure();

        

        		[PXT_AUTOMATIC_TEST_INTERFACE] a_aisReports();