程序的结构测试方法

程序的结构测试方法是一种在了解程序结构的基础上检测程序错误的方法，描述了结构测试方法的实现过程，着重介绍了基于程序控制流和数据流的若干测试准则。     

系统测试性建模及验证方法

通过研究系统级测试性建模的基本原理,主要包括数学模型和图示模型,从结构、故障和测试三个方面给出了系统测试性建模的流程,最后给出了系统级测试性模型的验证方法,包括模型整体有效性验证、基于测试性分析报告的测试性模型验证等。     

基于自然和模拟样本的检测率评估方法研究

鉴于产品在试飞现场和测试性模拟试验的试验结果均为成败型数据,为了更加客观全面的评估产品检测率,提出了测试性模拟试验样本选取及分配原则、自然样本和模拟样本融合方法、基于故障率的故障检测率评估模型,解决了传统测试性评估方法中在实际应用中的样本覆盖不全以及评估结果受限等技术问题。     

空间用户GPS完善性检测方法探讨

首先介绍GPS系统完善性的基本概念及进行完善性检测的重要意义，然后简单介绍地面用户GPS完善性检测的基本方法，最后探讨了空间用户利用动力学辅助手段进行GPS完善性检测的算法模型，并对这种方法工程应用的可行性进行讨论。     

基于试验的试飞阶段检测率验证模型研究

针对某型运输机、预警指挥机等多个新型号的研制总要求提出的检测率指标,明确规划了相应的测试性摸底、测试性验证等试验。鉴于产品在整个试飞阶段会产生自然故障样本,从型号测试性验证的任务需求和GJB2547A最新要求出发,构建了测试性模拟试验样本的选取及分配原则、自然样本和模拟样本融合方法以及基于故障率的故障检测率验证模型,解决了传统测试性评估方法在实际应用中的样本覆盖不全以及评估结果受限等技术问题。     

民机电传飞行控制系统测试性设计

相比于军机,民机电传飞行控制系统对测试性提出更高要求,希望通过测试性建模手段,提前发现和检测出所有故障,并将故障隔离,进而提高飞机系统可测试性,降低产品寿命周期费用。分析了典型电传飞行控制系统的结构,构建了民机电传飞行控制系统的测试性设计和诊断策略,并以作动器控制电子为例,采用计算机辅助设计软件完成模型验证,其结果满足相关测试性指标要求。     

考虑测试性设计缺陷修正延时的测试性增长模型建模与评价方法

针对现有测试性增长模型忽略了测试性设计缺陷的修正延时过程,进而导致测试性增长模型（TGM）跟踪与预计精度低的问题,提出了一种考虑测试性设计缺陷修正延时的测试性增长模型建模理论与方法。首先分析测试性设计缺陷识别与修正之间的延时机理,得到剩余测试性设计缺陷（TDL）具有先增后减的铃形变化趋势;在此基础上,分别以Gamma、Raleigh和Delay-S 3种曲线拟合剩余测试性设计缺陷（RTDL）变化趋势,研究建立基于以上3种曲线考虑修正延时的测试性增长模型;最后,以某机载稳定跟踪平台测试性增长试验数据验证测试性增长模型拟合、跟踪及预计效能。研究结果表明：基于该测试性增长试验数据,Gamma曲线可以精确地拟合剩余测试性设计缺陷变化规律,测试性增长模型跟踪和预计精度可达到10^-2数量级。     

基于故障-测试相关模型的运载火箭测试点优化设计方法

为优化运载火箭测试性指标,提出了基于故障-测试相关模型的测试点优化设计方法。从运载火箭领域测试性特点及其优化布局的必要性出发,根据FMEA分析结论,采用可达性分析算法建立了故障-测试全阶相关矩阵,给出了基于全阶相关矩阵对运载火箭基本测试性指标进行评价的指标与对应方法。基于改进后的遗传算法,以预设测试性指标为约束条件,完成了对运载火箭测试点的优化布局。测试性优化仿真结果证明了该方法的高效率与可行性。     

测量围护结构含水率的同面散射场式电容传感器设计

目前常用的测量含水率的方法有微波法、红外线法和电容法.由于基于电容法的传感器具有分辨力高、响应速度快、体积小、结构简单等优点,被广泛应用.针对围护结构含水率测试深度的要求和测试特点,本文通过仿真和实验,对同面电容传感器探头的结构尺寸进行了优化设计,并采取了保护电极以提高其抗干扰能力;运用改进的充放电电容检测电路,设计出一种测量围护结构含水率的新型同面散射场式电容传感器,该传感器具有宽范围的测试深度和较高的测试灵敏度.     

PowerPC8641处理器模块的自检测设计

机内自检测对嵌入式系统中的处理器模块具有重要意义。为保证系统能够安全、可靠地工作,需要对硬件资源进行自检测试,并基于测试需求,选取了PowerPC8641处理器模块为硬件平台,以CPU、RAM存储器及FLASH存储器为例,根据其不同的硬件特性分别分析了故障特征,给出相应的测试方法,形成一整套测试方案,并结合测试结果,进行了测试性验证与分析,验证了测试方案的可行性。