用于密码芯片的前馈异或安全扫描结构

扫描结构在给密码芯片增加可测性的同时也可能被不当使用为旁路攻击路径,使密码芯片的密钥信息泄露.为解决这个问题,提出一种前馈异或安全扫描结构.首先将异或安全扫描寄存器引入扫描结构中,该结构对测试图形进行输入?输出线性变换,实现对测试图形的硬件加密;然后分析了该结构的安全性并给出其测试图形生成算法.实验结果表明,文中提出的安全扫描结构能抗击基于扫描结构的旁路攻击和复位攻击,并保留了传统扫描结构的高测试覆盖率.     

支持SVF的边界扫描测试系统的设计与实现

边界扫描技术是一种完整的、标准化的可测性设计方法,它提供了对电路板上器件的功能、互连等进行测试的新途径.本设计实现了一种能够自动生成SVF测试图形的边界扫描测试系统,然后利用该系统进行了PCB板级的扫描链完整性测试和芯片互连测试,测试结果分析表明系统可以检测出被测对象的故障类型.     

数模混合电路互连测试矢量自动生成的实现

测试矢量的自动生成研究一直都是板级边界扫描互连测试中的重点，针对数模混合被测电路的不同结构类型，特别是多扇出类型结点相连的复杂情况，建立了具有代表性的互连结构测试模型；在此模型的基础上提出可进行完备性测试矢量的自动生成算法并用软件加以实现；利用该算法，对实际DEMO板上的芯片进行了互连测试，测试结果表明该算法满足板级边界扫描互连测试的矢量自动生成要求。     

信息安全中序列随机性测试系统的研究与设计

在密码技术中,随机序列是非常重要的,序列的随机性测试一直是信息安全领域重要的研究方向.针对当前随机性测试系统存在的不足,在Visual C .NET下研究并设计了一个随机性测试系统.根据流密码和分组密码的不同,该系统分开进行测试.在流密码中提出一种新的测试序列的划分和组织方式,而在分组密码中则设计了3种数据模式来构造待检序列.该系统经过严格测试,证明可以快速,准确的进行流密码、分组密码以及随机数发生器的随机性测试.     

含ROM和RAM芯片的数字电路板测试生成

针对数字电路板中含ROM和RAM芯片电路板故障诊断难的现状，采用器件等效模型方法和改进的组合时序电路测试乍成算法，研制开发了一套支持ROM／RAM器件测试生成、集电路模型输入、测试生成算法、敝障仿真及IEEE-1415标准测试数据转换功能于一体的数字电路板故障诊断测试数据自动生成系统，应用结果表明，该系统测试生成效率高、故障诊断精度高．具有一定的实州性和推广价值。     

基于JPF的类数据流测试生成技术

通过设置陷阱性质，用时序逻辑公式表示数据流测试的覆盖准则，将测试生成问题简化成模型检测中寻找反例的问题，自动生成满足数据流覆盖准则的类方法测试调用序列，提出了一种适用于类方法调用序列自动生成的搜索算法，并在程序模型检测器JPF上实现。算法分析和实验结果表明，该算法能生成高效的方法调用序列并明显减少测试生成代价。     

基于确定性测试图形的BIST构建方法

为降低内建自测试(Build-in Self Test,BIST)的测试功耗,提出了一种基于确定性测试图形的内建自测试构建方法:首先采用D算法生成测试所需的测试图形,然后使用粒子群算法对其进行优化,使内建自测试的功耗大幅度降低;文中最后以ISCAS'85Benchmark中的部分电路作为实验对象,并给出了测试图形优化前后的功耗数;实验结果证明该方法能够有效降低内建自测试的测试功耗,并且具有方法简单、无需额外硬件开销的特点.     

基于安全策略模型的安全功能测试用例生成方法

实施第三方安全功能独立测试是信息安全产品测评中的一个重要环节,对于以安全数据库管理系统为代表的信息安全产品,其系统规约的测试并不能完全真实反映系统行为,还需要满足系统安全策略.提出了基于安全策略模型的安全功能测试用例自动生成方法,该方法包括基于语法的划分、基于规则的划分、基于类型的划分等步骤,依据形式化安全模型生成正确描述系统行为的操作测试用例集.该方法有助于提高测试质量,发现手工测试中难以发现的缺陷,并有助于减少测试过程中的重复劳动,实现测试自动化并提高测试效率.     

图形处理器电路设计仿真与测试技术研究

文章根据图形处理器芯片的功能结构,提出了电路设计要求,给出了仿真波形图,基于芯片的电路仿真结果,结合93000测试系统给出了测试图形转换方法,转换生成测试图形,完成超大规模复杂芯片的功能测试,并给出了图形处理器的测试波形和数据结果.     

载人航天器自动化测试系统设计与应用

针对现有航天器测试不具备流程化、自动化程控的问题,提出了一种载人航天器自动化测试系统。该系统以测试项目模块化思想为依托,提供了测试子项目设计平台,自动生成测试程序、测试细则文档,自动执行测试程序并实现无人值守,在出现异常时根据程序设计自主跳转或等待人工决策,实时记录测试过程信息,测试结束后自动生成测试报表并评估当前测试是否有效通过。对系统方案、接口方式、部署及管理模式进行了分析,通过型号测试进行了试验验证,该系统实现了测试各阶段流程化、自动化程控,提高了测试效率。