基于非参数假设检验的程序缺陷定位方法

调查了西门子测试集中的程序失败用例的规模和谓词评估偏差的分布.结果表明,中心极限定理的前提和参数假设检验的假设条件无法得到普遍满足.所以,已有的基于参数假设检验的方法存在潜在的问题.针对这一现象,提出了基于非参数假设检验定位程序缺陷的方法.实验结果表明,该方法在非正态分布的样本集上仍具有较好的适用性,且在缺陷定位效率上优于已有的基于程序谓词的缺陷定位技术.同时比较了基于2种常用的非参数假设检验模型的缺陷定位方法的效率.一种方法基于Kolmogorov-Smirnov检验,另一种方法基于Cramér-von-Mises准则.比较结果表明,在西门子测试集上,基于Kolmogorov-Smirnov检验的方法在缺陷定位效率上优于基于Cramér-von-Mises准则的方法.     

航天器自动化测试语言研究

航天器测试语言是支撑航天器自动化测试的形式体系及航天器测试过程标准,在当前多航天器批产网络化测试的新需求下,测试语言标准体系研究对于提高航天器测试自动化水平和保障测试过程安全具有重要意义。通过对现有典型航天器测试语言的全面分析和比较,总结出基本特征,并结合当前先进的网络计算技术,提出了我国航天器测试语言发展的目标和方向,同时针对国内航天器测试语言研究设计工作的不足,给出一种航天器测试语言CATOL(China Aerospace Test and Operation Language)。该研究对提高我国航天器测试业务规范水平和测试人员的工作效率、促进航天器测试自动化研究的发展将起到一定的推动作用。     

温度对T700/3234反对称铺设圆柱壳结构的双稳态特性影响

讨论温度对T700/3234反对称铺设圆柱壳结构的双稳态特性的影响。通过热压固化成型工艺制备了三种不同铺层层数的试样,采用两点加载的方式,使用在现有的拉伸试验机上改装的实验测试平台驱动反对称铺设圆柱壳结构进行稳态转变,持续捕捉实验过程中的数据,得到在20℃,40℃,60℃和80℃温度下的载荷—位移曲线的变化规律及稳态转变载荷。实验后,通过图像处理技术得到曲率和扭曲率等数据。系统分析稳态转变载荷和稳态曲率变化情况,并对存放时间对壳结构的影响进行了讨论。结果表明,温度对双稳态结构稳态转变影响较大,给出了温度对snap-through和snap-back过程的影响规律。