基于差分进化算法的测试序贯优化技术

针对大型复杂系统的测试序贯设计问题,首次提出利用基于混合策略的差分进化算法(DE)进行测试序贯设计。通过LOV规则,将实数空间映射到表示测试序贯的离散空间;利用随机变异策略和小概率扰动操作,进一步加强了算法的探索能力和开发能力;局部动态搜索算子的引入,提高了算法的收敛速度。通过实例和其他常用算法进行了对比,验证了该算法的有效性。

基于DPSO的改进AO^＊算法在大型复杂电子系统最优序贯测试中的应用

针对大型复杂电子系统最优序贯测试问题,提出一种基于离散粒子群算法（DPSO）和改进AO^＊算法相结合的方法.DPSO优化AO^＊算法中每个要扩展节点的测试集从而减少测试个数;改进AO^＊算法通过规定扩展节点估价值的范围,减少其回溯次数.实例验证表明,该算法不仅有效地降低了计算复杂度,大大减少测试代价,缩短测试时间,而且避免了原有AO^＊算法当备选的测试集太大时容易出现“计算爆炸”的缺点.

基于分支定界-改进AO＊算法的序贯测试策略优化

针对经典AO*算法在求解序贯测试问题中复杂度太大的难题,提出测试选择与策略优化联合的方法;首先基于解析冗余关系(ARRs)把测试选择问题映射为一个特殊的0-1整数规划(IP)模型并用分支定界法求解之,得到最优测试;然后通过两步回溯改进的AO*算法确定最优测试顺序;在一个组合电路的应用表明算法优化了测试点数,减少了扩展节点数,降低了经典算法的复杂度。

加速度计序贯式测试方法研究

介绍了加速度计在离心机上的序贯式测试方法。通过加速度计在离心机上一次安装即可实现加速度计 1g重力场标定、离心机静态半径测试和加速度计全量程试验。

基于代价组合优化的故障诊断序贯测试策略研究

提出了一种故障诊断序贯测试策略设计思想。该设计思想以组合优化技术为基础,采用序贯测试方法;通过测试与故障源之间的关系将系统分为一般序贯系统和并行系统。分别对其期望测试代价,诊断策略算法等关键技术进行研究。提出一种序贯故障诊断测试组合优化策略,引入代价权重因子ρ,实现了测试时间和成本的组合优化。对并行系统诊断测试搜索启发式引入调整权重因子μ实现了测试时间和成本、故障源故障发生概率的折中优化,有效地提高了诊断的可靠性,灵活性和实用性。最后通过抽象实例进行验证,结果表明基于组合代价优化的故障诊断序贯测试策略进行故障诊断测试是实用的,也是有效的。

多值故障字典的测点选择与序测试设计

序贯测试问题是目前的一个研究热点。由于时间复杂度太高,传统的序贯测试算法对于测点数大于12的系统无能为力。为此,将序贯测试问题拆分为测点选择与序测试设计两个问题。测点选择问题用A*算法解决:运用M进制编码规则,首先给出了启发函数的计算方法,然后给出了能够得到所有最小测点集的改进的A*算法。序测试设计问题用AO*算法解决:对二值哈夫曼编码规则进行推广得到了多值编码规则,根据此规则给出了AO*算法启发函数的计算方法。提出的方法更符合可测性设计的设计流程,试验和复杂度分析表明该方法能显著降低传统方法的时间复杂度。

大型复杂系统测试流程优化设计

针对大型复杂系统测试流程设计问题,研究采用相关性模型的方法进行优化设计。通过建立故障—测试相关性矩阵,对系统测试覆盖性、冗余测试、隐含故障和伪故障等进行分析,将测试流程设计问题转换为测试序列优化选择问题,并提出分层序贯测试算法对进行求解。实际应用结果表明,该方法设计的测试流程能够大幅缩减测试时间、节约测试资源,具有较大工程应用价值。

基于多故障假设的诊断策略研究与应用

针对工程中最优单故障序贯测试难以隔离的多故障问题,利用Grunberg等人提出的多故障模糊组的概念,以最优单故障测试策略为基础,构造了一种多故障假设下的序贯测试算法.该算法以多故障状态集的最小碰集作为生成最优单故障策略的故障状态,生成最优单故障策略;以诊断决策树中各叶节点的多故障状态集为评判标准,确定系统的状态,完成多故障假设下的系统故障诊断;与连续使用单故障策略的方法相比,该方法提高了测试效率.以某型机载电子设备为例给出算例分析,验证了该算法隔离多故障的有效性.

基于最小碰集的多故障诊断算法研究

目前存在的测试性分析和故障诊断工具基本都是基于单故障假设,不适用于复杂系统。针对这一问题,研究了多故障假设下的序贯测试算法。提出了利用分类HS-树(CHS-树)计算最小碰集(MHS)的算法;以多故障状态集的MHS作为故障状态,生成最优单故障测试策略;以决策树中各叶节点的MHS为判断依据来决定下一步要执行的测试,最终生成多故障诊断策略。最后给出案例分析,结果表明:计算MHS的算法能够提高诊断策略的生成效率;诊断策略能够有效隔离多故障问题。

基于扩展单故障策略的多故障诊断算法

目前存在的测试性分析和故障诊断工具基本都是基于单故障假设,这一假设已经不适用于拥有很多元器件的复杂系统或者在运行过程中很少或不具备维修机会的系统。针对这一问题,研究了有效的基于扩展单故障策略的多故障序贯测试算法。该算法以最优单故障策略为基础,通过应用附加测试来隔离隐藏故障;通过更新故障状态集,重新调用单故障策略来隔离冒充故障。以某型机载电子设备为例给出实例分析,验证了该算法隔离隐藏故障和冒充故障的有效性。

一种使用调控器针对数据通路的综合功能的时间扩展模型生成方法(英文)

一些超大规模集成电路(VLSI)近来通过行为描述已在高层次被设计.行为合成可以将行为描述变换成由控制器和数据通路组成的寄存器传输层电路.数据通路的控制信号线输入序列和状态信号线输出序列从控制器提取.作者提出一种生成综合功能时间扩展模型的方法,其中提取的信息作为约束被加入.在常规的贯序测试生成方法中使用时间模型只有结构信息,因为对于实际的贯序电路的搜索空间相当庞大,所以在合理时间内很难达到高排错效率.在使用来自功能验证模块的功能时间扩展模型的贯序测试生成方法中,因为所有的功能行为不可能全被覆盖,所以很难提高排错效率.由于作者提出的方法可以覆盖所有的功能行为,所以与常规的方法相比可以实现在合理时间内的高排错效率.所提出的测试生成方法被用于除法器电路.实验数据显示了在16s内排错覆盖率达到了100%.

面向IPv6移动WSNs的选择性转发攻击检测算法

选择性转发攻击是对无线传感网络(wireless sensor networks,WSNs)最危险的攻击,特别是在移动环境的WSNs下。为此,针对基于IPv6的移动WSNs,对选择性转发攻击进行研究,并提出基于序贯概率比测试(sequential probability ratio test,SPRT)的检测算法(SPRT-DA),该算法通过计算接受与丢失的数据包数识别恶意节点,并采用自适应的阈值机制排除恶意节点。实验数据表明,提出的SPRT-DA算法的检测率逼近100%。