一种面向故障的软件测试新方法

面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的检测是非常有效的.从方法学上讲,面向故障的测试方法标志着一个测试理论的成熟,在测试方法学中具有里程碑的意义.面向故障测试方法有2个问题需要解决:①软件的故障模型,②面向该模型的自动测试方法,此文重点论述软件的故障模型问题.     

基于χ~2检验的惯性/卫星紧耦合系统故障检测与隔离方法

研究了一种基于χ~2检验的惯性/卫星紧耦合系统故障检测与隔离方法,该方法可利用故障检测函数自动识别单个卫导故障,并实时剔除故障星重构观测信息序列,从而避免了对紧耦合系统的影响。构建数字化仿真环境对所研究的故障检测与隔离方法进行了仿真,仿真结果表明,该方法可在卫星发生故障时及时检测并隔离故障星,并自动实现观测信息重构,保证了紧耦合系统的精度和完好性。     

当心:汽修工具“变身”盗窃帮凶

前不久,湖北某部一位军嫂开车外出停车时,清楚记得已用车钥匙上的遥控功能锁好车。但当她办完事回到车上,却发现放在车上的手提包等物品不翼而飞,而车门没有被撬痕迹,车窗也完好无损。当地公安民警勘察现场后认定,这是一起典型的利用汽车解码器实施盗窃的案件。汽车解码器是专业的汽车维护、测试、检测工具,又称汽车故障诊断仪。通过它与汽车连接,可以读出故障系统中的电子     

舰船可靠性对维修费用的影响分析

对两类主要影响因素分别建立了相应的数学模型．依据约化理论,建立了维修费用的ＶＡＲ模型．同时,根据统计资料分析了实际舰载主要设备的故障规律,指出了传统定时维修方式的理论基础的不完整性．     

基于关联图的网络故障智能诊断的研究与实现

随着信息技术的飞速发展,网络规模的扩大与网络异构程度的增加都对网络的安全性提出了越来越高的要求。网络故障诊断是网络故障管理的核心。本文提出了考虑时间因素的基于关联图的故障定位算法。此算法在关联图出现环时,根据关联图中各顶点所代表的故障事件的发生时间定位故障,发生时间早的故障极有可能就是故障源。此算法原理虽简单,但在现实中具有较高的实用性。     

从自行建造“克莱蒙梭”级航母到打造实施PA-2航母计划——法国海军大型舰船在“混沌”中发展

10月14日,＂戴高乐＂号航母前往执行打击索马里海盗任务不到一天,便因技术故障而不得不重回土伦港进行维修。多灾多难的＂戴高乐＂号航母再一次出现问题,重新引发人们对法国航母乃至大型舰船的更多关注。     

考虑运行故障的工程安全设施使用检查可用度模型

使用检查是发现工程安全设施系统隐蔽功能故障的有效措施。在考虑检查期间可能发生运行故障的前提下,建立了基于使用检查策略的系统可用度模型。应用该模型对应急柴油发电机的使用检查过程进行可用度分析,确定了其最优检查问隔期和给定可用度条件下的检查间隔期区间;探讨了检查时间和维修时间对可用度的影响。研究表明,该模型对于工程安全设施系统的可用度分析是有效可行的,其结果能够为维修决策提供依据。     

一种新的CLEFIA多字节差分故障分析方法

阐述了CLEFIA分组密码算法及故障分析原理,根据在CLEFIA密码第r轮与第（r-2）轮注入多字节故障,提出了一种新改进的针对CLEFIA的多字节故障模型及分析方法,并通过软件仿真实验进行了验证。结果表明,CLEFIA算法的Feistel结构和差分S盒特性使其易遭受多字节故障攻击,而改进算法使得密钥的恢复效率大大提高。     

短路故障的测试产生方法

在PCB上,两个不相邻的芯片管脚或引线发生短路是实际应用当中最常见的故障。通过分析固定型故障和桥接故障之间的关系,给出桥接故障测试序列产生的系统计算方法。该方法已应用在一个PCB故障测试系统中。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。