一种基于UML状态图的规约变异测试方法

规约变异测试从软件功能的角度,对规约进行分析,从而揭示规约中存在的问题。本文提出一种基于UML状态图的变异测试方法,针对每种变异算子,分析其是否会引入冲突,进而有效避免不合理的变异操作;分析了每种变异算子产生等价变异体的条件,能够在生成变异体的同时检测并移除等价变异体,进而减少其对测试过程的影响;给出了杀掉每种变异体所需满足的条件,可在此基础上产生杀掉特定变异体所需的测试用例,从而提高测试用例集的质量。在此基础上,根据变异算子的实际功能,整合了功能相同的算子,减少了变异算子的数量,从而进一步降低了变异测试的开销。实验结果表明,本方法能够较好地提高测试用例的质量,进而提升测试的效率。     

软件单元测试应用研究及案例分析

单元测试是软件测试过程的第一站,高质量的单元测试是软件质量保证的必要条件,本文就单元测试的概念、测试类型及规程作了简单的阐述,同时就单元测试进行了案例分析。     

独立分量分析理论在海底管道漏磁检测中的应用

应用独立分量分析(ICA)方法对海底管道缺陷漏磁法检测中电磁干扰的消除进行了研究，阐述了漏磁检测和负熵法ICA快速算法的原理，应用相应的分析工具研究了试验数据。结果表明，在试验室条件下该方法能很好地分离出缺陷信号和电磁干扰信号。     

超声波检测混凝土结构抗冻性的方法研究

依据固体结构动弹模与表面波速度的关系，采用超声波检测混凝土冻融试件的动弹模，并与共振法测出的动弹模进行对比，总结出其内在相关规律，建立起预报混凝土动弹模的回归主程，由测得的波速计算出相应的动弹模，再利用动弹模之比评估出混凝土结构的抗冻性。初步试验和研究表明，此方法研究思路切实可行，符合混凝土冻融特性的基本变化规律，能够实现从度件测试向结构检测的发展，可供混凝土耐久性检测工程参考。     

WC15Ni磁合金的质量控制

在WC15Ni无磁硬质合金生产过程中,选用粒度分布范围较窄的优质WC以及添加适量的Cr3C2,促进了抗弯强度的提高。     

柔性高压直流输电仿真技术研究方法综述

柔性直流输电工程应用前景广阔,采用各种高精度高效率仿真技术对柔性直流系统进行理论分析和运行特性研究是柔性直流技术发展的关键;实时数字仿真、物理动模仿真和数字物理混合仿真是常用的系统仿真研究方法。总结柔性直流输电系统结构及核心装备;分别介绍三种仿真方法,从基本理论与算法原理、实现方式和柔直装备建模方法等方面进行论述,并总结各种方法的适用性和优缺点。最后,对柔性高压直流输电仿真技术的发展趋势和关键问题进行了总结和展望,提出了几点可能的研究思路。     

X射线衍射-拉伸法测薄膜应力

薄膜应力的测量一直是一个困难的问题。本文尝试用一种新的方法——X射线衍射-拉伸法,对薄膜的应力进行检测,与侧倾法实验结果相比较,X射线衍射-拉伸法更为准确与可靠。     

在役缆索自动检测

缆索检测是保证斜拉桥等大型斜拉结构安全的关键。在缆索机器人基础上，对缆索表面检查、内部检测和维护等进行了讨论。系统采用电磁检测方法，巳在徐浦大桥缆索机器人现场试验中成功进行了实践。     

声发射源定位不确定度的计算

针对声发射检测中的声发射源定位的不确定性问题，就其影响因素，在常用的16MnR钢制板件上进行了检测实验，并开展了实验数据的计算、分析与讨论。     

逻辑表达式图的实现及其在集成电路故障 可测性中的应用

数字电路的可靠性有着至关重要的影响,测试是其重要保证,测试向量的自动生成(ATPG)在数字电路的测试中占有重要地位;逻辑表达式图(Boolean Expression Diagrams,BED)是用于逻辑函数与逻辑电路表达与运算一种数据结构,能够将逻辑电路在线性空间复杂度内表达,是二元判决图(Binary Decision Diagrams, BDD)在概念上的推广且保留着BDD的许多有用的性质。讨论了BED的性质与实现方法,并将BED用于逻辑电路呆滞型故障测试向量的自动生成中,基于BED的测试算法直接将原电路与故障电路做异或运算后用BED表达再化简或判断其可满足性,算法能充分使用逻辑代数的化简规则和利用电路与故障电路的相似性。实验结果表明,基于BED的测试方法具有较低的复杂度。