Loading ePassport/ttcn/ePassport_Functions.ttcn +12 −1 Original line number Original line Diff line number Diff line Loading @@ -47,6 +47,13 @@ */ */ external function fx_setIncrementSsc(boolean p_incrementSsc); external function fx_setIncrementSsc(boolean p_incrementSsc); /** * @desc Determine whether to include status bytes (tag 99) or not * @param p_includeStatusBytes boolean * @see TC_ISO7816_B07 */ external function fx_setIncludeStatusBytes(boolean p_includeStatusBytes); /** /** * @desc Derive key seed from MRZ information fields (document number, date of birth and date of expiry) * @desc Derive key seed from MRZ information fields (document number, date of birth and date of expiry) * @param p_mrz MRZ * @param p_mrz MRZ Loading Loading @@ -248,7 +255,11 @@ function f_setIncrementSsc(boolean p_incrementSsc) { function f_setIncrementSsc(boolean p_incrementSsc) { fx_setIncrementSsc(p_incrementSsc); fx_setIncrementSsc(p_incrementSsc); } // end fx_setIncrementSsc } // end f_setIncrementSsc function f_setIncludeStatusBytes(boolean p_includeStatusBytes) { fx_setIncludeStatusBytes(p_includeStatusBytes); } // end f_setIncludeStatusBytes function f_generateRandomOctetstring(integer p_stringSize) return octetstring { function f_generateRandomOctetstring(integer p_stringSize) return octetstring { return fx_randomOctetstring(p_stringSize); return fx_randomOctetstring(p_stringSize); Loading ePassport/ttcn/ePassport_Testcases.ttcn +2 −1 Original line number Original line Diff line number Diff line Loading @@ -104,7 +104,8 @@ module ePassport_Testcases { f_initializeMRTD("CFG.DFLT.BAC"); f_initializeMRTD("CFG.DFLT.BAC"); f_initializeIS(""); f_initializeIS(""); // TODO: The simulator SHALL NOT not return the status bytes (tag 99) in the secured R-APDU // The simulator SHALL NOT not return the status bytes (tag 99) in the secured R-APDU f_setIncludeStatusBytes(false); // Test Body // Test Body t_ac.start(PXT_TWAIT); t_ac.start(PXT_TWAIT); Loading Loading
ePassport/ttcn/ePassport_Functions.ttcn +12 −1 Original line number Original line Diff line number Diff line Loading @@ -47,6 +47,13 @@ */ */ external function fx_setIncrementSsc(boolean p_incrementSsc); external function fx_setIncrementSsc(boolean p_incrementSsc); /** * @desc Determine whether to include status bytes (tag 99) or not * @param p_includeStatusBytes boolean * @see TC_ISO7816_B07 */ external function fx_setIncludeStatusBytes(boolean p_includeStatusBytes); /** /** * @desc Derive key seed from MRZ information fields (document number, date of birth and date of expiry) * @desc Derive key seed from MRZ information fields (document number, date of birth and date of expiry) * @param p_mrz MRZ * @param p_mrz MRZ Loading Loading @@ -248,7 +255,11 @@ function f_setIncrementSsc(boolean p_incrementSsc) { function f_setIncrementSsc(boolean p_incrementSsc) { fx_setIncrementSsc(p_incrementSsc); fx_setIncrementSsc(p_incrementSsc); } // end fx_setIncrementSsc } // end f_setIncrementSsc function f_setIncludeStatusBytes(boolean p_includeStatusBytes) { fx_setIncludeStatusBytes(p_includeStatusBytes); } // end f_setIncludeStatusBytes function f_generateRandomOctetstring(integer p_stringSize) return octetstring { function f_generateRandomOctetstring(integer p_stringSize) return octetstring { return fx_randomOctetstring(p_stringSize); return fx_randomOctetstring(p_stringSize); Loading
ePassport/ttcn/ePassport_Testcases.ttcn +2 −1 Original line number Original line Diff line number Diff line Loading @@ -104,7 +104,8 @@ module ePassport_Testcases { f_initializeMRTD("CFG.DFLT.BAC"); f_initializeMRTD("CFG.DFLT.BAC"); f_initializeIS(""); f_initializeIS(""); // TODO: The simulator SHALL NOT not return the status bytes (tag 99) in the secured R-APDU // The simulator SHALL NOT not return the status bytes (tag 99) in the secured R-APDU f_setIncludeStatusBytes(false); // Test Body // Test Body t_ac.start(PXT_TWAIT); t_ac.start(PXT_TWAIT); Loading