一个测试码生成系统

本文叙述了一个数字电路测试码自动生成系统。由于九值扩展D算法采用了简单的集合相交运算,使其兼有五值D算法和其他九值算法的优点,而且测试码方程的建立和求解变得非常简洁。动态加权敏化算法和故障函数的变换提高了测试生成的速度和效率。     

测试码生成简述

测试码生成简述中国科学院计算所ＣＡＤ开放实验室梁业伟北京计算机学院一、测试基本概念数字电路的测试有电性能测试和逻辑测试。逻辑测试的目的是检查电路的逻辑性能是否完好，是否存在逻辑故障。逻辑性能不完好，有错误，则说明存在逻辑故障。这里谈的是逻辑性能，不是...     

数字系统单加权集下随机测试生成方法

为在不引入额外的硬件开销以下较短的测试序列获得较高的故障覆盖率，提出一种基于细胞自动机（CA）的数字集成电路加权随机测试方法。该方法利用可测性测度建立反映故障侦查代价的可测性代价函数，对此函数的寻优得到被测电路主输入处的权值，再由一维混合型CA实现了该权值下的随机序列。对标准电路的实验验证了该方法是一种有效的、且便于BIST的应用的测试生成算法。     

基于低密度生成矩阵码的签密方案

基于编码的密码系统具备抵抗量子计算的天然优势。针对传统的基于Goppa码构造的密码方案存在密文扩展率大和密钥量大的问题,利用低密度生成矩阵 （LDGM） 码和哈希函数构造了一个可证明安全的签密方案。LDGM码的生成矩阵是稀疏的,能有效减小数据量,哈希函数计算效率很高。方案满足随机预言机下的适应性选择密文攻击下的不可区分性（IND-CCA2）和选择消息攻击下存在性不可伪造（EUF-CMA）安全。在保证数据机密性和完整性的同时,与传统的先签名后加密的方法相比,输出密文总量减少了25%;与“一石二鸟”和SCS签密方案相比,计算效率有较大提高。     

关于时序电路的一个新的启发式测试码生成算法

本文描述的是为检测时序逻辑电路中的故障,计算测试码的一种新的启发式的算法。在该算法中,逻辑电路之逻辑单元的值表示为具有六个分量的布尔向量,本算法的主要过程是这些值之间的运算。本文介绍了该算法的一些基本原理,并举例说明了它们的应用过程,同时,通过一个实施系统介绍了我们的一些经验。     

数字集成电路测试系统

介绍了采用计算机来测试数字集成电路，提出了对已知和未知数字集成电路的测试方法，并给出了硬件和软件的实现框图。     

基于Java的测试文档自动生成方案

针对软件研发中单元测试文档内容多、数量大、人工编写工作量大的问题,采用Java提供的JavaDoc API技术和FreeMarker自动化模板技术,实现了单元测试文档的自定义和自动化生成.     

“人工电子耳蜗电路”测试码生成程序

1 引言 “人工电子耳蜗电路”是通过电脉冲信号的刺激,帮助耳聋者听到正常声音的器件。电路芯片流片成功之后,需要进行功能测试,测试码可由“硬件”方法产生,也可由软件方法生成。本文介绍采用软件生成人工电子耳蜗电路测试码的方法。 2 测试码的要求     

数字电路板在线测试系统

给出了ＤＰＣＢ２型数字电路板在线测试系统的原理、硬件实现等。该系统除可在线测试由ＴＴＬ、ＣＭＯＳ、ＥＣＬ器件构成的数字电路外，还可在线测试含微处理器及其外围器件的电路板。     

IHDL语言与测试生成系统

本文详细地介绍了一种集成式硬件描述语言（ＩＨＤＬ）和与ＩＨＤＬ相适配的门级电路测试生成系统，实现了从硬件描述语言编译器到自动测试生成的完整系统。从我们的理论分析和实验结果来看，这种完整的系统作为ＥＤＡＣＡＤ中的重要环节是可行的，也是有效的。     

数字集成电路测试系统的计算机控制

