函数摘要在 Concolic 测试方法中的应用

在函数摘要的基础上提出了一种新的Concolic测试方法.该方法利用外部调用的函数摘要来避免多次测试外部调用引起的路径爆炸问题.在对外部调用进行 Concolic 测试后,将其返回结果和路径条件作为函数摘要.测试过程中调用同一外部调用时,该方法用函数摘要替代展开测试,避免传统 Concolic 测试过程对外部调用重复测试的问题,缓解了调用次数增多和调用深度增加引起的路径爆炸问题.原型系统的实验结果表明,随着测试对象中的函数数量增加,传统 Concolic 测试路径数量可能出现指数型增长,该方法中测试路径数量基本保持线性增长.     

软件可靠性加速测试与评估方法

为提高软件可靠性测试效率,提出了一种基于混合测试的软件可靠性加速测试方法,将针对性测试方法与软件可靠性测试方法相结合,并给出了相应的混合加速测试过程.利用次序统计量理论构建了基于混合测试过程的软件可靠性评估模型.以一个仿飞机外挂物管理系统为对象进行了实例应用,给出了具体测试过程并进行软件可靠性评估,结果表明该加速测试方法克服了软件可靠性测试中普遍存在的饱和效应问题,可以有效地加快测试过程,同时提出的软件可靠性评估模型表现了较好的拟合效果并能够给出较为准确的软件可靠性评估预计结果.     

基于动态聚类的有限状态机多错误诊断

为了解决多错误诊断时枚举数量过大的问题,提出一种基于动态聚类分析的方法.首先,按照是否具有相同的初始症状冲突集对失败用例进行聚类,并计算初始症状冲突集及其转换的可疑度;然后,按照可疑度的大小枚举可能发生错误的转换组合,在枚举过程中进行再次聚类;最后,用测试集验证错误可能,生成错误诊断集.实验结果表明,该方法可以有效减少错误枚举数量,提高诊断效率.     

函数摘要在Concolic测试方法中的应用

在函数摘要的基础上提出了一种新的Concolic测试方法.该方法利用外部调用的函数摘要来避免多次测试外部调用引起的路径爆炸问题.在对外部调用进行Concolic测试后,将其返回结果和路径条件作为函数摘要.测试过程中调用同一外部调用时,该方法用函数摘要替代展开测试,避免了传统Concolic测试过程对外部调用重复测试的问题,缓解了调用次数增多和调用深度增加引起的路径爆炸问题.原型系统的实验结果表明,随着测试对象中函数数量的增加,传统Concolic测试路径数量可能出现指数型增长,而该方法中测试路径数量基本保持线性增长.     

片上多处理器的层次化高速测试和验证技术

片上多处理器的体系结构具有高效、低功耗的特点,但由于整体逻辑规模较大,且存储系统有一致性的要求,因此其模拟器测试和验证的计算量大、复杂度高,整体采用传统的形式化测试方法测试速度慢.运用分隔测试技术可以在测试过程中降低整体计算的复杂度,将使用传统测试方法不能测试的复杂系统测试简单化;利用随机程序生成技术可以减少测试人员编写测试程序的时间并加速发现系统的错误,并行测试技术可以快速低功耗检验片上多处理器存储器系统的功能并具有良好的可扩充性.将上述测试方法集成在片上多处理器的测试中,能够对整体的计算量进行合理的分割和并行化,迅速定位整个系统的错误,大大缩减所需要的测试时间,降低了测试人员的工作量,提高测试结果的覆盖率和可信性.     

微区薄层电阻测试方法的研究

对国内外开展微区薄层电阻测试的方法进行了综述，特别对改进范德堡四探针技术方法的测试原理、测试过程与测试结果进行了论述与分析，对微区电阻测试方法的进一步发展提出了一种可操作的方法。     

宿主环境下嵌入式软件白盒测试方法

