-
题名智能卡操作系统自动测试中的脚本技术
被引量:5
- 1
-
-
作者
周章慧
王同洋
吴俊军
张新访
-
机构
华中科技大学机械学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2008年第8期2068-2071,共4页
-
基金
湖北省信息产业专项基金项目(0609)
-
文摘
介绍了智能卡的特点,用巴科斯范式(BNF)给出了SCML脚本语言的主要语法定义。重点介绍了SCML解释执行的相关技术及如何对SCML语言进行扩展以满足不断变化的需求。把SCML应用到智能卡大师测试系统中可以实现测试自动化,实际表明该脚本技术可以适应各类智能卡测试的要求,并得到广泛应用。
-
关键词
智能卡芯片操作系统
测试自动化
脚本语言
语言解释器
智能卡大师
-
Keywords
smart card chip operating system (COS)
test automation
script language
language interpreter, smart card master
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名智能卡操作系统开发中的测试技术
被引量:9
- 2
-
-
作者
张利华
-
机构
北京航空航天大学
-
出处
《计算机工程与设计》
CSCD
2004年第6期901-902,931,共3页
-
基金
华东交通大学科研基金项目(2003)。
-
文摘
标准化和安全是智能卡应用的基本要求。在智能卡操作系统的开发中,要遵循软件工程和协议工程的 要求。测试是其中的重要环节。在介绍智能卡操作系统的体系结构的基础上,根据硬件、规范和COS的特点, 给出了双界面智能卡操作系统的测试方案,详细分析了测试用例的设计。第3方测试表明,测试方案是可行的。
-
关键词
智能卡
操作系统
测试技术
COS
通信管理模块
测试用例
-
Keywords
smart card
chip operation system
protocol test
test case
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种新的多应用智能卡操作系统测试方法
被引量:1
- 3
-
-
作者
戴聪
汤家华
陈峻念
-
机构
公安部第三研究所信息网络安全公安部重点实验室
上海市社会保障卡服务中心
-
出处
《计算机应用与软件》
CSCD
北大核心
2014年第8期38-41,共4页
-
基金
上海市科委科技攻关计划(11JG0500400
12511504201)
-
文摘
目前智能卡操作系统测试主要针对特定版本的操作系统设计,对操作系统各项功能测试不够全面,尤其对多应用安全性少有关注。介绍一种新的智能卡操作系统测试方法,分为未知指令安全性、特定算法正确性、文件系统访问控制、指令一致性、个人化后文件操作及访问控制以及多应用安全性六部分。测试系统通过加载运行脚本完成测试,适用于多规范下多版本操作系统测试。
-
关键词
智能卡操作系统
多应用
测试
-
Keywords
smart chip operating system multi-application test
-
分类号
TP309.1
[自动化与计算机技术—计算机系统结构]
-