软件测试工具的问题及解决方法

讨论了当前软件测试工具的关键技术,并指出了其弱点,介绍了如何基于.NET技术对这些弱点进行相应的改善.     

大炸高频率捷变无线电引信的研究

分析了现代战争对无线电引信炸高提出的新要求,提出了一种采用频率捷变体制的大炸高无线电引信的设计方案,采用了软件无线电的设计思想,使引信具有软件可编程能力,提高了引信对战场环境的适应能力和抗干扰能力。在多工作频点捷变的基础上提出一种多频脉冲联合比相测距算法,利用回波相位差实现了引信炸高的测量。最后的算法仿真结果验证了这种基于频率捷变的大炸高无线电引信体制的可行性。     

AES轮变换的代数正规型及其应用

每个布尔函数的代数正规型(ANF)是唯一的,对于研究布尔函数有重要意义.利用Mathematica软件得到了高级加密标准的轮变换(Sbox,ShiftRow和MixColumn的复合)的128个分量函数的代数正规型.每个分量函数都是32元布尔函数,其项数在448 ～ 545,平均为496,远远小于随机32元布尔函数的平均项数231.这表明AES轮变换与随机置换有巨大偏差.得到这些ANF的时间复杂度在一个2GHz的PC机上只用几分钟.该方法优于通过真值表得到ANF的经典算法——其得到128个分量函数的时间复杂度为0( 128×32 ×232)=0(244).作为应用,利用得到的ANF建立了一轮AES的一个方程系统,并用Cryptominisat 2.9.0进行求解.使用Guess-and-Determine的方法,利用一个已知明密对,可以在PC机上233h内得到全部128比特密钥.     

导弹测发控系统软件质量评价

在分析了导弹测发控系统软件特点的基础上,建立了针对该软件的质量模型,运用集成改进层次分析法和多级模糊评判于一体的综合评价方法对该软件进行质量评价,最后获得该软件质量的定量评价结果,并对结果进行了分析。     

不平衡数据的软件缺陷预测方法

数据的不平衡问题是数据分类领域中的一个热点问题。当分类算法处理这些数据时,算法将偏向多数类而忽视少数类。在软件缺陷预测领域,它并没有引起足够的重视,在4组NASA不平衡数据上比较和分析了14种分类算法的性能,为了克服数据的不平衡性,采用SMOTE技术对软件缺陷数据进行平衡化,最后在AUC和F-measure评价指标下对算法进行评估。实验结果表明随机森林算法在4组数据上表现最佳,这为软件缺陷预测提供了很好的参考。     

并行程序调试中的环境再现技术

为解决调试并行程序碰到的第一个困难:并行程序的不确定性,文中提出了环境再现技术。文中叙述了环境再现技术的思想和实现这一技术需要的数据结构,并用CCNPASCAL语言进行了描述,最后给出了一个典型的应用例子。     

基于组织协同进化的软件缺陷预测方法

针对传统有标识软件度量元数据存在软件缺陷预测精度低的问题,首先对比选择合适的离散化方法,然后将组织协同进化分类算法引入并应用到航天软件缺陷预测领域,给出了一种基于组织协同进化的软件缺陷预测方法。该方法根据预测目标将离散后的软件度量元数据划分为不同种群,在各种群内部形成进化个体(组织)。组织在增减算子、交换算子、合并算子和组织选择机制的作用下不断进化,并基于属性重要度协同进化的方式进行适应度函数的计算,实现了有标识软件度量元数据缺陷预测精度的提高。最后通过两组仿真实验,验证了基于组织协同进化航天软件缺陷预测方法的有效性。     

基于改进Morison公式的海上漂浮软管波浪载荷计算

针对海上漂浮软管波浪载荷计算,分析了软管在海上的形态和受力特点,建立了海上漂浮软管力学分析模型,指出直接运用现有Morison方程计算漂浮软管波浪载荷存在的不足,并根据基本原理提出了改进Morison方程。对海上软质管线处于一定海况,分别运用改进Morison方程与现有Morison方程计算海上波浪载荷,并运用ANSYS软件建立软管模型,结果表明现有Morison方程不适用于计算海上漂浮软管波浪载荷,载荷计算结果偏高约15%,从而验证了改进Morison方程的精确性,有利于准确分析波浪载荷对海上漂浮软管的作用情况。     

“心脏出血”漏洞的特点分析和对策建议

概括介绍＂心脏出血＂漏洞的基本概念、发现和公布、攻击和演变、处理和防范等有关情况,从安全通信协议软件、开源软件地位作用、开源软件代码管理和开源软件分析运用等方面分析特点并提出对策建议。     

小样本装备软件成本估算相关向量机建模

针对装备软件成本估算时面临的历史数据少的小样本难题,提出把机器学习理论运用到装备软件成本估算研究领域,构建了基于相关向量机的小样本装备软件成本估算模型,采用COCOMO模型数据库中的数据对所构建模型进行训练和验证。为进一步验证所构建模型的合理性,在机器学习领域分别运用支持向量机模型和神经网络模型对相同数据进行估算,实验结果证明了基于相关向量机估算模型在小样本装备软件成本估算时比其他两种模型更精确。