针对嵌入式系统软硬件开发不同步的问题,提出一种宿主环境下嵌入式软件白盒测试方法。采用基于顺序块的插桩方法来实现语句覆盖测试,采用基于逻辑树的插桩方法来实现分支覆盖测试,在被测程序运行过程中由嵌入式模拟器实时发送桩信息到分析器,由分析器计算得到语句与分支覆盖率。实验表明,该方法能实时获取嵌入式软件测试过程中的语句和分支覆盖率,测试效果良好。     

小细管流动阻力测试方法实验研究

提出了一种非定常、小流量的流动阻力测试方法，然后按照该方法建立了小细管流动阻力测试实验其测试过程的控制和实验数据的整理都由计算机完成，最后，通过单一管径的清水标定实验和不同管径流动特性对比实验验证了该方法的可行性和实验台的可靠性，实验结果表明，小细管流动阻力测试方法用于低雷诺数流动实验时具有较高的精度，适于高成本流体流动特性实验研究。     

ITS中基于知识库的错误诊断模型的研究

传统的远程教学系统一般只提供在线考试来检测教学效果,而缺乏有效的错误诊断功能。文章提出了一种基于知识库的错误诊断模型及其诊断算法,能够准确地探测定位到错误知识点．目的是在学生做题出错时给出错误原因分析,并把定位的相关知识点信息反馈给教学模块以便及时地动态调整教学策略。     

基于扫描链修改的低功耗测试方案

芯片测试过程中存在的高功耗问题是制约芯片测试发展的难题,针对此问题,提出一种新的低功耗测试方法。该方法通过插入异或门,将扫描链中的部分D触发器用T触发器代替,同时采用遗传算法对测试结构进行修改和测试向量重排序,为了保证故障覆盖率和故障仿真的正确性,对测试数据进行转换,从而降低由于节点电压跳变所导致的电平翻转次数,达到降低测试功耗的目的。根据部分ISCSAS 89基准电路的实验结果表明:该方法符合预期目标,平均功耗相对于未采用该方法前降低51.26%。     

发动机测试中误差处理技术研究

试验数据的精度对发动机的性能分析有着重要的影响,为了提高测试数据的可靠性,必须对采集到的各个数据进行误差分析和处理.该文分析了发动机测试系统中存在的误差种类和原因,对不同的误差采用了不同的处理方法,采用曲线拟合技术得到合理的发动机性能特征曲线,以准确地评价发动机的性能,提高试验有效性.     

一种基于构件失效传播的软件可靠性建模方法

在当前主流的基于软件体系结构可靠性建模方法中,路径法是一种相对简单实用的建模分析方法。现有软件体系结构可靠性建模方法大多基于构件失效行为相互独立的假设,当构件产生的失效对其它构件可能产生影响时,现有的建模方法无法准确表达系统的失效行为。为解决这一问题,基于路径法,使用构件转移图描述典型的软件体系结构,引入构件失效传播概率矩阵来定义构件失效传播行为,并对现有针对典型体系结构的可靠性模型进行了扩展。最后通过两个实例验证了新模型比现有模型更能获得准确的评估结果。     

共振柱试验机试验误差分析

针对常规土类试验和刚性试件试验,建立了固定-自由式共振柱试验机的动剪切模量误差、应变误差和阻尼比误差计算公式,得到了几种主要影响因素和其对试验误差影响程度的定量认识.分析发现:试件动剪切模量相对误差与测试频率本身标准值无关;试件类型的不同对动剪切模量相对误差的影响可忽略不计;对于常规试验,频率的相对误差和高度的相对误差对动剪切模量相对误差影响较大,同比条件下是其他参数的两倍;对于刚性试验,频率的相对误差和修正值的相对误差对动剪切模量相对误差影响较大;应变相对误差与试件类型无关,测试频率相对误差的影响较其他参数的影响大两倍;阻尼比相对误差是个很敏感的参数,对于常规试验小应变时误差较难控制,对于刚性试验误差控制难度更大.     

