采用数据流图的故障模型生成算法及其应用

为有效地解决系统级故障注入试验建模困难问题,提出语言级生成数据流图,并以此构造动态故障树的故障模型建立方法.通过对故障过程数据流分析,找出数据依赖关系并构造了故障模型生成算法.与其他方法比较,本算法具有动态性,提高了故障覆盖率,减少了系统开销,使故障注入试验更易实现.     

故障注入技术在系留气球中的应用

本文首先讨论了常规测试和故障注入技术所运用的领域,其次介绍了故障注入技术的原理、分类,并根据在系留气球使用过程中碰到的各种问题,进行了研究分析,提出了相应的故障注入方法,最后通过故障注入试验,证明了方法的有效性。     

基于半实物仿真的电路板故障注入系统设计与实现

为了满足某型装备电路板测试性与诊断设计评价的需求,提出了一种基于DSP技术,利用半实物仿真方式实现的故障注入系统;该系统以TMS320C5416系列DSP器件为核心器件,利用CPLD扩展外部电路,主控计算机与该系统的通信通过USB接口实现,在故障注入时通过半实物仿真模式实现对电路板典型故障的注入;通过对典型电路的故障注入试验表明,该系统可靠性高,配置灵活,使用方便;目前该系统已经在工程实践中得到应用,效果明显,对提高电路板测试性设计水平具有重要意义。     

基于未知故障模型的多重持续故障分析北大核心CSCD

持续故障分析是2018年提出的一种新型故障分析技术,该技术引起了国内外学者的广泛关注。目前虽然已经提出了各种针对不同密码系统的相关分析方法,但针对未知故障数量的故障模型的研究仍然一片空白。然而这是一种更为实际的攻击条件,尤其在多故障时,攻击者难以控制原始值集合与故障值集合没有重合。基于此,文章提出一种相对宽松的故障模型下的多重持续故障分析模型。攻击者无需知道任何关于故障值、位置,甚至数量的信息。充分利用持续故障在所有加密过程中保持不变的特性,利用密文不同字节的结果缩小故障值范围,最终达到恢复密钥的目的。理论证明和仿真实验验证了分析模型的有效性。以AES-128算法为例,在仅密文的条件下仅使用150条密文就可以将候选密钥数量控制在很小的范围内,攻击成功率为99%以上,有效减少了所需密文数量。当频繁更换密钥后,成功通过增加循环轮数恢复密钥,显著降低了攻击难度。     

一种针对FPGA位流的自动化故障注入分析方法

理论上通过篡改FPGA位流,利用其实现的密码算法的错误输出可以分析出密钥,但这种攻击通常需要非常了解目标FPGA的内部结构与位流的对应关系。而位流逆向的难度很大,导致此类攻击的实用性不高。文章提出一种针对FPGA位流的自动化故障注入分析方法,不需要逆向位流,结合张帆等人提出的持久性故障分析理论,把因篡改算法常量导致的出错结果作为可利用的故障。并首次在Xilinx-7系列FPGA开发板上利用Spider进行电压故障注入实验,480条错误密文就可以得到AES-128的密钥,且在10 min内可以完成数据的采集和分析。对于加密位流的情况,可以先利用电磁侧信道分析方法得到明文位流,再结合该文的分析方法来进行密钥破解。     

基于BIT设计的电子设备验证平台

机内测试(BIT)是应用于复杂电子系统中非常重要的一种自测试手段,是测试性设计实现的重要保证。嵌入式测试能力的好坏直接关系到系统或设备内部检测和隔离故障的能力优劣。针对电子设备中BIT与功能设计脱节、测试总线资源不足、电子设备难以直接嵌入测试等难题,本文提出基于BIT设计的电子设备验证平台的构建方案,并结合典型案例实物进行BIT设计和电子设备验证平台的搭建,对典型案例实物完成了测试性分析、BIT设计、故障注入系统的设计、综合诊断和性能验证,从而提高电子设备的可测试性和维修性、简化测试和维修设备、提高测试和维修效率、为电子设备的综合诊断和健康管理提供案例性能验证支撑。     

面向软件黑箱测试的仿真环境嵌入故障研究

故障注入作为软件测试的一种有效技术已进入实用阶段, 然而如何在软件黑箱测试中运用故障注入技术目前尚少有文献加以论述.文章提出了软件黑 箱测试中故障外围注入的思想,通过嵌入故障的仿真环境,实现对被测软件输入级的故障引入 ,改变软件的运行状态,诱发内在的失效模式,导致错误的输出,从而达到预期的测试目的.这 一方法已应用于铁路车站信号控制系统软件的测试中,并取得了良好的效果.     

向一线汽车厂商和OEM的开发团队提供虚拟微控制器模型

虚拟原型正成为一线汽车厂商和OEM开发流程的一个组成部分。来自新思科技的Marc Serughetti解释了虚拟微控制器模型为何变得越来越重要,以及新思科技如何与汽车半导体公司联手提供这些模型。     

航空电子计算机测试设备的实现

简述了航空电子计算机测试设备的原理、要点,并描述了测试设备的整体框架,着重介绍了航空电子计算机信号配线、自检校准、故障注入的设计。最后给出了某些具体的技术问题的实现方法。     

基于中间件的故障注入技术在嵌入式软件逻辑覆盖测试中的应用

以使用中间件故障注入增加软件测试覆盖率为目的,对故障注入技术和原理进行了介绍;并通过实际工程例子提出了一种基于中间件故障注入技术的应用,同时比较了采用故障注入技术后的软件逻辑覆盖测试结果与使用常规测试手段进行的覆盖测试结果,为嵌入式软件的逻辑覆盖测试提供了一种便利、有效的方法。