雙界面智能卡操作系統的設計與測試

　　1.引言
　　
　　智能卡(smartcard又稱集成電路卡)將一個集成電路芯片鑲嵌于塑料基片中，封裝成卡的形式，其外形與覆蓋磁條的磁卡相似。
　　
　　筆者在利用北京市嵌入式系統重點實驗室生產的智能卡進行符合中國人民銀行金融卡規范的BESCOS開發過程中，針對該款芯片的硬件特性進行了COS的設計與實現，并根據規范設計了測試用例，完成了測試。
　　
　　2.智能卡硬件概述
　　
　　BES1332EF是一款基于8051的雙界面智能卡芯片。非接觸式接口支持ISO14443TYPEA協議，接觸式接口支持ISO/IEC7816T=0協議。有8K的ROM，32K的EFLASH，1K的RAM，硬件隨機數發生器，CRC模塊以及DES模塊。
　　
　　3.智能卡操作系統
　　
　　智能卡操作系統是一個系統，和傳統意義上的操作系統有很大的差別，它更類似于一個監控程序。COS主要包含通信、命令解釋、文件系統以及安全四個模塊。
　　
　　3.1通信模塊
　　
　　傳輸管理器負責智能卡和接口設備之間的數據通信，接收過程中要處理對輸入數據的緩沖，響應過程控制數據的發送。通信使用的協議是ISO7816-3所規定的T=0的異步半雙工字符傳輸協議。當接口設備給卡上電之后，首先由卡發送一個復位應答信息(ATR)給接口設備，然后接口設備發送命令頭來啟動命令處理過程。傳輸管理器在正確地接收到命令后交給下一個功能模塊進行處理，昀后還要把該命令的執行結果返回給接口設備。
　　
　　3.2命令解釋模塊
　　
　　命令解釋器對外部輸入的每條命令做語法分析，分析和檢查命令參數是否正確，然后根據命令參數的含義執行相應的功能模塊。如果發現參數有錯，將從該模塊直接返回錯誤信息。
　　
　　3.3文件系統
　　
　　主控文件(MasterFile,MF)。主控文件是整個文件系統的根(可看做根目錄)，每張卡有且只有一個主控文件。文件(DedicatedFile，DF)。在MF下針對不同的應用建立起來的一種文件，是位于MF之下的含有EF的一種文件結構(可看做文件目錄)，它存儲了某個應用的全部數據以及與應用操作相關的安全數據?；疚募?ElementaryFile，EF)。基本文件存儲了各種應用的數據和管理信息，它存在于MF和DF下。
　　
　　3.4安全模塊
　　
　　安全模塊主要分成兩個部分。*部分就是用于數據加密、校驗等的基礎功能模塊。包括隨機數產生、3DES加密、MAC計算模塊、CRC計算模塊等。第二部分是文件的權限控制模塊。在BESCOS中，MF、DF和EF的文件頭中保存著一個權限范圍，而系統在某一時刻都有著當前的權限值，如果權限值在權限范圍中，則可以進行相應操作，否則，則需要外部認證等手段改變系統當前的權限值。
　　
　　4.智能卡的測試
　　
　　4.1測試環境
　　
　　智能卡的測試主要分兩個部分，一是硬件測試，二是軟件測試。從硬件測試的層面來說，選取一個功能強的于測試讀卡器是十分必要的。比如在IC卡的7816通信接口還沒有*實現的時候，通過普通的讀卡器對卡片進行操作，返回值在讀卡器這邊是無法看到的，因為大多數讀卡器屏蔽了不符合7816的TPDU規定的數據，而如果每次都用示波器觀察硬件信號的話，效率又比較低。所以應該盡量選擇可以看到底層交互數據的讀卡器。
　　
　　從軟件測試的層面來說，選取一個對上層提供了友好的接口的讀卡器也是十分必要的。例如我在開發BESCOS時使用的讀卡器Collis，提供了與其配套的腳本開發環境CollisConclusion，可以方便的設置讀卡器的電壓，頻率，等待超時時間等。還提供了設定期望返回值的功能。
　　
　　4.2測試腳本
　　
　　測試腳本主要分為功能正確情況測試，功能異常情況測試，參數測試，安全機制測試以及應用流程測試。
　　
　　功能正確情況測試是指在輸入的參數都合法，執行的條件都具備，所執行的命令應該可以正常執行的情況下，檢查所測命令是否能夠正確執行涉及的功能步驟。功能異常情況測試是指在輸入的參數都合法，但執行的條件不具備，檢測COS是否都返回了相應的錯誤代碼。參數測試是指，固定所測命令參數P1、P2、Lc和數據與正確且不變的情況下，利用窮舉法便利每一個錯誤的CLA作為輸入參數，測試COS是否都能正確響應錯誤代碼，其他的參數測試同理。安全機制測試是指在操作一個基本文件時，該文件可能有一個或者多個安全控制機制。應用流程測試，是指將命令組合起來成為一個應用流程，檢測整個流程是否都能正確執行，檢測基本命令之間是否會有影響。
　　
　　5.結束語
　　
　　目前COS已經通過了第三方的測試，目前正在準備上金融卡檢測中心的測試平臺。COS開發中昀大的困難就是調試不便，直到后來在芯片中加入了OCI，才可實現單步調試以及存儲單元值的查看。COS的開發語言C/匯編也比較低級，影響了開發的效率以及易維護性。相信隨著IC卡成本的降低，支持java語言的java卡會更加的普及。