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

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

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

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