Analyzing and Seeking Minimum Test Instruction Set of Digital Signal Processor for Motor Control

The relativity of instructions of motor control digital signal processor (MCDSP) in the design is analyzed. A method for obtaining a minimum instruction set in plac e of the complete instruction set during generation of testing procedures is giv en in terms of the processor presentation matrix between micro-operators and in structions of MCDSP.

基于惯性权重优化的测试用例生成方法

针对组合测试测试用例生成环节中局部最优的问题,提出一种基于惯性权重优化的测试用例生成方法。结合粒子群算法的优点,以生成最小规模覆盖表为目标,改进适应值函数,设计一种惯性权重微分递减策略;在此基础上,更新调优后的惯性权重值,使用测试用例演化策略迭代生成测试用例集,提升生成更小规模覆盖表的能力。实验结果表明,该方法在高覆盖需求下,覆盖表最小生成规模和平均生成规模优于其它方法。

基于故障树分析法的软件测试技术

为了更加有效地提高软件测试的效率,将故障树分析法引人软件测试中,提出了建模的基本思想和方法,给出了软件测试故障树最小割集的算法,对故障树模型进行了定性和定量的分析,并将分析结果指导和应用于软件测试实践中。

基于DES理论的数模混合电路故障诊断研究

数模混合电路故障诊断是一个被广泛关注的前沿课题,它面临着许多测试上的难点,解决这个问题意义重大而任务艰巨。由于数模混合电路具备DES的特点,本文采用近来发展的DES理论对数模混合电路进行可测性分析,该法可用一定的算法在计算机上实现;最后对DES理论在电路测试中的应用进行了实例验证。实验表明:该方法可以有效地进行数模混合电路故障诊断。

基于故障树分析与组合测试的测试用例生成方法

随着软件的日益复杂,如何从巨大的可用测试用例空间中选择少量的测试用例进行有效的测试,成为了软件测试的重要课题之一。给出了一种易于自动化实现的软件测试用例生成方法。首先运用故障树分析原理,获取待测软件故障树的最小割集;然后利用等价类划分法、边界值分析法等经典黑盒测试方法,获取各最小割集中每个元素的典型取值集合;最后利用组合测试技术,在充分考虑各元素两两之间关系的基础上生成测试用例集。该方法对传统的故障树分析方法进行了改造,具有更大的适用范围;综合利用组合覆盖技术与黑盒测试方法,能有效保障测试充分性并减少测试用例数目。工程实践表明,该方法能够大幅提高测试效率。

基于DES理论的数模混合电路可测试性研究

近年来出现的离散事件系统(DES)理论为数模混合电路的测试提供了一种新的解决思路,本文对DES理论在求取数模混合电路的可测试性和最小测试集中的应用进行了论述。该种方法可以在计算机上用C++语言实现。

MC/DC最小测试用例集递归分块矩阵生成算法

测试用例个数可以影响软件测试的成本与效率,因此最小测试用例集的生成算法具有重要的实用价值。对布尔表达式语法树采用递归分块矩阵处理,得到了MC/DC最小测试用例集生成算法。并证明了该算法的正确性,给出其成立的前提条件。

故障树分析测试用例生成技术研究与应用

文章对采用故障树分析技术造成系统失效的各种软件因素进行分析,确定造成系统失效的各种原因组合。通过构造软件系统故障树,生成故障树的最小割集,分析各个割集的安全性约束条件,由安全性约束条件分析测试数据,最后生成测试用例的算法。将故障树分析技术用于指导软件测试设计,体现了以系统工程方法研究软件测试的系统性、准确性和预测性。

基于最小割集的软件安全性测试用例生成

软件产业的飞速发展也给软件的安全性问题很大的挑战。对软件进行安全性测试是保证软件安全的重要手段[1]。软件安全性的测试用例是保证软件安全性测试的基础,它能提高软件安全性测试的质量。利用故障树的原理和方法,基于故障树最小割集的生成,阐述了其基本原理并对其进行定性和定量分析。利用生成的最小割集设计测试用例能保证测试的充分性、测试用例分布的合理性,保证了软件安全性测试用例质量和安全性测试质量、效率。

关于最小测试集的线性规划松弛近似

目前最小测试集的最佳近似比是贪心算法的2lnn-o(1)。这个近似比能否改进是一个公开的问题。本文讨论了最小测试集的基于线性规划松弛的近似比证明方法的能力问题。我们证明最小测试集的整性间隙至少为0.72lnn,而且最小测试集整性间隙的系数可以与最小集合覆盖的整性间隙的系数一样大。另外,我们说明加权最小测试集的贪心算法的近似比不能通过对偶拟合方法改进超过一个常数。

基于故障树分析法的软件测试技术研究

将安全性评估领域广泛应用的故障树分析法引入软件测试中,融合基于软件故障概率分析和风险分析的方法,对软件测试的故障树建模进行了重点研究。提出了建模的基本思想和方法,给出了软件测试故障树最小割集的算法,对故障树模型进行了定性和定量分析,并将分析结果指导和应用于软件测试实践中。

