Added LDS_D*, LDS_E*, LDS_F*, LDS_G*, LDS_I* testcases (d9752fa8) · Commits · MTS - Methods for Testing and Specification / ePassport

ePassport/ttcn/ePassport_MainModule.ttcn

+18 −3

Original line number	Diff line number	Diff line
		@@ -57,13 +57,28 @@ module ePassport_MainModule {
		execute(TC_LDS_C19());

		// LDS_D
		execute(TC_LDS_D03());
		execute(TC_LDS_D12());
		execute(TC_LDS_D15());

		// LDS_E
		execute(TC_LDS_E01());
		execute(TC_LDS_E02());
		execute(TC_LDS_E09());

		// LDS_F
		execute(TC_LDS_F04());
		execute(TC_LDS_F06());

		// LDS_G
		execute(TC_LDS_G01());
		execute(TC_LDS_G02());

		// LDS_H
		execute(TC_LDS_H37());

		// LDS_I
		execute(TC_LDS_I01());
		}
		}
		with {

ePassport/ttcn/ePassport_Testcases.ttcn

+403 −1

Original line number	Diff line number	Diff line
		@@ -1090,7 +1090,50 @@ module ePassport_Testcases {

		group groupLDS_D {

		// LDS_D_12: BHT, incorrect biometric subtype
		// LDS_D03: Three WSQ fingerprint images
		// This test case verifies that the inspection system performs correctly if EF.DG3
		// contains three fingerprints in WSQ format
		// Profile: AIP
		// Configuration file: default EAC + EF.DG3 with three fingerprints in WSQ format
		// Expected results: "ePassport inspection procedure successful"
		// Interface: BAC: PASS, PA: PASS, AA: NP, TA: PASS, CA: PASS, COM: PASS
		testcase TC_LDS_D03() runs on MRTD system MRTD_System {

		var template IsVerdictList vt_expectedFailResults := {};
		var template IsVerdictList vt_expectedPassResults := {
		e_aisNoFailure,
		e_aisBacAuthentication,
		e_aisPassiveAuthentication,
		e_aisChipAuthentication,
		e_aisTerminalAuthentication,
		e_aisCommunication
		};

		// Preamble
		f_cfUp();
		f_initializeMRTD("CFG.EAC.LDS.D03");
		f_initializeIS("");

		// Test Body
		t_ac.start(PXT_TWAIT);
		alt {
		[] a_advancedInspectionProcedure();

		[PXT_AUTOMATIC_TEST_INTERFACE] a_aisReports();

		[] t_ac.timeout {
		log("** TC_LDS_D03: Timeout: No more communication **");
		}
		}

		f_establishVerdict("TC_LDS_D03", vt_expectedFailResults, vt_expectedPassResults);

		// Postamble
		f_cleanUp();

		} // end TC_LDS_D03

		// LDS_D12: BHT, incorrect biometric subtype
		// This test case verifies that the inspection system performs correctly if EF.DG3 is
		// wrong (BHT, incorrect biometric subtype)
		// Profile: AIP
		@@ -1134,8 +1177,186 @@ module ePassport_Testcases {

		} // end TC_LDS_D12

		// LDS_D15: Missing fingerprint image in instance two (tag 5F2E)
		// This test case verifies that the inspection system performs correctly if EF.DG3 is
		// wrong (Missing fingerprint image in instance two (tag 5F2E))
		// Profile: AIP
		// Configuration file: default EAC + EF.DG3 with missing fingerprint image in instance two (tag 5F2E)
		// Expected results: "ePassport inspection procedure failed"
		// Interface: BAC: PASS, PA: PASS, AA: NP, TA: PASS, CA: PASS, COM: PASS, DG3: FAIL
		testcase TC_LDS_D15() runs on MRTD system MRTD_System {

		var template IsVerdictList vt_expectedFailResults := {
		e_aisDg3
		};
		var template IsVerdictList vt_expectedPassResults := {
		e_aisBacAuthentication,
		e_aisPassiveAuthentication,
		e_aisChipAuthentication,
		e_aisTerminalAuthentication,
		e_aisCommunication
		};

		// Preamble
		f_cfUp();
		f_initializeMRTD("CFG.EAC.LDS.D15");
		f_initializeIS("");

		// Test Body
		t_ac.start(PXT_TWAIT);
		alt {
		[] a_advancedInspectionProcedure();

		[PXT_AUTOMATIC_TEST_INTERFACE] a_aisReports();

		[] t_ac.timeout {
		log("** TC_LDS_D15: Timeout: No more communication **");
		}
		}

		f_establishVerdict("TC_LDS_D15", vt_expectedFailResults, vt_expectedPassResults);

		// Postamble
		f_cleanUp();

		} // end TC_LDS_D15

		} // end groupLDS_D

		group groupLDS_E {

		// LDS_E01: Two JPEG2000 iris images
		// This test case verifies that the inspection system performs correctly if EF.DG4
		// contains two iris images in JPEG2000 format
		// Profile: AIP
		// Configuration file: default EAC + Iris image set 2: Two iris images in JPEG2000 format
		// Expected results: "ePassport inspection procedure successful"
		// Interface: BAC: PASS, PA: PASS, AA: NP, TA: PASS, CA: PASS, COM: PASS
		testcase TC_LDS_E01() runs on MRTD system MRTD_System {

		var template IsVerdictList vt_expectedFailResults := {};
		var template IsVerdictList vt_expectedPassResults := {
		e_aisNoFailure,
		e_aisBacAuthentication,
		e_aisPassiveAuthentication,
		e_aisChipAuthentication,
		e_aisTerminalAuthentication,
		e_aisCommunication
		};

		// Preamble
		f_cfUp();
		f_initializeMRTD("CFG.EAC.LDS.E01");
		f_initializeIS("");

		// Test Body
		t_ac.start(PXT_TWAIT);
		alt {
		[] a_advancedInspectionProcedure();

		[PXT_AUTOMATIC_TEST_INTERFACE] a_aisReports();

		[] t_ac.timeout {
		log("** TC_LDS_E01: Timeout: No more communication **");
		}
		}

		f_establishVerdict("TC_LDS_E01", vt_expectedFailResults, vt_expectedPassResults);

		// Postamble
		f_cleanUp();

		} // end TC_LDS_E01

		// LDS_E02: Two RAW iris images
		// This test case verifies that the inspection system performs correctly if EF.DG4
		// contains two iris images in RAW format
		// Profile: AIP
		// Configuration file: default EAC
		// Expected results: "ePassport inspection procedure successful"
		// Interface: BAC: PASS, PA: PASS, AA: NP, TA: PASS, CA: PASS, COM: PASS
		testcase TC_LDS_E02() runs on MRTD system MRTD_System {

		var template IsVerdictList vt_expectedFailResults := {};
		var template IsVerdictList vt_expectedPassResults := {
		e_aisNoFailure,
		e_aisBacAuthentication,
		e_aisPassiveAuthentication,
		e_aisChipAuthentication,
		e_aisTerminalAuthentication,
		e_aisCommunication
		};

		// Preamble
		f_cfUp();
		f_initializeMRTD("CFG.DFLT.EAC");
		f_initializeIS("");

		// Test Body
		t_ac.start(PXT_TWAIT);
		alt {
		[] a_advancedInspectionProcedure();

		[PXT_AUTOMATIC_TEST_INTERFACE] a_aisReports();

		[] t_ac.timeout {
		log("** TC_LDS_E02: Timeout: No more communication **");
		}
		}

		f_establishVerdict("TC_LDS_E02", vt_expectedFailResults, vt_expectedPassResults);

		// Postamble
		f_cleanUp();

		} // end TC_LDS_E02

		// LDS_E09: BHT, not allowed format type
		// This test case verifies that the inspection system performs correctly if EF.DG4 is
		// wrong (BHT, not allowed format type)
		// Profile: AIP
		// Configuration file: default EAC + EF.DG4 with not allowed format type of first instance. Set value to 000F
		// Expected results: "ePassport inspection procedure failed"
		// Interface: BAC: PASS, PA: PASS, AA: NP, TA: PASS, CA: PASS, COM: PASS, DG4: FAIL
		testcase TC_LDS_E09() runs on MRTD system MRTD_System {

		var template IsVerdictList vt_expectedFailResults := {
		e_aisDg4
		};
		var template IsVerdictList vt_expectedPassResults := {
		e_aisBacAuthentication,
		e_aisPassiveAuthentication,
		e_aisChipAuthentication,
		e_aisTerminalAuthentication,
		e_aisCommunication
		};

		// Preamble
		f_cfUp();
		f_initializeMRTD("CFG.EAC.LDS.E09");
		f_initializeIS("");

		// Test Body
		t_ac.start(PXT_TWAIT);
		alt {
		[] a_advancedInspectionProcedure();

		[PXT_AUTOMATIC_TEST_INTERFACE] a_aisReports();

		[] t_ac.timeout {
		log("** TC_LDS_E09: Timeout: No more communication **");
		}
		}

		f_establishVerdict("TC_LDS_E09", vt_expectedFailResults, vt_expectedPassResults);

		// Postamble
		f_cleanUp();

		} // end TC_LDS_E09

		} // end groupLDS_E

		group groupLDS_F {

		// LDS_F04: SecurityInfos, illegal chip authentication OID
		@@ -1182,8 +1403,140 @@ module ePassport_Testcases {

		} // end TC_LDS_F04

		// LDS_F06: ChipAuthenticationInfo, incorrect version element
		// Purpose: This test case verifies that the inspection system performs correctly if EF.DG14
		// is wrong (incorrect version element in ChipAuthenticationInfo)
		// Profile: AIP
		// Configuration file: default EAC + EF.DG14 with incorrect version element in ChipAuthenticationInfo.
		// Set value to 10
		// Expected results: "ePassport inspection procedure failed"
		// Interface: BAC: PASS, PA: PASS, AA: NP, TA: NP, CA: FAIL, COM: PASS, DG14: FAIL
		testcase TC_LDS_F06() runs on MRTD system MRTD_System {

		var template IsVerdictList vt_expectedFailResults := {
		e_aisChipAuthentication,
		e_aisDg14
		};
		var template IsVerdictList vt_expectedPassResults := {
		e_aisBacAuthentication,
		e_aisPassiveAuthentication,
		e_aisCommunication
		};

		// Preamble
		f_cfUp();
		f_initializeMRTD("CFG.EAC.LDS.F06");
		f_initializeIS("");

		// Test Body
		t_ac.start(PXT_TWAIT);
		alt {
		[] a_advancedInspectionProcedure();

		[PXT_AUTOMATIC_TEST_INTERFACE] a_aisReports();

		[] t_ac.timeout {
		log("** TC_LDS_F06: Timeout: No more communication **");
		}
		}

		f_establishVerdict("TC_LDS_F06", vt_expectedFailResults, vt_expectedPassResults);

		// Postamble
		f_cleanUp();

		} // end TC_LDS_F06

		} // end groupLDS_F

		group groupLDS_G {

		// LDS_G01: First CAR not encoded by tag 42
		// Purpose: This test case verifies that the inspection system performs correctly if EF.CVCA
		// is wrong (first CAR is not encoded by tag 42)
		// Profile: AIP
		// Configuration file: default EAC + EF.CVCA with first CAR not encoded by tag 42
		// Expected results: "ePassport inspection procedure failed"
		// Interface: BAC: PASS, PA: PASS, AA: NP, TA: NP, CA: NP, COM: PASS, EF.CVCA: FAIL
		testcase TC_LDS_G01() runs on MRTD system MRTD_System {

		var template IsVerdictList vt_expectedFailResults := {
		e_aisEfCvca
		};
		var template IsVerdictList vt_expectedPassResults := {
		e_aisBacAuthentication,
		e_aisPassiveAuthentication,
		e_aisCommunication
		};

		// Preamble
		f_cfUp();
		f_initializeMRTD("CFG.EAC.LDS.G01");
		f_initializeIS("");

		// Test Body
		t_ac.start(PXT_TWAIT);
		alt {
		[] a_advancedInspectionProcedure();

		[PXT_AUTOMATIC_TEST_INTERFACE] a_aisReports();

		[] t_ac.timeout {
		log("** TC_LDS_G01: Timeout: No more communication **");
		}
		}

		f_establishVerdict("TC_LDS_G01", vt_expectedFailResults, vt_expectedPassResults);

		// Postamble
		f_cleanUp();

		} // end TC_LDS_G01

		// LDS_G02: Missing CARs, file empty, no trust point implemented
		// Purpose: This test case verifies that the inspection system performs correctly if EF.CVCA
		// is wrong (missing CARs, file empty, no trust point implemented)
		// Profile: AIP
		// Configuration file: default EAC + Use EF.CVCA with missing CARs
		// Expected results: "ePassport inspection procedure failed"
		// Interface: BAC: PASS, PA: PASS, AA: NP, TA: NP, CA: NP, COM: PASS, EF.CVCA: FAIL
		testcase TC_LDS_G02() runs on MRTD system MRTD_System {

		var template IsVerdictList vt_expectedFailResults := {
		e_aisEfCvca
		};
		var template IsVerdictList vt_expectedPassResults := {
		e_aisBacAuthentication,
		e_aisPassiveAuthentication,
		e_aisCommunication
		};

		// Preamble
		f_cfUp();
		f_initializeMRTD("CFG.EAC.LDS.G02");
		f_initializeIS("");

		// Test Body
		t_ac.start(PXT_TWAIT);
		alt {
		[] a_advancedInspectionProcedure();

		[PXT_AUTOMATIC_TEST_INTERFACE] a_aisReports();

		[] t_ac.timeout {
		log("** TC_LDS_G02: Timeout: No more communication **");
		}
		}

		f_establishVerdict("TC_LDS_G02", vt_expectedFailResults, vt_expectedPassResults);

		// Postamble
		f_cleanUp();

		} // end TC_LDS_G02

		} // end groupLDS_G

		group groupLDS_H {

		// LDS_H37: SignerInfo, incorrect Signature
		@@ -1232,4 +1585,53 @@ module ePassport_Testcases {

		} // end groupLDS_H

		group groupLDS_I {

		// LDS_I01: DG tag 6F wrong (use tag 70 instead)
		// Purpose: This test case verifies that the inspection system performs Active Authentication
		// with wrong tag in data group
		// Profile: AIP
		// Configuration file: default EAC + EF.DG15 with wrong tag
		// Expected results: "ePassport inspection procedure failed"
		// Interface: BAC: PASS, PA: PASS, AA: FAIL, TA: PASS, CA: PASS, COM:PASS, DG15: FAIL
		testcase TC_LDS_I01() runs on MRTD system MRTD_System {

		var template IsVerdictList vt_expectedFailResults := {
		e_aisActiveAuthentication,
		e_aisDg15
		};
		var template IsVerdictList vt_expectedPassResults := {
		e_aisBacAuthentication,
		e_aisPassiveAuthentication,
		e_aisChipAuthentication,
		e_aisTerminalAuthentication,
		e_aisCommunication
		};

		// Preamble
		f_cfUp();
		f_initializeMRTD("CFG.EAC.LDS.I01");
		f_initializeIS("");

		// Test Body
		t_ac.start(PXT_TWAIT);
		alt {
		[] a_advancedInspectionProcedure();

		[PXT_AUTOMATIC_TEST_INTERFACE] a_aisReports();

		[] t_ac.timeout {
		log("** TC_LDS_I01: Timeout: No more communication **");
		}
		}

		f_establishVerdict("TC_LDS_I01", vt_expectedFailResults, vt_expectedPassResults);

		// Postamble
		f_cleanUp();

		} // end TC_LDS_I01

		} // end groupLDS_I

		} // end ePassport_Testcases