降低软件变异测试复杂性的新方法

基于硬件测试技术中经常使用的故障控制及等价关系的理论,对软件变异测试提出一种新的简化决策条件故障的思想和技术,使得在变异测试中需要注入的故障数得以减少,从而简化软件变异测试过程,缩短了测试时间.由此也可有效降低软件测试复杂性,提高测试效率.实验结果证明了所提出的思想和方法的正确性和有效性.     

测试用例自动生成中约束求解策略的选择

在软件测试中,构造测试用例是非常重要的一环.传统的测试用例生成方法都由测试人员手动完成,这种生成方式效率低下成本高昂,同时生成的测试用例非常有限,覆盖率较低.首先探讨了通过约束求解的方法,通过分析程序路径中所有的约束表达式,逆推得到测试用例的过程;然后调查了不同类型的C语言工程的待测源码的统计结果,同时针对其特征,引入了不同的约束求解算法策略;最后通过各种策略的组合与配置,给出了一种具有普遍性的测试用例自动生成的约束求解方法.     

影响磁控溅射镀膜生产线真空度的因素和处理方法

目前,磁控浅射镀膜生产线正在国内逐步推广应用.本文是根据七年来在国产第一条镀膜生产线调试、生产工作中积累的实践经验,概述了影响真空度的因素和处理方法,同时介绍了机械泵、罗茨泵和扩散泵在使用时应该注意的事项.     

SPR角谱测量仪的原理与设计

介绍了表面等离子体共振(SPR)测试原理,结合扫描方式角谱测试和CCD角谱测试方法,设计了一种高分辨率、宽范围便携式的SPR角谱测试系统,讨论了提高测试精度的方法。     

基于89C51的线束检测仪的硬件系统设计

设计了一种实用的线束检测系统,该系统具有最大可检测1200点的可编程检测功能,能够准确快速检测各种线束的断路、短路及线束中的电阻、二极管等故障,保证了产品质量,大大地提高了生产效率。本文对检测仪设计的总体方案进行了探讨,对线束检测仪的硬件设计进行了研究。     

核燃料板型元件焊缝熔深检测方案探讨

完成核燃料元件由棒型到板型的转型工作，焊缝熔深检测为其关键的技术难点之一．作者通过前期的研究确定了核燃料板型元件焊缝熔深检测方案．文章对整个系统进行了介绍，并阐述了系统的工作原理．     

一种基于覆盖测试的动态切片的计算方法

针对现有动态切片方法的缺陷,提出了一种基于覆盖测试的动态切片的计算方法.该方法的关键是建立一个基于覆盖测试的动态依赖图,它既利用动态执行信息又利用静态信息.文中提供的动态切片方法还克服了以往动态切片方法的缺点,即动态切片不会因切片标准变化而重新计算.     

手机产品开发早期阶段用户界面评估方法

在产品开发早期阶段对产品原型进行有效的可用性评估是终端用户需求能够得以满足的重要保障.为此,以手机产品为例提出了一种结合了用户测试和问卷测量的可用性评估方法,并以手机产品的纸面原型为对象进行了实验研究.研究者选择了3款具有代表性手机作为实验的评估对象,并制作相应的纸面原型.实验中,72名参与者分别在原型和产品的用户界面上完成7个任务,然后通过填写问卷的方式对被测界面的可用性给出评价.通过分析比较真实产品和纸面原型的评估结果,验证了这一方法的有效性.结果表明,本文方法能够发现足够的可用性问题的数量和类型,说明此方法是可行的,并且对于指示界面上存在的可用性问题具有较高的敏感度.     

建筑结构强度无损检测区间评定方法

提出一种建筑结构强度无损检测区间评定方法,此方法能较好地反映工程的实际情况.该方法运用逆回归模型和置信检验理论给出了在一定置信度下的建筑结构混凝土强度的置信上、下限和置信区间,并给出了混凝土强度的合格和不合格判定标准,从而形成了逆回归回弹法检测建筑结构混凝土强度的新体系.通过工程实例证明,本文提出的方法比传统的利用回归模型和点估计方法判断混凝土强度更符合工程实际,且能对混凝土强度做出定量化的判断.     

基于PXI和GPIB总线雷达自动测试系统的设计

利用PXI模块仪器和GPIB仪器，组建了基于PXI和GPIB总线的某型雷达自动测试与故障诊断系统。给出了系统的硬件构成和软件设计方法，并讨论了将关系型数据库和专家知识应用到自动测试和故障诊断领域中去的实现方法。实际应用表明：该系统具有通用性强、操作方便、自动化程度高、故障定位准确等特点。