射流元件动态力检测方法

介绍了射流元件输出力的一种检测方法,该方法具有很高的频率. 通过对测试系统进行建模、仿真,找出测试系统固有特性对动态力测量的影响规律,从而对实际检测系统的设计和误差修正提供了理论依据.     

基于扩展库所/迁移系统的GUI自动化测试

为解决图形用户界面(graphic user interface,GUI)元素状态空间庞大以及用户操作组合空间复杂等问题,针对特定类型的GUI软件,提出一种基于扩展库所/迁移系统的GUI测试模型.在此模型中,库所表示用户在GUI软件上的操作类型,迁移表示用户在GUI上的操作事件.针对模型制定了3个相应的准则:库所覆盖准则、迁移覆盖准则和迁移对覆盖准则.对迁移对覆盖准则和事件对覆盖准则进行分析,并设计了相应的GUI测试用例生成算法.在计算器上的初步试验结果表明:相较事件对覆盖准则,迁移对覆盖准则在保持较高的错误发现能力的同时,生成的测试用例规模只有其40%,极大地降低了测试用例规模.     

化工过程中MT-两两同步过失误差侦破方法的研究

在工业过程中,获得准确可靠的测量数据是实现过程控制、模拟、优化和生产管理的前提条件。过程数据中存在的过失误差直接影响数据的准确性,因此,进行过失误差侦破与识别是非常重要的。根据测量数据检验法和两两同步侦破法的优缺点,提出了测量数据检验法和两两同步侦破法的组合方法来进行过失误差侦破与识别。实例应用表明,该方法不仅保留了两两同步法能够有效地侦破多个过失误差和泄漏的优势,而且明显地降低了两两同步侦破法中需要计算的统计检验量的数目,减少了侦破过程的计算量。     

卫星测试中故障诊断专家系统的设计和实现

提出了一种基于专家系统的开发工具CLIPS(C language integrated production systern)，来设计卫星测试中的故障诊断专家系统（STFDES）的方法以及实现途径，这种运用了知识库、正反向推理，将CLIPS内核嵌入到主流软件中进行集成的方法，为卫星测试的自动化提供了新方案。     

有限时间Back-Stepping动态面控制

针对一类具有外干扰和建模误差的n阶非线性系统提出一种有限时间Back-stepping动态面控制.在动态面控制方法的子系统控制器设计中设计一个快速有限时间收敛的非线性滤波器,以代替一阶线性滤波器.该方法可避免"计算膨胀",降低高阶系统的误差积累,同时可避免高阶系统有限时间控制难以解决的奇异性问题.针对动态面控制稳定性分析中未将估计误差考虑在内的不足,将其一并考虑,并证明了其稳定性,给出稳态控制误差.最后结合四旋翼飞行器位置控制系统仿真验证了其工程的实用性和优越性.     

Method for high reliability evaluation of explosive initiator based on sensitivity distribution order restricted theory

Based on the hypothesis testing theory and sampling inspection,and utilizing the distribution parameters obtained by order restricted method,the matter of reliability index verification is transformed into testing the scale parameters of distribution.Thus,a lower stimulus level is selected,and small sample size specimens are tested to verify the high reliability at required stimulus level.Analysis for mean square error of verification test stimulus level is taken,and the result demonstrates that it is reasonable to confirm the test scheme using the order restricted estimation.The new method is used for reliability verification of the stab detonator comparing with run-down method.The result shows that it is available for verification of high reliability explosive initiator by small sample size.     

基于优化权集的数字集成电路随机测试

提出了一种基于确定性测试集的数字集成电路随机测试生成方法。通过将完备测试集分成若干子集，由每一子集计算产生子集中测试矢量的被测电路各主输入端取“1”值的概率组合即所谓的权集。通过减小测试子集生成概率的方差可以减少低生成概率的测试矢量数，进而减小在高故障覆盖率下的测试长度，该方法对大规模集成电路的内测试和外测试皆适用。