首页>中文会议>工业技术>自动化技术与计算机技术>第四届中国测试学术会议

第四届中国测试学术会议

召开年：2006
召开地：北戴河
出版时间： 2006-08-07

主办单位：中国计算机学会;东北大学

会议文集：第四届中国测试学术会议（CTC 2006）论文集

会议论文

热门论文

全部论文

最新会议

更多>>

全选（0）

1.基于SOC嵌入式核测试结构的研究
- 王玺;何怡刚;刘美容;苏旷宇
- 《第四届中国测试学术会议》 | 2006年
摘要：以复用嵌入式核测试为目标的测试策略是现今解决SOC测试问题的基础,IEEEP1500嵌入式核测试组织已经在SOC测试壳,测试壳与测试存取通道之间接口和测试接口语言方面取得了一定的成果,但关于核的测试结构的具体实施,相应的测试存取机构的选取和设计方面还未予标准化.本文从测试复用的角度,研究了可复用IP核以及系统芯片SOC的测试结构,介绍了IEEEP1500嵌入式核测试外壳和另外一种测试外壳结构Test Shell,主要探讨了IEEEP1500的串行TAM和并行TAM,即基于测试总线和基于CAS-BUS的存取机制,并给出其在SOC中的应用.
2.基于振荡的SoC模拟核和ADC可测性设计
- 胡庚;王红;杨士元
- 《第四届中国测试学术会议》 | 2006年
摘要：将数字电路、模拟电路、处理器、存储器等集成到同一块芯片上的SoC技术,给集成电路的测试提出了新的挑战,其中模拟和混合信号电路的测试是目前SoC测试的瓶颈.本文提出一种基于振荡的SoC模拟核和模数转换器(ADC)可测性设计方案,在测试模式下,被测模拟核通过重构形成振荡器,产生周期性的信号作为ADC的测试激励.通过分析A/D转换结果,可对ADC进行柱状图测试,并同时检测模拟核的振荡频率,实现对模拟核的振荡测试.
3.锁相环在荧光测温系统中的应用
- 王玉田;耿丽琨
- 《第四届中国测试学术会议》 | 2006年
摘要：介绍锁相环测量荧光寿命的原理,给出荧光寿命与锁相环输出频率的数学关系.设计具体的锁相环电路,并建立利用锁相环技术检测荧光寿命的荧光温度传感器系统.采用Cr3+YAG作为荧光敏感材料,此系统在20℃-150℃范围内分辨率达到±0.08℃,最低测量精度为1℃.
4.基于噪声整形时分复用技术的多谐信号源研究
- 唐圣学;何怡刚;黄姣英;郭杰荣;李宏民
- 《第四届中国测试学术会议》 | 2006年
摘要：本文提出一种产生高质量的片内多谐信号的新方法.该信号源采用了无失真离散积分振荡、噪声整形和时分复用三种技术,避免了采用占用大量资源的多位高精度乘法器,用一位D/A转换器替代高精度多位D/A转换器实现多谐数字信号到多谐模拟信号的转换.引入通讯领域中时分复用技术实现了多个频率信号对硬件资源的共享,运用无乘法器梯形网络实现噪声整形电路,减少了硬件资源.整个电路除一个比较器外,全部由数字电路实现,与数字化的VLSI工艺完全兼容,有利于当今的超大规模混合集成电路工艺实现,满足片上混合信号自测试系统要求.实验仿真和FPGA硬件的实现,证明了电路的可行性和有效性,并具有90 dB的动态范围.
5.软件控制流故障诊断的研究
- 朱伟;徐拾义
- 《第四届中国测试学术会议》 | 2006年
摘要：软件的故障诊断是软件测试的一个重要组成部分,快速准确的定位故障发生位置对于提高软件质量具有重要的意义.本文提出了一种利用运行时执行路径计算的方法进行故障诊断的方法.该方法在测试用例的驱动下,计算出执行路径和候选路径集,并在候选路径集中找出预期路径.通过比较执行路径和预期路径,给出故障诊断的信息.
6.基于混合遗传算法的测试壳优化
- 王永生;曹贝;肖立伊
- 《第四届中国测试学术会议》 | 2006年
摘要：本文针对兼容于IEEE 1500标准的测试壳,提出了采用基于BFD(FFD)的混合遗传算法的测试壳优化方案.遗传算法是一种解决NP问题的有效方法,针对测试壳的结构特点,构建新的混合遗传算法,解决测试壳优化问题.在利用较少的测试端口的情况下,最长测试壳扫描链长度得到普遍缩短,对于ITC'02基准电路d695和p93791电路,最大的缩短量可达2％.
7.基于片内PLL实速扫描测试的实现
- 范小鑫;中国科学院研究生院信息科学与工程学院;李华伟;胡瑜;李晓维
- 《第四届中国测试学术会议》 | 2006年
摘要：实速测试在工业界中得到日益广泛的使用,对芯片进行实速测试可以有效检测出时序相关的故障.如何提供实速测试所需要的高速时钟,是实速测试的一个难题.本文提出了一种采用片内PLL来提供实速测试时钟的方案,并在实际电路的实速测试中进行了实验,最后给出了实验结果.
8.芯片测试中的功耗控制技术
- 王伟;中国科学院计算技术研究所信先进测试技术实验室;李晓维;张佑生;方芳
- 《第四届中国测试学术会议》 | 2006年
摘要：随着CMOS器件进入超深亚微米阶段,测试时产生的功耗比系统正常工作时的功耗高很多,测试功耗正逐渐成为影响芯片设计的重要因素,芯片测试时的低功耗技术也已经成为当前学术界和工业界的一个研究热点.本文首先介绍低功耗测试技术的基本概念,分析测试中的静态功耗和动态功耗,介绍几种主要的测试功耗控制技术,最后做分析总结.
9.操作系统健壮性测试方法的分析与比较
- 赵则章;江建慧;刘洪涛
- 《第四届中国测试学术会议》 | 2006年
摘要：健壮性已经成为衡量软件性能的一个重要指标.目前,人们已经提出了一些健壮性测试的方法,并且构建了一批健壮性测试工具.本文对这些方法和工具进行了研究,并利用开放源代码工具对Linux2.4.22进行了测试,还对测试结果进行了分析和比较.
10.基于知识库的软件质量模型
- 张蕊;江建慧
- 《第四届中国测试学术会议》 | 2006年
摘要：软件的质量是由软件的质量要素决定的,保证软件质量主要是保证软件的重要质量要素.然而,相同质量要素对不同类型软件的重要程度是不同的.在目前的软件质量保证活动中,确定不同软件的质量要素及其权重还缺乏统一的方法,一般只能依靠专家打分或填写调查表来实现,因此没有通用性和再现性.本文通过建立一个描述软件类型与相关质量要素关联性的知识库,并利用规则进行推理,以确定软件产品中所包含质量要素的权重,再运用判定矩阵和软件质量计算公式对软件质量进行定量评估.
11.一种网络安全管理系统生存性分析方法
- 刘俊;陈家庆;张大方
- 《第四届中国测试学术会议》 | 2006年
摘要：网络系统的复杂性映射成为了对生存性研究的复杂性.目前对于如SDH等单一拓扑网络的生存性的研究取得了较多的成果,但对于大型网络如何建模和评估生存性,尚无较好解决方案.以往文献提出的两种评估NSMS(网络安全管理系统)生存性的方法存在较大局限性:割点法不能用算法实现,无法对大型网络进行分析.蒙特卡洛法只能对生存性进行区间估计,得不出准确值.本文提出连通支路的分析方法,使用成熟的数学模型进行实现,并用给出编程算法.之后,我们又对拓扑变化对生存性的影响做出分析,这为建立完善的生存性分析平台打下了良好的基础.
12.P2P网络仿真与测试模型
- 杨德国;王慧;高远
- 《第四届中国测试学术会议》 | 2006年
摘要：在真实的网络中测试一些P2P新的算法代价较高,所以采用P2P仿真器来评估这些算法是非常必要的.为了产生理想的效果,我们需要有一个尽可能真实的反映实际网络的仿真环境.我们这里描述了一个仿真模型用于仿真P2P文件共享系统.我们采用该仿真器测量了现有的P2P网络中的文件共享系统,提出了一些在仿真中出现的开放问题.
13.基于神经网络的模拟电路故障诊断研究
- 李明亮;石家庄经济学院;王祖朝;母景琴;唐山师范学院;李聚光;赵战明
- 《第四届中国测试学术会议》 | 2006年
摘要：随着系统芯片及模拟和数字混合信号电路的发展,模拟测试领域出现了许多采用传统故障诊断理论和方法难以解决的问题.神经网络因为能够在没有任何先验知识的情况下自动从输入数据中提取特征、发现规律,并通过自组织过程将自身构建成适合于应用环境的规律,为模拟电路故障诊断提供了一个全新的解决方案.主要介绍了模拟电路故障诊断的新方法及测试原理,重点讲解了神经网络结构中参数选择方案.以现代测试技术、信号处理、信息融合和可测性分析等理论为基础,把神经网络用在模拟电路故障诊断中取得了显著成效.
14.基于SVM的火控系统故障诊断方法研究
- 段修生;单甘霖;高庆
- 《第四届中国测试学术会议》 | 2006年
摘要：针对火控系统结构复杂、专家知识缺乏、可测性差等问题,在对系统进行层次和模块分解的基础上,提出了应用SVM(支持向量机)技术建立系统数学模型的基本方法,为采用基于数学模型的方法解决大型复杂非线性系统的故障诊断问题提供了一种有效途径.然后,依据状态观测器的原理给出了进行系统故障诊断的基本思想.最后,针对某火控系统说明了首先建立基于SVM的火控解算和弹道拟合数学模型,再进行性能测试和故障诊断的基本原理.
15.无线传感器网络在矿井配电网故障定位中的应用
- 王超楠;宁波中科集成电路设计中心;丁恩杰;周强;宁波中科集成电路设计中心;徐勇军;中国科学院计算技术研究所计算机系统结构重点实验室、先进测试技术实验室;李晓维;中国科学院计算技术研究所计算机系统结构重点实验室、先进测试技术实验室
- 《第四届中国测试学术会议》 | 2006年
摘要：矿井配电网的故障定位一直是现场运行中的一大难题,迅速准确地找到故障点对于矿井的安全生产具有重要的意义.本文针对矿井配电网规模小,反射折射多,精度要求高,传感器误差大的特点,提出了将无线传感器网络应用到故障定位中的新方法,该系统由无线传感器节点,无线网关和故障处理系统等组成,并利用无线节点的多跳组网传输故障后行波信号,通过行波的方向迅速的判断故障区间以进一步判断故障点.本文同时重点探讨了该系统在矿井中应用需要解决的无线电波的接收和合适的网络协议等几个关键问题.
16.基于TTCN的手机游戏软件测试方法研究
- 孙晶;赵会群;马云峰
- 《第四届中国测试学术会议》 | 2006年
摘要：在概述手机游戏开发和测试方法之后,重点讨论手机游戏采用的WAP(Wireless Application Protocol,简称WAP)协议.结合WAE(Wireless Application Environment,简称WAE),WAP协议的应用层,一个用MSC图(Message Sequence Chart,简称MSC)描述的游戏协议模型被提出;为了辅助游戏测试,给出了一个基于TTCN的手机游戏测试套框架.为了指导上述模型的应用,介绍一个由Nokia公司开发的苹果机游戏的测试工作.
17.用于无线视频网络的高吞吐率传感器MAC协议
- 周全;宁波中科集成电路设计中心;夏鹏;宁波中科集成电路设计中心;杨宇;宁波中科集成电路设计中心;徐勇军;李晓维
- 《第四届中国测试学术会议》 | 2006年
摘要：MAC层协议对于无线传感器网络(WSN)的性能有很大影响.针对不同的资源限制和性能要求,人们设计了不同种类的MAC层协议.对于视频应用,无线视频网络(WVN)必须提供有限带宽限制下的最大吞吐量,用来传输大量的视频数据.本论文提出一个创新的MAC协议,同时具有S-MAC协议的低功耗和Ripple协议的高吞吐量特性.本协议高吞吐量传感器网络MAC(Hign Throughput S-MAC,HTSMAC)具有为无线视频网络提供优化的电源效率和高吞吐量的网络性能.
18.无线传感器网中低费用的分簇算法
- 陆永前;门朝光;李光;张华健
- 《第四届中国测试学术会议》 | 2006年
摘要：在较大规模的无线传感器网络中,网络的路由算法、数据融合等问题往往会变得很复杂,算法开销变的很大.采用分簇算法不仅可以解决这些问题,而且还可以通过在簇内有选择地打开或关闭节点的收发器来延长网络寿命.本文介绍了一种在无线传感器网中地理位置信息已知的情况下,基于单元格划分的分簇算法.该算法的特点是通信和计算量都很小,并且可以实现簇的重构.特别适用于数据采集、监测等静态的无线传感器网络.
19.一种改进的无线传感器网络节点自定位算法
- 李春蓉;陈红阳;中国科学院计算技术研究所计算机系统结构重点实验室、先进测试技术实验室;邓平;徐勇军
- 《第四届中国测试学术会议》 | 2006年
摘要：本文针对无线传感器网络节点定位问题进行了研究,提出了一种改进的节点自定位算法,讨论了算法的基本原理和实现方法.该算法在不需要增加节点硬件开销的基础上提高了定位精度和覆盖率,仿真结果表明本文提出的算法与原算法相比性能有显著提高.
20.IEEE 802.15.4无线传感器网络仿真
- 周强;宁波中科集成电路设计中心;张申;王超楠;宁波中科集成电路设计中心;徐勇军;中国科学院计算技术研究所计算机系统结构重点实验室、先进测试技术实验室;李晓维;中国科学院计算技术研究所计算机系统结构重点实验室、先进测试技术实验室
- 《第四届中国测试学术会议》 | 2006年
摘要：IEEE 802.15.4是一种低速率、低功耗、低成本的无线传感器网络标准,在研究和应用IEEE 802.15.4时,对其进行有效的仿真是非常重要的.在详细介绍了NS2仿真具体实现的基础上,对IEEE 802.15.4标准进行了分析,给出了NS2下无线传感器网络节点的仿真模型,最后给出了IEEE 802.15.4组网过程的仿真实例并分析了仿真结果.
21.基于掩码技术的密码芯片抗能量分析防御方法
- 张涛;范明钰;王光卫;王治
- 《第四届中国测试学术会议》 | 2006年
摘要：能量分析是一种新的密码攻击方法,其密钥搜索空间远小于传统的数学分析方法.介绍了简单能量攻击,差分能量分析,高阶差分能量攻击方法,提出一种基于二阶段掩码的抗差分能量分析方法.该方法在密码运算的初始化阶段用固定掩码对密钥的真实性进行隐藏,在密钥运算阶段利用随机掩码对所泄露的信息进行保护,该方案能防御差分及高阶差分能量分析.最后通过实验对该方案在DES密码算法中的有效性进行验证.
22.一种具有最小阻塞消息发送时间的检查点策略
- 王燕;徐振朋;曹刘娟
- 《第四届中国测试学术会议》 | 2006年
摘要：基于时钟的自适应检查点策略是一种简单有效的协同检查点策略.现有的基于时钟计时器的检查点策略采用阻塞进程消息发送或两段自适应检查点策略来解决不一致消息的问题.文中讨论了不一致消息引发的系统不一致问题,并基于其特性提出一种具有最小阻塞消息发送时间的检查点策略.该策略不会产生多米诺效应且不需要记录任何进程间消息,缩短了进程阻塞消息发送时间,且检查点生成过程中使进程得以同步,因此算法具有较好性能.
23.一种用于片上容错通信的随机路由算法
- 张磊;李华伟;李晓维
- 《第四届中国测试学术会议》 | 2006年
摘要：芯片制造工艺进入深亚微米和纳米级以后,片上将会出现更多新的难以预测和消除的故障类型.应用容错机制和算法实现可靠的片上通信是片上网络(Network on Chip,简称NoC)要解决的一个重要问题.本文概述了主要的片上容错通信算法,提出了一种带有端到端反馈的随机路由算法,并比较了这些算法的平均传输延迟,功耗和可靠性.实验表明,这种算法具有较短的延迟,较低的功耗,并能提供高可靠的片上通信.
24.基于概率转移矩阵的VLSI电路可靠性评估的并行方法
- 王真;江建慧;沈君华;唐智杰
- 《第四届中国测试学术会议》 | 2006年
摘要：随着电路集成度的提高,软差错已经成为影响可靠性的关键因素.概率转移矩阵是一种用于估计软差错对电路影响的有效方法,它通过对门级电路建立概率模型来计算电路的可靠性,现有结果表明这种方法主要适用于规模不大的电路.针对VLSI电路,本文提出了基于概率转移矩阵的电路可靠性评估的并行方法,首先对电路进行划分,然后并行地计算各个模块的概率转移矩阵,最后将其合成对应于整个电路的概率转移矩阵.在矩阵存储空间压缩中引入了代数决策图.初步的实验结果表明,该并行算法可以有效地减少13％的平均时间开销.
25.低精度正弦波准确测试A/D静态参数的直方图法
- 王蓓;张建秋;王勇
- 《第四届中国测试学术会议》 | 2006年
摘要：本文考虑应用低精度的正弦激励准确测试A/D静态参数的直方图法.让低精度的正弦激励信号源通过简单的压分电路,利用被测ADC的转换电平,建立分压前后激励信号之间的联系,从而获得了准确估计激励信号源的参数,进而估计出高精度和高准确度被测ADC的静态参数.提出的方法使得应用一般的低精度正弦激励信号源去准确测量ADC静态参数成为可能.仿真结果验证了提出方法的有效性.
26.多种测试仪器的计算机集成控制技术
- 李英;王健
- 《第四届中国测试学术会议》 | 2006年
摘要：针对实验室测试仪器的应用特点,介绍针对多种不同测试仪器设计集成化控制软件,从而达到对多种测试仪器的统一控制.叙述了系统的硬件构成,控制软件的组成和使用、实验过程的控制方式、数据存储格式,并针对实验过程控制说明了系统的安全性.
27.基于图像距离差的织物疵点检测算法研究
- 卢芸;郑广;胡爱华
- 《第四届中国测试学术会议》 | 2006年
摘要：本文将机器视觉与数字图像处理技术引入到织物疵点检测中,提出了一种织物疵点检测算法--图像距离差算法.该算法可使用户根据织物的类型,自行设置相应的疵点检测控制参数,能够检测出三十多种常见的疵点.实验证明该算法具有识别正确率高,识别速度快等优点.
28.集成电路测试设备资源的优化配置方法研究与实现
- 王飞;中国科学院研究生院;吴明行;张旻晋;中国科学院研究生院;韩银和;胡瑜;李晓维
- 《第四届中国测试学术会议》 | 2006年
摘要：新一代的自动测试设备具有更丰富的可配置资源,但同时也使得传统的手工配置测试资源的方法变得十分困难.为自动优化配置测试资源,本文提出了测试向量格式压缩方法、基于Huffman树结构的测试向量分组方法和基于模拟退火算法的测试资源调度算法,逐步应用于自动测试设备来优化资源配置.文章最后给出了工业应用实例.
29.基于比值法的便携式辛烷值测定仪
- 金海龙;赵军卯;张春华
- 《第四届中国测试学术会议》 | 2006年
摘要：本研究用精密电阻对电容传感器和精密电容充放电,分别得到了传感器与精密电容的放电时间,然后根据放电时间的比值可以实现电容的比值测量.根据得到被测汽油的电容值,由电容与辛烷值的函数关系来计算车用汽油辛烷值.根据这种测定辛烷值的方法,本论文设计了便携式辛烷值测定仪.文中详细论述了测量原理及电路分析,并介绍了硬件和软件的设计.其中在硬件设计中利用低电压、低功耗的段型液晶显示器.该便携式辛烷值测定仪用3.6 V(2 Ah)锂电池可连续工作6年.
30.一种高速ADC静态参数的内建自测试结构
- 朱彦卿;何怡刚;阳辉;刘美容;王玺
- 《第四届中国测试学术会议》 | 2006年
摘要：针对混合信号电路的测试问题,提出了一种内建自测试(BIST)结构,分析并给出了如何利用该结构来计算计算片上高速模数转换器(ADC)的静态参数.该方法利用三角波信号作为测试激励,采用码密度直方图分析方法快速计算ADC的各静态参数.根据改进测试算法所构造的BIST结构实现了芯片内只有ADC电路的可测性设计,而不需要用到片内集成DSP.内嵌的信号发生器能自动生成高频连续三角波测试信号,适合高速ADC的测试.该BIST结构精简了电路规模,减少了硬件开销,易于片上集成.
31.基于表面肌电的肌肉疲劳智能监测系统研究
- 金海龙;张春华;赵军卯
- 《第四届中国测试学术会议》 | 2006年
摘要：本论文介绍了根据肌肉疲劳的表面肌电信号的特征变化所设计的智能监测系统.该系统通过专用敏感元件表面电极,从人体待测肌肉部位连续取得表面肌电信号.该信号被送入采用MSP430F449单片机进行处理的中央处理系统,通过与正常的表面肌电信号作比较,对采集的肌电数据实现实时检测、分析、有选择地记录,当肌肉疲劳达阈值时并具有及时报警等功能.为了降低功耗,减小硬件的重量和体积,采用软件滤波,数据压缩存储等方法.该系统还可与上位机相联显示或打印出异常的表面肌电信号波形,供医务人员参考.
32.基于频域核及神经网络的非线性模拟电路故障诊断算法及实现
- 谢宏;何怡刚;井建华
- 《第四届中国测试学术会议》 | 2006年
摘要：本文提出用Volterra频域核作为故障特征对弱非线性定常动态网络进行故障诊断的方法,利用计算方法求出电路响应在各种常见故障状态下的Volterra级数解的各阶频域核,将其输入给BP神经网络,利用BPNN的分类功能建立故障字典,对实测的故障网络的各阶频域核进行测试样本分类来实现故障诊.文中给出了各阶频域核的统一递推离散算式,采用的改进BPNN算法及其程序实现,并给出了故障诊断实例.
33.基于构件与扩展层次有色Petri网模拟验证SoC设计
- 余金山;李暾;郭阳;张耀鸿;谭庆平
- 《第四届中国测试学术会议》 | 2006年
摘要：本文提出了一种基于构件与扩展层次有色Petri网(简写为EHCPN)模拟验证SoC设计的方法,给出了EHCPN的形式化定义.基于所提出的EHCPN模型,设计并实现了一个支持SoC系统建模与模拟验证的集成环境:SoC-P/TMSE.环境主要包括EHCPN建模和构件封装工具、支持模型存储和管理的模型库和模拟验证环境.本文最后结合一个典型的SoC案例,在SoC-P/TMSE创建了对应的EHCPN模型,并对模型执行了集成、模拟与验证,给出了相应的实验数据和分析结果.实验表明,利用EHCPN模型能够有效捕获SoC的结构,时间、通信和并发特性,支持SoC系统的模拟与验证.
34.算术电路的等价性验证
- 翁延玲;严晓浪;葛海通;郑飞君
- 《第四届中国测试学术会议》 | 2006年
摘要：本文提出了一种利用综合引擎重现算术电路的优化过程的算法,提高了等价性验证效率.ZDFV的综合引擎首先识别乘法器的编码方式,提取部分积的加法树实现方案;然后根据这些信息生成与实现电路结构相似且逻辑正确的网表.本算法可直接结合到现有的RTL和门级网表的验证流程中,从而提高算术电路的验证能力.
35.基于BDD的时序电路等价性验证
- 杨军;葛海通
- 《第四届中国测试学术会议》 | 2006年
摘要：由于时序电路的复杂性,时序电路的等价性验证一直是一个难题.本文首先介绍了用BDD进行隐式的状态遍历来验证时序电路;然后着重阐述了锁存器的匹配及其在时序电路等价性验证中的运用,通过匹配锁存器,可以用验证组合电路的方法来验证时序电路,大大减小了验证难度.
36.基于SVD特征提取的模拟电路软故障和多故障诊断
- 徐晨曦;空军雷达学院雷达系统工程系;陈光;张池军
- 《第四届中国测试学术会议》 | 2006年
摘要：本文针对容差模拟电路软故障、多故障诊断问题,提出一种基于多激励响应误差矩阵奇异值分解(SVD)的故障诊断方法.通过响应误差矩阵奇异值分解构建奇异角特征,奇异角特征具有在单故障情况下仅与故障部位有关的特性,能有效解决软故障变化的连续性与故障特征唯一性之间的矛盾.利用奇异角特征方法能减少测试点数、压缩特征矢量维数和提高故障隔离率.文中重点分析了奇异角特征对单软故障和灾难性多故障的识别性能,并结合实例仿真说明该方法的有效性.
37.基于UML状态图的MM路径形式化表示及生成
- 林羚;中国科学院;卢江;赵瑞莲
- 《第四届中国测试学术会议》 | 2006年
摘要：MM路径是方法/消息路径的缩写,它体现了面向对象系统中方法之间的动态交互情况.本文首先结合面向对象系统的特点,讨论了MM路径在产生原因、作用域范围和组成结构三方面的分类情况,然后从UML状态图出发,考虑状态在消息的响应方法序列中的影响,给出了MM路径的形式化表示方法和MM路径生成的方法,解决了MM路径标识和生成的困难,为进一步研究基于MM路径的测试用例生成方法打下坚实基础.
38.EFSM模型的实时测试序列生成方法
- 李秀华;桑楠;雷航;吴晓华
- 《第四届中国测试学术会议》 | 2006年
摘要：嵌入式实时软件测试的一个重要研究内容是如何有效验证生成的测试用例是否满足系统的实时性要求.本文在传统EFSM模型的基础上加入时间约束条件,结合基于EFSM模型UIO测试序列生成方法,提出了一种实时性测试序列的生成方法.该方法采用Dijkstra算法,求得最短时间的测试消息序列;通过对EFSM模型去环和统一汇聚结点的操作将其改进成AOE网的形式,求出每个状态的最迟发生时间,在测试用例执行时用以判断测试用例是否满足实时性要求;将最短时间的测试消息序列和最短时间的UIO序列结合构成测试序列,得到最短时间测试用例序列,达到对测试序列优化目的.
39.未初始化变量故障的静态分析
- 万琳;刘娟;金丽亚
- 《第四届中国测试学术会议》 | 2006年
摘要：未初始化变量是C++程序中的常见故障,该类故障极易导致计算结果错误或系统崩溃.本文针对C++语言中常见未初始化变量故障进行了分析,并从面向具体故障的测试思想出发,建立了未初始化变量的故障模型,结合静态测试的特点,给出了一种静态查找此类故障的方法.
40.基于静态分析的面向故障测试方法
- 肖庆;杨朝红;毕学军
- 《第四届中国测试学术会议》 | 2006年
摘要：软件的故障模式就是总结那些经常出现、并具有一定模式的故障.经过大量的源码分析,我们总结出一些极具代表性的错误模式.在本文中,给出了整个测试环境的框架和组成,并以内存泄漏为例简要讨论了设计检测算法的原则和方法.我们已经基本实现了提出的所有故障模式并建立了一个原型系统.在应用中发现这种面向故障模式的测试方法有以下优点:1、不需要设计任何测试用例,自动化程度高;2、结果相对较为客观,测试结果可复现;3、针对性强,针对的都是用户关心的却又用其他方法难以找出的故障.
41.基于部分测试向量切分的LFSR重新播种方法
- 李扬;梁华国;刘军;胡志国
- 《第四届中国测试学术会议》 | 2006年
摘要：在对测试数据压缩方法进行分析的基础上,本文提出了一种新的基于部分测试向量切分的线性反馈移位寄存器(LFSR)重新播种方法.该方法按一定规则切分测试集中含确定位较多的难以编码的测试向量,再和未被切分的测试向量共同组成新的测试集,并将新测试集编码成LFSR种子.该方法具有突出的优点:一方面,提高了LFSR的编码效率,取得了稍优于混合码[3]的压缩率;另一方面,与混合码[3]复杂的解压结构和通讯协议相比,在硬件开销上,具有明显的优势,仅需一个LFSR和简单的控制电路,且通讯协议简单.
42.基于测试片段间转移的低功耗BIST实现
- 杨婷;邝继顺
- 《第四届中国测试学术会议》 | 2006年
摘要：随着低功耗设计的兴起,低功耗测试正在得到越来越多的关注.在采用随机测试向量产生时,一大部分的测试功耗是由于那些无贡献的测试向量所引起的.本文在对LFSR生成测试片断统计分析的基础上,提出了一种基于测试片段间的转移低功耗BIST结构,该结构采用有效测试向量片段间转移的方式,除去了由随机产生而对故障覆盖率没有贡献的无效向量,并把有效测试向量片段以消耗功耗最小原则依次送入被测电路,减少了测试时间,在硬件代价不高的基础上有效的降低了测试功耗.
43.一种嵌入式存储器的内建自修复机制
- 付祥;中国科学院研究生院信息科学与工程学院;王达;中国科学院研究生院信息科学与工程学院;李华伟;胡瑜;李晓维
- 《第四届中国测试学术会议》 | 2006年
摘要：嵌入式存储器正逐渐成为SoC的主体结构,对嵌入式存储器设计内建自测试和内建自修复结构是降低制造成本,提高SoC成品率和可靠性的有效方法.本文介绍一种分段列冗余的软修复机制,并分析该修复机制的性能、面积开销.
44.不可达代码的一种静态测试方法
- 夏玉辉;张威;万琳;王洪艳
- 《第四届中国测试学术会议》 | 2006年
摘要：不可达代码是C/C++程序中的可见故障,该类故障可以导致计算结果错误或系统崩溃.本文首先分析了C/C++语言中不可代代码错误类型,从面向具体故障的测试思想出发,给出一种错误类型检查的算法设计,建立了不可达代码故障模型,其在软件测试中具有通用性.
45.过程间并发程序分析不可判定的一个新证明方法
- 缪力;张大方;杨金民
- 《第四届中国测试学术会议》 | 2006年
摘要：过程间并发程序分析问题是一个不可判定问题,理解这个不可判定问题的来源是发展一个有效的分析算法的基础.现有的证明通过构造三个并发任务的PCP问题实例,证明了过程间并发程序分析过程间并发程序分析是一个不可判定问题.本文利用反射的思想,仅仅用两个并发任务构造了该问题的一个PCP问题实例,证明了在两个并发任务的情况下,过程间并发程序分析是一个不可判定问题.证明的构造过程直观地显示了这个不可判定问题的来源.不可判定的表现形式是,在一个任务内形成两个可交织的过程匹配,其中一个过程匹配是另一个并发任务的过程匹配通过同步匹配产生的"投影".基于证明的启发,本文给出了一个简单的,过程间并发程序分析不可判定的必要条件.
46.基于NIT和Multi-Core的面向应用调节架构
- 张炯;金惠华
- 《第四届中国测试学术会议》 | 2006年
摘要：资源受限的嵌入式系统中运行的应用程序与运行于桌面系统的应用程序有显著的不同,需要考虑应用本身的需求,也要更多的关注对于计算所提供的指令级和微指令级的支持.具体来说,根据应用而定制的硬件计算逻辑对于应用程序的性能往往有很大的提高,但是成本的提高对于大多数应用来说是不能接受的.论文阐述了与嵌入式Intel架构(EIA)研究有关的重要问题,提出了一个基于Intel多处理器核技术的嵌入式应用处理器解决方案,其核心思想是提供可定制的计算单元用于对特定计算的适应.这个方案与普通多核技术及可配置处理器架构的差别在于通过粗粒度并行机制获得计算资源的定制以便适应嵌入式系统计算的特殊性.
47.一个基于SCTP的QoS服务覆盖网络
- 王慧;赵煜辉;杨德国;高远
- 《第四届中国测试学术会议》 | 2006年
摘要：针对多媒体服务的灵活性和可扩展性需求,结合面向服务的体系结构,我们提出LQSON(Layered QoS-Aware Service Overlay Network):一个基于SCTP的大规模QoS服务覆盖网络,为异质环境中的用户提供灵活的有QoS保证的多媒体增值服务.LQSON由一些服务代理节点(SvPs)组成,在这些节点上运行一个三层的中间件来提供多媒体服务功能.为适应大规模的多媒体应用,我们给出了一个层次化的满足QoS需求的服务选择算法(HQSSA),它为大规模覆盖网络提供了一个有效的服务路由选择方法.最后通过实验证明了HQSSA算法的可扩展性和有效性.
48.多扫描链测试集的分组标准向量压缩法
- 陶珏辉;梁华国;张磊
- 《第四届中国测试学术会议》 | 2006年
摘要：本文提出一种高效的基于多扫描链测试集分组的二次压缩方法,解决了对确定位分布不平衡的测试集相容压缩效果不理想的问题.本方法是将测试集按多扫描链结构排列之后,根据向量之间相同相容项的数目将测试集分为若干组,分别对各组实行模式相容压缩.再次重排后,用标准向量差分法进行差分,最后用距离标记法对差分向量作第二次压缩,从而获得较高的压缩率.本方法采用了新颖的标准向量差分方法和多个CSR的合并技术,大大降低了向量差分时所需的CSR数目.距离值编码的长度为定值,使得与ATE之间的通讯协议简单.
49.软件易测性度量综述
- 赵亮;王建民;孙家广
- 《第四届中国测试学术会议》 | 2006年
摘要：软件易测性是软件的一种重要的质量属性,其研究对于改进软件设计,提高测试效力和从根本上提高软件质量具有重要的意义.软件易测性度量是软件易测性研究的重要内容.本文综述了现有软件易测性度量的研究成果,将已有度量分为规范的易测性度量、程序的易测性度量和基于测试的易测性度量三种类型.通过理论分析和试验结果分析,讨论了现有度量的有效性.
50.基于Padé逼近技术的高斯小波变换对数滤波器电路实现
- 黄姣英;赵文山;何怡刚;唐圣学;阳辉
- 《第四届中国测试学术会议》 | 2006年
摘要：提出了基于Padé逼近与对数技术的高斯小波变换的滤波器电路实现方法,其实现电路由冲激响应为高斯一阶导数的滤波器组构成.通过调节基本小波滤波器的偏置电流与电容,可得到其他尺度的滤波器,极大地简化了小波滤波器组的设计.Padé逼近是一种有效的有理逼近,小波函数经过Padé逼近可以得到其有理分式逼近,有利于滤波器综合.仿真结果证实了其可行性.
51.信誉度约束的移动自组网络安全路由协议
- 王翠荣;王慧
- 《第四届中国测试学术会议》 | 2006年
摘要：目前移动自组网络的安全技术是还没有得到完全解决的问题,而路由的安全技术是自组网络可信通信的难点问题.目前已有的安全路由协议均使用加密和认证技术,但是仅依赖此项技术还不能防止诸如恶意丢包等内部攻击,为此,本文提出了基于信誉度路由选择模型.针对MANET网络中某些节点可能不是持久性地忠实服务,提出了基于历史信誉度和当前行为的信誉度概念,并给出节点信誉度和路由信誉度的计算方法,给出一种基于路由信誉度约束的路由协议模型,可防止有意或者无意的内部攻击.从理论上分析了本文给出协议的安全性,仿真结果表明本文给出的协议能够改进包延迟和传送率等性能.
52.ITUA的成员管理系统的分析和改进
- 李仲;刘宏伟;杨孝宗;董剑
- 《第四届中国测试学术会议》 | 2006年
摘要：DARPA资助的ITUA(不可预测的自适应性下的容侵)系统中,提出了多种容侵手段.其中组成员管理的核心思想是信任/怀疑模型.本文对其组成员管理协议作出分析和改进,提高了开除成员的要求,改进后的成员管理协议在一定程度上提高了容侵性能.
53.一种基于节点安全的传感器网络密钥分配策略
- 谢磊;中国科学院计算技术研究所计算机系统结构重点实验室、先进测试技术实验室;何子键;徐勇军;李晓维;祝跃飞
- 《第四届中国测试学术会议》 | 2006年
摘要：综合了传感器、嵌入式计算、网络及无线通信、分布式信息处理等技术的无线传感器网络技术正在成为推动普适计算研究的重要实践领域.无线传感器网络是由大量传感器节点组成的分布式网络,确保传感器节点的安全可信对无线传感器网络的安全攸关应用至关重要.本文首先提出无线传感器网络的主要安全目标包括消息安全和节点安全,节点安全高于消息安全;接着指出基于安全协处理器设计的传感器节点具有一定的抗篡改能力;并在此基础上提出一个简洁有效的局部簇密钥预分配策略,确保建立传感器节点信任机制,实现传感器节点安全.
54.用PSL验证宽带电路交换芯片
- 张华;郭建;韩俊刚
- 《第四届中国测试学术会议》 | 2006年
摘要：基于断言的验证使用性质描述语言对系统的功能进行描述,并把这些描述写成相应的断言,通过验证工具检查断言是否成功,从而判断设计是否满足系统的功能要求.Accellera的性质描述语言PSL,是用来对系统的功能进行规范描述的语言,2005年9月被国际电气电子工程师协会接受为新的标准IEEE 1850.本文利用基于PSL断言的验证方法验证了宽带电路交换芯片XYDXC160的设计.该芯片单片支持64路2.488Gbit/s STM-16帧结构的SDH码流的输入/输出,实现1024×1024 STM-1级别的无阻塞电路交换.由于STM-16码流速率高,帧容量大,芯片设计验证的难度很大.断言技术的引入,有效地降低了验证工作的复杂度,提高了验证的速度和效率,同时确保了验证工作的质量.
55.一种基于UML模型的软件Markov链使用模型生成方法
- 秦静;徐锡山
- 《第四届中国测试学术会议》 | 2006年
摘要：软件统计测试要求基于软件使用模型产生测试用例对软件系统进行测试.在软件可靠性测试的工程实践中,需要解决的问题是,如何确定系统的操作剖面、如何获得软件的使用模型.把UML模型信息用于软件使用模型的构造是近年来软件可靠性测试技术研究的一个热点内容.本文讨论了从加入统计测试约束的软件UML模型构造软件Markov链使用模型的方法,并给出了相应的完整算法.最后以一个卫星控制系统的嵌入式控制软件为例,说明了算法的有效性.
56.一种基于合约的构件易测试性设计方法
- 单锦辉;北京大学信息科学技术学院软件研究所;侯姗姗
- 《第四届中国测试学术会议》 | 2006年
摘要：基于构件的软件复用和开发被认为是提高软件开发效率和质量的有效途径.构件测试是保证构件质量的重要技术手段.构件技术的新特点为构件测试带来了挑战.基于合约的构件易测试性设计为构件测试提供了一种有效的手段.本文提出一种基于合约的构件易测试性设计方法,定义描述构件合约的巴科斯-诺尔范式,在构件的接口和内部加入合约信息,然后由工具自动将合约翻译成相应的检查代码,以便在构件运行时检查合约是否被违反;开发相应的支持工具;通过实验验证了方法的有效性.
57.测试成熟度模型及其评估算法
- 张靖;赵翀;贲可荣
- 《第四届中国测试学术会议》 | 2006年
摘要：测试能力成熟度模型(TMM)是衡量测试过程成熟度的模型.本文对TMM进行了概述,给出了TMM评估模型及其符号表示,用类C语言描述了判断测试成熟度等级的算法.
58.嵌入式软件可靠性测试系统及其通信研究
- 赵朝俊;雷航;唐雪飞;吴晓华
- 《第四届中国测试学术会议》 | 2006年
摘要：传统的嵌入式软件测试系统,不论是单机结构还是分布式结构,在长时间运行的嵌入式软件可靠性测试时,在数据传输方面存在实时性差,网络延迟不确定的缺点.本文采用交换式以太网技术,提出一种星型拓扑嵌入式软件测试系统原型.通过对IEEE802.1p协议进行修改,引入实时域,来提高嵌入式软件测试系统的实时通信能力.
59.一个基于DEVS的分布式覆盖网络并行仿真方法
- 赵煜辉;秦皇岛外国语职业学院;安玉艳;孙鲁伟;王翠荣;高远
- 《第四届中国测试学术会议》 | 2006年
摘要：针对采用NS2、Opnet等仿真器评价P2P和网格系统为代表的覆盖网络的高昂代价问题,本文在研究影响覆盖网络仿真器性能参数和覆盖网络仿真应用状况的基础上,提出了一个基于DEVS的分布式覆盖网络并行仿真算法.该算法根据用户定义的覆盖网络服务协议和用户应用服务需求描述,生成离散事件负载,分发到位于不同主机的仿真器,进行并行仿真处理.由此设计实施的仿真器可以用来仿真大规模的、动态的覆盖网络应用,能够较好的解决覆盖网络仿真中面临的可扩展性和网络动态变化的仿真问题.
60.内存泄漏故障静态测试方法研究
- 张威;李辉;毕学军;宫云战
- 《第四届中国测试学术会议》 | 2006年
摘要：内存泄漏故障在使用指针的程序中是普遍存在的,采用动态测试方法进行测试难以准确定位故障源.而现有的静态测试方法主要存在漏报和误报过多的情况.针对这些问题,分析了指针状态及其转换函数,给出了内存泄漏故障的形式化描述,并以此为基础,提出了一种静态测试方法.在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度.测试结果表明,该方法能够有效检测内存泄漏故障,而且误报率也较低.
61.重油混烧控制系统的神经网络故障诊断方法
- 谢宏;何怡刚;张波
- 《第四届中国测试学术会议》 | 2006年
摘要：给出了离散Hopfield神经网络结构和模型.利用Hopfield神经网络的演变过程是一种计算联想记忆的过程,它适用于正交(或近似正交)模式的记忆性质,给出了一种Hopfield神经网络的双向联想记忆模式的记忆矩阵构造方法,并提出了一种改进的基于Hopfield神经网络的控制系统故障诊断的算法,利用此算法实现实时检测混烧控制系统的故障和异常,对混烧控制系统的调节器和阀门进行故障诊断和故障信息提示.
62.时延测试在一款通用微处理器上的应用
- 刘慧;中国科学院研究生院;胡瑜;李华伟;李晓维
- 《第四届中国测试学术会议》 | 2006年
摘要：随着芯片制造工艺的发展和频率的提高,时延测试在微处理器测试中有着越来越重要的作用.本文介绍了一款通用微处理器上的时延测试,然后针对时延测试所引起的测试向量数的增加,介绍了一种测试向量集的优化流程,实验结果表明该优化流程将测试向量体积减小了35％.
63.IDEA加密算法在智能传感器中的应用
- 田晓霞;赵刚
- 《第四届中国测试学术会议》 | 2006年
摘要：介绍了智能传感器中的数据加密设计方案,国际数据加密算法(IDEA)以及用TMS320VC5416 DSP芯片的实现方法,并对其进行了性能评估.实验证明,在传感器级采用硬件完成数据加密,具有实时性好、安全性高、运行速度快等优点.
64.高频全差分VGA增益控制特性的自动测试
- 黄成;恽廷华
- 《第四届中国测试学术会议》 | 2006年
摘要：本文介绍了一种高频全差分VGA增益特性的自动测试方法.针对输入输出全差分电路的特性,文章首先分析了通过balun构建的测试系统的增益补偿系数,利用GPIB总线和计算机并口,实现了电路的自动测试.最后使用本方法在50分钟内完成了VGA 2176个测试点的精确测试,结果表明该方法提高了测试效率和测试可重复性.
65.射频阻抗测量夹具去嵌入技术
- 陶峰
- 《第四届中国测试学术会议》 | 2006年
摘要：本文介绍了一种射频阻抗测量夹具的建模及去嵌入技术.分析了简单阻抗测量夹具中由于阻抗不连续以及结构变换引起的反射,分别建立PCB板上微带传输线的模型、同轴至微带线的转接模型以及从测量结果中去嵌入夹具影响的方法.使用自制的测量夹具测量0603封装的贴片器件,并利用文中的方法进行建模和去嵌入处理,最终获得贴片器件的射频特性;同时得到微带线的特性,实际验证了该方法的正确性.
66.开关电流滤波器的伪随机激励测试
- 郭杰荣;湖南文理学院信息技术研究所;何怡刚;唐圣学;李宏民
- 《第四届中国测试学术会议》 | 2006年
摘要：本文提出一种基于伪随机信号对内嵌开关电流电路进行测试的方法.对伪随机激励信号的产生及其与被测开关电流电路z域传输函数的适配进行了分析,讨论了构成开关电流电路晶体管的故障模型以及开关电流特有的参数故障,对6阶切比雪夫开关电流低通滤波器进行了故障仿真测试.本方法适用范围较广,故障覆盖率高,对待测电路无介入,测试激励信号以及测试电路几乎全部数字化并且可以自检测,不需额外的模拟输出管脚,测试所需的硬件成本低.
67.含存储器数字电路系统的自动测试生成
- 成本茂;鞠艳秋;王红;杨士元
- 《第四届中国测试学术会议》 | 2006年
摘要：本文针对实际维护PCB板中对含存储器模块的电路系统的测试需求,从测试角度对ROM和RAM建立一种复杂器件模型.方案在确认模型正确的基础上,利用数字电路板故障诊断测试集的自动生成软件对含有存储器的数字电路板进行测试生成并进行了故障仿真,验证结果表明该方法有效的满足了含存储器数字电路板的测试需求.同时含存储器数字电路系统的测试生成方案也为测试含有其他大规模数字器件的数字电路提供了借鉴.
68.基于PCI接口的一个虚拟仪器设计
- 叶超;安琪;宋健
- 《第四届中国测试学术会议》 | 2006年
摘要：精密时间测量仪是典型的虚拟仪器.文章结合PCI的映射机制,介绍了以WinDriver为工具编写PCI接口驱动程序的步骤以及在Labwindows/CVI软件开发环境下设计高精度时间间隔测量仪控制软件的方法.最后说明了以虚拟仪器为特点的精密时间测量仪的技术优势以及在生产科研实践中的应用及在仪器和测试领域中的发展前景.
69.RTL验证中的混合可满足性求解
- 邓澍军;吴为民;边计年
- 《第四届中国测试学术会议》 | 2006年
摘要：验证是当前越来越复杂的集成电路设计中的瓶颈,在寄存器传输级(RTL)直接做验证是目前比较有效的一种途径.RTL混合可满足性求解是RTL验证中的关键技术.本文将RTL混合可满足性求解方法分为基于可满足性模理论(SMT)和基于电路结构搜索两大类.基于SMT的求解方法主要使用逻辑推理的方法,目前在处理器验证中获得了广泛的应用,这主要得益于SMT支持用于描述验证条件的基础理论.基于电路结构搜索的方法能够充分利用电路中的约束信息,因而求解效率较高.文中分别介绍了每一大类中的典型研究及它们所采用的重要策略,并对不同方法的优缺点和运行效率进行了对比.本文还介绍了我们在RTL可满足性求解方面的研究进展.
70.基于BDD启发策略的门级电路前像计算方法
- 赵阳;刘领一;李晓维
- 《第四届中国测试学术会议》 | 2006年
摘要：前像计算是无界模型检验中的一个基本问题.本文提出了一种新的基于二叉判定图(BDD)启发策略的门级电路前像计算方法.这种方法发崛和利用无关解子空间之间的组合,避免了重复搜索.由于使用了BDD来引导搜索过程,这种方法可以减少搜索中的冲突.同时,利用hash表记录回溯点的位置,可以加速回溯的过程.文章最后给出了实验结果,说明了这种方法的优越性.
71.基于改进概率搜索算法的模拟电路故障诊断
- 彭明侨;罗先觉;邹晓松
- 《第四届中国测试学术会议》 | 2006年
摘要：本文将经典确定性优化算法和现代概率搜索优化算法结合起来,使用现代概率搜索算法获取初始值,再通过经典确定性优化算法根据初始值得到优化结果.本方法有效的解决了确定性算法的全局搜索能力差和概率搜索算法局部收敛能力差的问题,为大容差、多故障的模拟电路故障诊断的全参数辨识问题提供了一种有效的方法.本文最后给出了一个仿真实例,证明了算法的可行性.
72.小波及BPNN在非线性模拟电路故障诊断中的应用
- 刘美容;何怡刚;朱彦卿;王玺
- 《第四届中国测试学术会议》 | 2006年
摘要：本文提出了一种基于小波变换与神经网络相结合的非线性模拟电路故障诊断的方法.该方法利用DB1小波变换对非线性模拟电路故障信号进行一系列预处理,提取信号的故障特征量,然后将故障特征量输入至BP神经网络进行处理,故障信号经过小波变换处理后,有效地减少了BP神经网络的输入层单元数,同时也简化了神经网络的结构、减少了它的训练时间,从而提高识别故障的能力.本文在描述完该故障诊断方法的基本原理后,给出了小波变换以及故障特征选择的方法,并用实例证明该方法是可行的.
73.容差模拟电路的故障检测与定位研究
- 彭敏放;何怡刚;沈美娥;吕敬祥
- 《第四届中国测试学术会议》 | 2006年
摘要：提出了一种基于统计理论、信息融合及神经网络的容差模拟电路故障诊断方法.该方法将故障诊断分为两个阶段完成,即故障检测与故障定位.通过监测可测点工作电压利用所构建的故障阈值函数与故障判据来实现容差电路的故障在线检测.再通过离线测量电路在不同测试频率下输出对输入的增益,利用可测点工作电压与电路增益,运用所提出的数据融合方法及改进的BP算法对电路进行故障定位.模拟诊断结果表明:所提方法可用于容差电路的硬故障与软故障诊断,所需测试节点少,故障检测与定位准确率高.
74.基于时间Petri网产生测试序列的方法
- 唐乐;雷航;吴晓华
- 《第四届中国测试学术会议》 | 2006年
摘要：有限状态机(FSM)模型不利于描述并行活动的同步性.而扩展有限状态机(EFSM)因增加了操作和迁移的前置条件,导致存在不可达状态.因此,提出用时间Petri网(Time Petri Net)模型描述实时系统并产生测试序列的方法.时间Petri网是一种基于状态的高级模型,该模型方便描述系统的并发、同步等行为,避免基于FSM或EFSM模型分析实时系统的不足.搜索可达树的最短路径,产生有时间约束条件的测试序列,可检测系统是否在规定时间内完成预期功能.文中通过实例说明该方法在实时软件测试中的应用.
75.一种基于IDDT的延时故障测试产生方法
- 蔡烁;邝继顺;崔昌明
- 《第四届中国测试学术会议》 | 2006年
摘要：瞬态电流测试(IDDT Testing)作为传统电压测试和稳态电流测试方法的一个补充,越来越受到研究领域和工业界的关注.针对不同的故障类型,基于瞬态电流测试的测试产生方法也有所不同.这里提出了一种关于延时故障的测试产生算法.该算法利用3个向量来激活延时故障.通过基于布尔过程的波形模拟器计算得到正常电路和故障电路的跳变差,并利用PSPICE软件对测试产生结果的有效性进行了模拟.实验结果表明该测试产生算法用于检测延时故障是可行的.
76.一种基于混沌搜索的IDDT测试产生算法
- 汪琼;邝继顺;邓杭剑
- 《第四届中国测试学术会议》 | 2006年
摘要：随着集成电路测试技术的不断发展,瞬态电流测试(IDDT Testing)作为传统电压测试和稳态电流测试方法的一个补充,越来越受到研究领域和工业界的关注.瞬态电流测试产生需要一次产生多个向量(两个或两个以上),测试产生算法比较复杂,耗时较多,因此研究高效的测试产生算法具有重要的意义.本文针对瞬态电流测试提出了一种测试产生算法.该算法将测试向量空间映射到混沌空间并采用混沌搜索来寻找一对符合要求的测试向量对.模拟实验结果表明将混沌搜索用于瞬态电流测试产生是可行的.
77.基于粒子群算法和蚂蚁算法的时序电路测试生成研究
- 王健;许川佩;李智
- 《第四届中国测试学术会议》 | 2006年
摘要：本文提出一种新的基于粒子群算法和蚂蚁算法的时序电路自动测试生成算法.该混合算法在保留粒子群算法的基本特性下,利用蚂蚁算法的正反馈等特点,进一步引导搜索.对该算法模型进行了实验验证,与基于粒子群算法的结果相比,在测试生成时间几乎相等的情况下,取得了更高的故障覆盖率;与基于蚂蚁算法的结果相比,测试矢量集大幅度缩小.
78.非干涉测试方法对异质嵌入式系统的适应
- 张炯;金惠华
- 《第四届中国测试学术会议》 | 2006年
摘要：传统的嵌入式系统软件测试方法对被测试系统有一定的干涉效应,影响了测试结果的精确性和正确性.采用"非干涉测试方法"(NIT,Non-Interference Test)可以将这种影响消除,从而得到精确的测试结果.与传统的测试方法不同,该方法的特点在于对目标系统完全是非干涉的,也就是不需要在目标软件中驻留任何仅用于测试的可执行代码.因为NIT是对目标系统硬件和软件定制性很强的测试方法,而嵌入式系统的硬件、软件组合是非常灵活而复杂的,所以将NIT应用于实际的测试工程必须解决如何适应不同体系结构目标机器的问题.具体来说,如何适应异质的硬件?如何面对不同目标系统都能在数据采集的同时高效率的分流过滤以便减小数据分析的压力?如何在数据分析阶段适应不同的高级编程语言的测试?本文针对这些问题进行了相关分析.