CCID_Emulation: Add a Slot_CT + related helper functions
there's no point in all testsuites re-implementing that again and again.
This commit is contained in:
parent
5f00216c4a
commit
a9470fdc99
|
@ -10,6 +10,7 @@ module CCID_Emulation {
|
|||
|
||||
import from General_Types all;
|
||||
import from Osmocom_Types all;
|
||||
import from Misc_Helpers all;
|
||||
|
||||
import from USB_Types all;
|
||||
import from USB_Templates all;
|
||||
|
@ -20,6 +21,10 @@ import from USB_Component all;
|
|||
import from CCID_Types all;
|
||||
import from CCID_Templates all;
|
||||
|
||||
modulepar {
|
||||
boolean mp_quirk_resetpar_returns_slotsts := false;
|
||||
};
|
||||
|
||||
type enumerated CCID_Emulation_Event_UpDown {
|
||||
CCID_EVENT_UP,
|
||||
CCID_EVENT_DOWN
|
||||
|
@ -208,4 +213,156 @@ function main(CCID_Emulation_Params pars) runs on CCID_Emulation_CT {
|
|||
|
||||
|
||||
|
||||
|
||||
/* per-slot test component; manages one slot */
|
||||
type component Slot_CT {
|
||||
var uint8_t g_slot_nr;
|
||||
port CCID_SLOT_PT CCID;
|
||||
timer g_Tguard := 120.0;
|
||||
};
|
||||
|
||||
/* altstep running on the per-slot test component */
|
||||
altstep as_Tguard() runs on Slot_CT {
|
||||
[] g_Tguard.timeout {
|
||||
Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail, "Tguard timeout");
|
||||
}
|
||||
}
|
||||
|
||||
altstep as_ccid_any() runs on Slot_CT {
|
||||
var CCID_PDU pdu;
|
||||
[] CCID.receive(CCID_PDU:?) -> value pdu {
|
||||
setverdict(fail, "Received unexpected CCID ", pdu);
|
||||
self.stop;
|
||||
}
|
||||
[] CCID.receive {
|
||||
setverdict(fail, "Received unexpected non-CCID");
|
||||
self.stop;
|
||||
}
|
||||
}
|
||||
|
||||
/* transceive a CCID command (send 'tx' on OUT; expect 'rx' on IN) */
|
||||
private function f_ccid_xceive(template (value) CCID_PDU tx, template (present) CCID_PDU exp_rx)
|
||||
runs on Slot_CT return CCID_PDU {
|
||||
var CCID_PDU pdu;
|
||||
|
||||
tx.hdr.bSlot := g_slot_nr;
|
||||
exp_rx.hdr.bSlot := g_slot_nr;
|
||||
|
||||
CCID.send(tx);
|
||||
alt {
|
||||
[] CCID.receive(exp_rx) -> value pdu {
|
||||
return pdu;
|
||||
}
|
||||
[] as_ccid_any();
|
||||
}
|
||||
return pdu;
|
||||
}
|
||||
|
||||
private template (present) CCID_Header_IN tr_inact :=
|
||||
tr_CCID_HeaderIN_OK(icc_status := (CCID_ICC_STATUS_PRES_INACT, CCID_ICC_STATUS_NO_ICC));
|
||||
|
||||
private template (present) CCID_Header_IN tr_act :=
|
||||
tr_CCID_HeaderIN_OK(icc_status := CCID_ICC_STATUS_PRES_ACT);
|
||||
|
||||
/* Send IccPowerOn on OUT; expect DataBlock in retunr */
|
||||
function f_ccid_power_on(CCID_PowerSelect psel := CCID_PWRSEL_AUTO,
|
||||
template (present) CCID_Header_IN hdr_in := tr_act)
|
||||
runs on Slot_CT return CCID_PDU {
|
||||
var CCID_PDU pdu;
|
||||
|
||||
pdu := f_ccid_xceive(ts_CCID_IccPowerOn(g_slot_nr, psel),
|
||||
tr_CCID_DataBlock(g_slot_nr, hdr_in := hdr_in) );
|
||||
return pdu;
|
||||
}
|
||||
|
||||
/* Send IccPowerOn on OUT; expect SlotStatus in return */
|
||||
function f_ccid_power_off(template (present) CCID_Header_IN hdr_in := tr_inact)
|
||||
runs on Slot_CT return CCID_PDU {
|
||||
var CCID_PDU pdu;
|
||||
|
||||
pdu := f_ccid_xceive(ts_CCID_IccPowerOff(g_slot_nr),
|
||||
tr_CCID_SlotStatus(slot := g_slot_nr, hdr_in := hdr_in) );
|
||||
return pdu;
|
||||
}
|
||||
|
||||
/* Send IccClockCommand on OUT; expect SlotStatus in return */
|
||||
function f_ccid_clock_cmd(CCID_ClockCommand cmd,
|
||||
template (present) CCID_Header_IN hdr_in := tr_CCID_HeaderIN_OK)
|
||||
runs on Slot_CT return CCID_PDU {
|
||||
var CCID_PDU pdu;
|
||||
|
||||
pdu := f_ccid_xceive(ts_CCID_ClockCommand(g_slot_nr, cmd),
|
||||
tr_CCID_SlotStatus(slot := g_slot_nr, hdr_in := hdr_in));
|
||||
return pdu;
|
||||
}
|
||||
|
||||
/* Send XfrBlock on OUT; expect DataBlock in return */
|
||||
function f_ccid_xfr(octetstring tx, template octetstring rx) runs on Slot_CT return octetstring {
|
||||
var CCID_PDU pdu;
|
||||
|
||||
pdu := f_ccid_xceive(ts_CCID_XfrBlock(g_slot_nr, tx, 0),
|
||||
tr_CCID_DataBlock(g_slot_nr, ?, ?, rx) );
|
||||
return pdu.u.DataBlock.abData;
|
||||
}
|
||||
|
||||
/* Send SetParameters on OUT; expect Parameters on IN */
|
||||
function f_ccid_set_par(template (value) CCID_ProtocolData par,
|
||||
template (present) CCID_Header_IN hdr_in := tr_CCID_HeaderIN_OK)
|
||||
runs on Slot_CT return CCID_PDU {
|
||||
var CCID_PDU pdu;
|
||||
|
||||
pdu := f_ccid_xceive(ts_CCID_SetParameters(g_slot_nr, par),
|
||||
tr_CCID_Parameters(g_slot_nr, hdr_in := hdr_in));
|
||||
return pdu;
|
||||
}
|
||||
|
||||
/* Send GetParameters on OUT; expect Parameters on IN */
|
||||
function f_ccid_get_par(template (present) CCID_Header_IN hdr_in := tr_CCID_HeaderIN_OK)
|
||||
runs on Slot_CT return CCID_PDU {
|
||||
var CCID_PDU pdu;
|
||||
|
||||
pdu := f_ccid_xceive(ts_CCID_GetParameters(g_slot_nr),
|
||||
tr_CCID_Parameters(g_slot_nr, hdr_in := hdr_in));
|
||||
return pdu;
|
||||
}
|
||||
|
||||
/* Send ResetParameters on OUT; expect Parameters on IN */
|
||||
function f_ccid_reset_par(template (present) CCID_Header_IN hdr_in := tr_CCID_HeaderIN_OK)
|
||||
runs on Slot_CT return CCID_PDU {
|
||||
var CCID_PDU pdu;
|
||||
|
||||
/* [at least] Omnikey seems to have failed to follow the CCID spec here :/ */
|
||||
if (mp_quirk_resetpar_returns_slotsts) {
|
||||
pdu := f_ccid_xceive(ts_CCID_ResetParameters(g_slot_nr),
|
||||
tr_CCID_SlotStatus(g_slot_nr, hdr_in := hdr_in));
|
||||
} else {
|
||||
pdu := f_ccid_xceive(ts_CCID_ResetParameters(g_slot_nr),
|
||||
tr_CCID_Parameters(g_slot_nr, hdr_in := hdr_in));
|
||||
}
|
||||
return pdu;
|
||||
}
|
||||
|
||||
/* Send Escape on OUT; expect Escape on IN */
|
||||
function f_ccid_escape(template (value) octetstring data,
|
||||
template (present) CCID_Header_IN hdr_in := tr_CCID_HeaderIN_OK)
|
||||
runs on Slot_CT return CCID_PDU {
|
||||
var CCID_PDU pdu;
|
||||
|
||||
pdu := f_ccid_xceive(ts_CCID_Escape(g_slot_nr, data),
|
||||
tr_CCID_EscapeIN(g_slot_nr, hdr_in := hdr_in));
|
||||
return pdu;
|
||||
}
|
||||
|
||||
function f_ccid_get_slotstatus(template (present) CCID_Header_IN hdr_in := tr_CCID_HeaderIN_OK)
|
||||
runs on Slot_CT return CCID_PDU {
|
||||
var CCID_PDU pdu;
|
||||
|
||||
pdu := f_ccid_xceive(ts_CCID_GetSlotStatus(g_slot_nr),
|
||||
tr_CCID_SlotStatus(g_slot_nr, hdr_in := hdr_in));
|
||||
return pdu;
|
||||
}
|
||||
|
||||
|
||||
|
||||
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue