智能卡操作系统的测试技术

智能卡操作系统是智能卡能够支持复杂且安全的应用的基础,目前智能卡操作系统的测试并没有形成成熟的模式。为了在智能卡操作系统的开发中能够对操作系统进行全面并充分的测试,根据智能卡操作系统的体系结构特点、状态转移过程和通信方式,结合软件测试中的理论方法及测试技术,从基本功能、防拔插及耐久性三方面对智能卡操作系统的测试进行研究,给出了智能卡操作系统的测试方案。在EVDO卡的测试中表明,该测试方案是可行的。     

基于CDMA2000的智能卡操作系统的测试技术研究

智能卡操作系统是智能卡资源的管理者,它将智能卡芯片内各种硬件与用户所要求的应用系统密切结合起来,是整个卡片的灵魂。随着智能卡的应用越来越广泛,对其操作系统的质量要求也越来越高,因此必须对其进行全面的、高质量、高效率的测试。文中介绍了基于CDMA2000 1xEV-DO网络的手机智能卡操作系统结构,分析了其主要测试内容并给出了该系统的测试方案。为提高其测试效率,采用了自动化测试技术,对自动化测试工具的设计原理做了简单介绍,并最终完成了测试。     

智能卡COS测试方案的研究

操作系统的稳定和可靠是智能卡正常工作的基础。在COS开发过程中,对COS充分全面的测试是非常重要的。本文在介绍智能卡操作系统的体系结构的基础上,给出了智能卡COS的测试方案。对于同一应用类型的COS,测试具有一定的重用性。     

双界面智能卡操作系统的设计与测试

本文提出了双界面智能卡操作系统的设计方案以及测试方案。设计方案主要阐述了COS功能模块的划分,以及各个模块的功能和实现方法。测试方案包括测试中软硬件环境的选择,以及测试脚本需要覆盖的内容。目前已将开发成果应用于实际中。     

智能卡COS操作系统高速下载的研究与实现

随着信息化时代的到来,智能卡作为信息化技术标志之一,在金融等方面的应用逐渐普及。智能卡操作系统不同于传统软件,它工作在嵌入式环境,具有硬件资源有限、工作环境不稳定等特点,所以其设计方法与传统方法有所不同。智能卡操作系统在投入使用之前,必须经过严格的测试,这是由嵌入式系统工作的特性决定的,因为当软件工作后出现漏洞时很难进行弥补。本文通过对智能卡下载机制的研究,改进设计以提高智能卡操作系统的下载速度,进而提高测试效率和缩短发卡时间。     

linux平台下智能卡的支持方案

在电子商务和电子政务领域，能够提供双因素身份验证的智能卡无疑是当前身份验证领域的热门。然而在开源的linux平台上，智能卡的应用发展的比较缓慢，没有相应的操作系统进行整体性的支持。如何实现linux对智能卡的支持？通过对pc／sc协议和linux操作系统的分析．得到了linux平台下支持智能卡的实现方案。包括PC／SC简介；PC／SC中间件的安装；读卡器驱动程序的安装；pc／sc系统服务的设计；pc／sc服务加入系统守护进程。     

智能卡操作系统自动化测试方法的研究与实现

针对现有智能卡操作系统COS(Chip Operating System)测试难、效率低,以及现有测试工具通用性差、测试脚本复用程度低的问题,结合智能卡软件测试的特点,提出一种针对智能卡操作系统测试的通用测试脚本语言UCSL;并对该语言的语法结构及其相应解释器的设计进行研究和实现。应用实践表明:UCSL脚本语言具有语法简单、结构清晰、易于维护,便于扩展等优点,能够用于多种COS的测试。     

一种新的多应用智能卡操作系统测试方法

目前智能卡操作系统测试主要针对特定版本的操作系统设计,对操作系统各项功能测试不够全面,尤其对多应用安全性少有关注。介绍一种新的智能卡操作系统测试方法,分为未知指令安全性、特定算法正确性、文件系统访问控制、指令一致性、个人化后文件操作及访问控制以及多应用安全性六部分。测试系统通过加载运行脚本完成测试,适用于多规范下多版本操作系统测试。     

智能卡COS的安全性测试研究

智能卡操作系统(COS)的安全性至关重要。通过分析智能卡使用环境得出潜在的不安全因素,结合软件测试的基础知识,研究针对智能卡COS安全的详细测试内容,从而不仅对智能卡COS其他方面的测试有帮助,而且对其他软件的安全性测试有借鉴意义。     

linux平台下智能卡的支持方案

在电子商务和电子政务领域,能够提供双因素身份验证的智能卡无疑是当前身份验证领域的热门。然而在开源的linux平台上,智能卡的应用发展的比较缓慢,没有相应的操作系统进行整体性的支持。如何实现linux对智能卡的支持?通过对pc/sc协议和linux操作系统的分析,得到了linux平台下支持智能卡的实现方案。包括PC/SC简介;PC/SC中间件的安装;读卡器驱动程序的安装;pc/sc系统服务的设计;pc/sc服务加入系统守护进程。     