基于最小集合覆盖求解方法的测试向量集约简

TetraMAX ATPG作为业界性能较优的自动测试向量生成工具,能够使用较短时间产生高故障覆盖率的测试向量集.本文通过对TetraMAX ATPG产生的初始测试向量集进行建模,提出了基于最小集合覆盖求解方法的最小完备测试集生成方法,利用这一算法可以在保证测试向量集故障覆盖率不变的基础上有效地缩减测试集规模,从而降低电路测试成本.实验结果表明该方法对于固定故障类型和静态电路故障类型均具有良好的约简效果.

MC/DC最小测试用例集快速生成算法

以条件判定组合的语法树为研究对象,总结语法树的左右分支对判定结果的影响方式及结果,根据其影响特点提出超越语法树的快速生成改进判定/条件覆盖最小测试用例集的算法。与其他算法在在空间及时间方面进行比较,结果表明该算法具有一定的优越性。

某型试验机测试系统的可靠性研究和分析

用故障树分析方法,对应用于某型试验机的测试系统进行了定性和定量的分析,对其可靠性进行评估。对研究对象系统的功能、原理及其故障模式进行介绍,根据所实现的功能将系统划分为4个功能相对独立的子系统。基于4个子系统故障树模型的顶事件,针对各个子系统分别建立故障树模型,整合后得到系统的完整故障树模型。对系统的故障树模型进行分析,定性求解最小割集,并通过最小割集计算系统的失效率和故障树底事件的关键重要度等可靠性指标。

基于EFSM的最小测试用例集生成方法

影响测试成本的主要因素是测试用例集规模和测试用例的总长度,为降低测试成本,对测试用例生成技术进行研究,提出一种基于集合覆盖理论的最小测试用例集生成方法。设计迁移覆盖算法,其中引入关键迁移概念,设计最小测试用例集算法用于合并迁移覆盖算法输出的集合,得到最小测试用例集。实验结果表明,所提方法得到的最小测试用例集,降低了测试成本,提高了测试效率。

基于最小集合覆盖的网络连通性自动化测试

网络规模的增长加大了分布式网络管理与测试的难度。为此,提出一种优化的全连通自动化测试用例集生成算法。在最小集合覆盖理论的基础上,引入空间因子参数,优先选取搜索空间中起点或终点被选取次数最多的测试路径进入解集,以减少测试点数。实验结果表明,该算法在空间因子为4的情况下,比贪心搜索算法减少约20%的测试点数,比GRASP算法缩短约99.9%的测试时间,具有较高的测试效率。

集成电路测试工艺优化方法

依据摩尔定律集成电路上可容纳的晶体管数目,约每隔18个月便会增加一倍。若继续采用传统的集成电路测试工艺,则测试时间和测试硬件等因素将使集成电路的测试成本不断增加。旨在对传统的集成电路测试工艺进行优化,提出一种兼顾质量并能有效降低集成电路测试成本的方法。

A/D转换器最小完备测试集生成与故障诊断方法研究

为了减少A/D转换器测试集的冗余度,及其在故障诊断时的工作量大,征兆混淆等问题。文中建立了故障A/D转换器的输入输出模型,并采用最大相异性模型算法生成A/D转换器固定逻辑"0"故障和固定逻辑"1"故障的最小完备测试集。同时,提出了将A/D转换器数字输出向量在二元域GF(2N)空间中正交分解后分别提取特征量的方法来完成无噪声影响位和噪声影响位的故障识别。通过仿真验证表明:输入A/D转换器的测试电平数量减少了99.9%。本文生成的最小完备测试集不仅能够满足紧凑性条件和完备性条件,而且极大降低了测试向量的冗余度。本文提出的故障诊断方法提高了故障诊断的时间效率和准确度,解决了A/D转换器噪声影响位由于征兆混淆而无法完成故障识别的问题。

MC/DC准则在嵌入式软件测试中的应用

MC/DC准则被广泛应用于高安全性的嵌入式软件独立验证和确认中,是一种实用而高效的软件结构覆盖率验证准则。基于嵌入式软件测试的特点与MC/DC的基本概念,提出了MC/DC的最小测试集的形成方法。结合工程应用实例,利用自动化测试工具实现MC/DC测试流程。MC/DC准则在核电仪控系统中的成功应用,对于航空、军工、机器人等高安全性和高可靠性领域有着很好的借鉴作用。

基于故障树和LabVIEW的引信测试仪诊断系统

在科研生产中,需要引信测试仪对各重要环节中的产品性能进行参数测试来保证产品品质,因此测试仪的可靠稳定运行十分重要。为保障系统稳定、可靠地运行,提出了一种基于故障树和虚拟仪器相结合用于引信测试系统的故障诊断方法;采用故障树分析法对故障树模型进行了分析,并采用虚拟仪器技术开发了测试仪检测系统;实验结果表明,诊断系统人机交互能力好,验证了基于故障树和虚拟仪器Lab VIEW的方法用于引信测试系统设备诊断的可行性;有力提高了现场维修技术人员的检测与故障诊断能力。