智能卡操作系統(tǒng)測試腳本語言的設(shè)計與實現(xiàn).pdf

1、近年來，隨著信息技術(shù)的快速發(fā)展和日益普及，智能卡的應(yīng)用市場和應(yīng)用領(lǐng)域也在不斷擴大，例如手機卡、銀行卡、身份證和社?？ǖ鹊钠毡閼?yīng)用。智能卡的使用離不開其內(nèi)部的操作系統(tǒng)(COS)的支持。COS控制智能卡與外界的信息交互，管理卡內(nèi)的存儲器并在卡內(nèi)完成各種命令處理。COS的可靠性和穩(wěn)定性直接關(guān)系到整個卡片的生命質(zhì)量，COS失效，可能會給用戶或企業(yè)造成非常嚴(yán)重的后果。因此，為了保證COS的質(zhì)量，需要一種正規(guī)、全面和可靠的測試方法。本文在學(xué)習(xí)前人所

2、做工作的基礎(chǔ)上，提出了一種新的COS腳本測試方法。
　　 本文首先分析了當(dāng)前常用的軟件自動化測試工具和測試方法，從中學(xué)習(xí)好的方法和經(jīng)驗。然后介紹了軟件測試?yán)碚摰南嚓P(guān)基礎(chǔ)知識，并分析了嵌入式軟件的特點，對嵌入式軟件的測試特點、測試模型和測試種類進行了相關(guān)研究，從而為實現(xiàn)COS的腳本測試技術(shù)奠定了堅實的理論基礎(chǔ)。
　　 本文研究了COS的軟/硬件體系結(jié)構(gòu)以及智能卡與讀卡器和終端之間的通信機制，針對COS的特點和功能結(jié)構(gòu)，對C

3、OS的測試提出采用腳本化的測試方法，并搭建了COS的測試平臺模型。同時，本文設(shè)計了一種針對COS測試的腳本語言UCSL，利用擴充的巴科斯-瑙爾范式(EBNF)，描述了UCSL腳本語言的主要語法定義，并詳細(xì)闡述了運行該腳本語言的解釋器的實現(xiàn)機制。
　　 利用所搭建的測試平臺和UCSL腳本語言，本文以居民健康卡為例，對居民健康卡COS設(shè)計了一套測試方案，分別從命令解釋功能、應(yīng)用功能、安全性、防插拔和耐久性等五個方面對COS進行了規(guī)范