一种CPU芯片硬件验证调试平台的设计与实现

给出了CPU芯片硬件验证调试平台的一种具体设计方案．该验证调试平台在设计方法上采用了程序性在线测试方法．该平台构建了CPU芯片的运行环境，能够控制CPU芯片输入脉冲单拍／多拍或连续运行，并且在CPU芯片的运行过程中可以监测CPU芯片内部寄存器的内容．该平台的实现不仅有益于CPU芯片的设计和调试，而且能够作为CPU芯片设计教学系统以及嵌入式系统开发平台．     

基于智能卡的椭圆曲线动态身份认证体制

基于智能卡的身份认证应用被普遍认为是一项极具前景技术,由于其存储空间与处理能力的限制,现有的身份认证方案当应用到一些受限制环境下,如无线终端等,都存在安全性或效率上的不足。该文利用椭圆曲线密码系统,构建了一个新的、高效的、可证安全的身份认证方案。     

3G智能卡文件系统的研究与设计

对基于Flash的3G智能卡文件系统的研究与设计,引用了数据库日志技术和掉电保护机制,保证了智能卡文件系统可靠性,数据的一致性和完整性;按字节静态分配存储空间、合理有效地回收与重用碎片空间,提高了存储空间的利用率;平均磨损和页面映射技术的使用延长了Flash的使用寿命;有效的存储设计提高了数据检索的速度,从而提高了智能卡的整体性能。测试证实了该文件系统设计适合3G EVDO卡。     

基于单片机的涡卷式空压机电控系统设计

涡卷式空气压缩机是一种新型空气压缩机,具有噪声低、体积小、可靠性好等特点。本文提出了一种基于ATMEL89C52单片机的涡卷式空气压缩机电气控制系统的实现方案,详细说明了总体方案设计、硬件设计与软件设计,并给出了关键元器件的选型。实际结果表明:该系统具有可靠性好、控制精度高、操作简便、配置灵活、直观的故障指示及完善的自保护等特点,完全满足了涡卷式空气压缩机现场控制的要求,是涡卷式空气压缩机的理想配套产品。     

一种通用高精度存储式冲击波测试系统设计

针对现有冲击波测试系统精度不足及爆炸测试后易损坏的问题,设计了一种通用式高精度存储式冲击波测试系统.首先,该系统以通用、模块化的总体设计思想,在此基础上把操作面板、传感器、采集电路、存储电路集成一体.测试系统以FPGA为主控芯片,采用ICP型压力传感器,将采集到的信号通过高精度A/D转换器进行数/模转换,并存储在NAN...     

基于AES-128的高性能智能安全卡的设计与实现

一种高性能智能安全卡的设计和实现方案基于AVR单片机,结合USB 接口技术,采用Rijndael算法(AES-128)和分布式CA认证体制体现了数据处理速度快、安全性强、数据吞吐量高、应用方便等特点。     

基于GSM 远程控制的智能家居系统开发

本文针对当前家居设备的智能化控制的需求,提出了一种采用单片机为主控芯片,能实现家居智能控制与安 防控制的技术方案。本方案采用GSM移动短信网络进行远程通信,结合传感器、继电器等硬件控制电路,设计了具备远程控 制功能的智能家居系统。根据测试反馈,本系统性价比高,安全可靠,功能符合家居控制需求。     

微机械陀螺管芯测试方法

采用低分布参数陶瓷探针卡和卡上前置放大器的静电驱动测试方案,解决了微机械陀螺管芯测试中分布参数的影响问题,测得准确的频率特性,获得应用、评估中必需的谐振频率、品质因数(Q值)等参数。在将管芯与测试电路分离、结合的过程中,四维精密位移台发挥了良好的作用。显微视频系统使观察、记录更加准确方便。虚拟仪器技术的应用提高了测试过程的自动化程度。系统为快速剔除不合格产品、测试评估各项性能指标提供了快速有效途径,在促进微机械陀螺技术发展与产业化过程中必将发挥重要的作用。     

基于最少器件电路替代智能卡接口芯片的设计

简述了数字电视系统中智能卡的工作原理,介绍了智能卡接口芯片TDA8024的功能,由此设计了一款电路替代TDA8024,并分析了测试结果。结果表明,此电路能够很好的替代TDA8024实现智能卡与机顶盒的通信,符合ISO7816标准,有效地降低了成本。目前此电路已经应用于数字机顶盒产品中。     

一种基于智能卡的可信监视器程序实现方法

智能卡的安全机制存在篡改存储数据或代码、拒绝服务攻击、重新编程等安全问题,其根源在于卡的合法应用环境发生了改变、正常应用操作序列发生了错乱或模仿。针对上述问题,结合智能卡应用与可信计算技术,提出一种对智能卡计算环境可信和行为可信的验证方法。通过智能卡COS的开发实现该可信增强的技术。该方法可提高金融卡应用的可信度。