本文描述了一台低成本数字IC测试设备,它是用Intel—8080微计算机系列来实现的。加到每只待测IC片上的测试码模式从存储在存储器中的表内查取,如果需要,还可有相应的时钟信号。然后检测集成电路的结果输出,看是否有因“粘贴”而引起的错误结果或其它功能上的故障。     

数字集成电路测试系统的研制

介绍了基于向量测试法的测试系统的原理、结构组成以及各功能模块的工作过程。本系统是有关技术人员在总结多年的实际测试经验并参考国外同类测试系统的基础上开发成功的，生产成本较低、性能可靠，是一种适合于国内半导体行业的实际生产情况的测试系统。     

基于Sphinx的安全测试脚本文档生成方案

论文分析了网络安全工作中创建优质的网络安全测试脚本文档的必要性,对Docstring编写风格进行了介绍,并对Sphinx文档生成系统和reStructuredText标记语言进行了说明。同时,提出了一种基于Sphinx的网络安全测试脚本文档生成方案,利用Sphinx的第三方扩展、对内建注释工具的有效利用、对注释字段的针对性扩充,使生成注释文档更加清晰、规范,切合网络安全人员使用代码的实际需求,有效地提高了测试代码的可维护性和复用效率。     

脉冲拥挤型最坏花样测试码的效率计算与生成

本文对NRZI和游程长度受限码RLLC码型的脉冲拥挤型最坏花样测试码进行了研究,引述了反映幅度变化和峰值位移基元最坏花码的一般模式和具体数据序列。给出了计算测试码效率的模型和算法。根据J.L.Massey综合算法原理,提供了一种求解生成给定最坏花码序列的最短线性反馈移存器的算法和步骤。最后,给出了16位NRZI的最坏花码序列的特征多项式及产生器框图。     

分布式应用的系统协同测试方案

在分布式应用中,系统配置项多,系统集成测试比较复杂。针对上述情况,提出分布式应用的系统协同测试方案,给出应用场景分析过程、测试脚本文件生成方法及分布式系统性能、功能和接口协同测试的实现,在此基础上对分布式系统进行故障检测和质量评估。实践结果证明了该协同测试方案在提高测试效率、节约测试成本方面的有效性。     

数字指纹生成方案及关键算法研究

数字指纹技术作为新兴的数字版权保护技术,在抄袭检测方面发挥着重要的作用,而指纹生成算法直接决定数字指纹方案的性能。文章阐述了数字指纹方案中3种常用的指纹生成算法—MD5、SHA1、Rabin指纹算法,介绍了3种常用算法的基本原理,并通过实验对其进行了性能测试。为了测试3种算法的性能差异,实验中构建了20KB~20M大小不等的测试文件,首先对测试文件进行了预处理,去除了其中的无关字符,然后对处理过的文本采取分块策略进行指纹生成,并测试了算法在不同的分块策略和不同文件大小下指纹生成的效率。实验结果表明,哈希函数(MD5、SHA1)在大文件的指纹生成中具有较高的性能,而在小文件的指纹生成中,哈希函数与Rabin指纹算法具有同样的性能。实验结果为下一步制定新的指纹方案,进行指纹生成算法选择提供了实验支撑。     

无线数字别墅系统方案

系统设计系统组成该无线数字家居系统是基于无线射频在室内的应用来完成对室内电器设备的整体控制,主要由以下七部分组成：     

基于数字喷泉码的视频监控系统研究

传统的视频监控系统在纠错性能方面存在着诸多不足,当信道丢包率较大时进行可靠的视频传输显得较为困难。为此,结合RTP传输的优势,设计了一种使用数字喷泉码进行丢包恢复的视频监控系统。首先研究实用的数字喷泉码——LT码,比较了不同度分布算法下LT码的译码性能。根据视频传输系统的应用需求,选择鲁棒孤子度分布算法,研究短码长条件下影响LT码译码性能的主要因素。     

数字基带传输系统码间干扰的研究

数字基带传输具有非常重要的研究及应用的的意义,而码间干扰是一种常见现象,它对该系统具有很大的影响,因此研究码间干扰非常重要。首先通过Matlab搭建数字基带传输系统,然后通过噪声和码元速率与系统带宽不匹配来引入码间干扰,最后对这两种方法引起的码间干扰进行了研究和仿真分析。