测试性设计对降低装备的全寿命周期费用、提高装备的故障诊断性能、保证装备的安全运行具有重要的意义。然而，随着测试性工程逐步深入应用于空间站等复杂装备，当前以完美测试（perfect test）假设（0-1相关性）为基础的测试性设计理论暴露出不少的问题。比如：在设计阶段未对诊断时效性进行评估和优化设计，使得系统可能存在一定的设计缺陷；测试性理论对工程中存在的测试不可靠和时延等因素考虑不够充分，导致所构建的诊断系统虚警率和漏检率普遍偏高；基于现有测试性理论构建序贯诊断策略的过程中仅针对测试执行费用进行序列优化，使得维修诊断策略全寿命周期费用偏高。测试性工程应用中存在的上述问题，主要是由于现有测试性设计过程的完美测试假设以及相关的建模、分析、推理方法与实际工程问题不完全匹配，进行了不合理简化造成的。为此，本文针对上述问题系统研究了非完美测试条件下的测试性设计理论和方法。在此，非完美测试（imperfect test）指的是针对确定的故障状态，测试结果（正常或异常）不确定或与时间相关的测试。与测试性设计流程一致，论文研究围绕非完美测试条件下的测试性建模、测试优化选择、动态故障诊断、序贯诊断等关键问题展开，对非完美测试条件下的测试性设计理论和方法进行了探索。具体包括：（1）研究了非完美测试条件下的测试性建模和信息描述方式，实现了测试不可靠、时延、故障耦合传播等信息的有效表达，为后续测试性设计工作的开展奠定了基础。（2）提出了非完美测试条件下的测试性评价指标计算方法，研究了非完美测试的优化选择问题，对其进行了数学描述，提出采用遗传算法和拉格朗日松弛算法进行求解。针对遗传算法，设计了整体计算流程，提出了生成可行解的启发式方法，对测试不可靠、时延、多值、非独立费用测试等各种非完美测试情形下的测试选择问题进行了详细论述。针对拉格朗日松弛算法，推导了问题分解策略，将原始问题划分为三个可解子问题进行求解。通过实例和仿真验证说明了两种方法的有效性和不同特点。（3）提出了含时延特性的动态耦合故障诊断推理（Delay Dynamic CoupledFaults Diagnosis, DDCFD）模型，有效克服了传统模型对测试不可靠、时延、故障耦合传播等因素表达能力不足而导致的虚警、漏检等问题。由于基于DDCFD模型的推理问题不具有可分解结构，提出了部分采样算法（Partial-sampling Algorithm）和分块坐标上升-维特比算法（Block Coordinate Ascent with the Viterbi Algorithm,BCV算法）进行诊断推理。在部分采样算法中，利用边界求解，有效减少了重复运算的次数，提高了推理速度。在分块坐标上升-维特比算法中，利用循环迭代策略简化了问题的求解，采用软状态的方式有效克服了局部最优的问题。针对高阶马尔可夫链的状态求解问题，推导了高阶维特比算法。通过仿真试验对所提的模型和算法进行了验证，得出了两种算法的特点，总结了不同参数对算法的影响。验证结果表明DDCFD模型以及两种推理算法可有效解决含时延及耦合特性的动态故障诊断推理问题，两种算法具有不同的特性，适用于具有不同长度时延的情形。（4）研究了面向全寿命周期的序贯诊断策略优化生成问题，对该问题的来源和内涵进行了阐述，并进行了数学推导。针对非完美测试一般情形和完美测试这一子情形提出了基于与或图搜索的算法，并提出了简化计算的策略。通过仿真实验及算法对比证明了所提算法生成的诊断策略优于传统方法生成的诊断策略，具有更低的全寿命周期费用。（5）以某航天器热控分系统为例对本文所提的非完美测试条件下的测试性设计有关理论方法进行了应用验证，系统实现了包含测试性建模、测试优化选择、动态故障诊断、序贯诊断的测试性设计技术流程，并与传统的基于完美测试假设所得的测试性设计结果进行了对比。结果表明，所提方法可有效实现非完美测试条件下的测试性设计，提高了诊断系统的诊断精度，减少了序贯诊断策略的全寿命周期费用。相关成果可推广应用于其它分系统和装备，在实现装备安全运行、高效保障上发挥重要作用。