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

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

基于Petri网的FPGA软件缺陷分析与改进设计

为了在FPGA软件开发过程的早期发现设计缺陷并进行修改,以降低设计成本,提出了应用Petri网技术进行缺陷分析的方法。对FPGA软件开发过程中形成的工作流程和实现流程进行了分析,并在发现缺陷的基础上进行了改进设计。在某引信安全与起爆控制系统的设计过程中应用了该方法,结果表明:该方法能够发现并准确定位软件缺陷,而且在Petri网模型基础上能够迅速地进行软件改进设计。     

预测软件中残留的缺陷

当越来越多的商用COTS软件应用到舰船的操作系统和应用软件中时,软件变得越来越重要。程序管理员需要为作战系统、有条件的监视、推进控制、部件需求和舰船管理等定义、采购和管理软件的开发和集成。本文的目的是描述软件可靠性工程的技术发展水平和商用、军用软件缺陷预测技术的发展水平。文中的信息是基于商用软件业和舰船软件开发过程提供的数据。本文比较了四种软件失效模型的优点和缺点。其中对数泊松执行时间(LogarithmicPoissonExecutionTime,简称LPET)模型与数据匹配得最好,并满足可靠性理论的基本原则。本文给出了软件失效的定义和软件缺陷的追踪过程,并采用分布图预测软件发布后仍然存在的缺陷。作为展望,本文提供了预测商用软件中缺陷的经验法则以及修复这些缺陷所需的相对花费。     

软件静态分析工具综述

为了在软件生命周期的编码阶段尽可能多地发现软件缺陷以降低软件成本和开发时间,需要对被测程序源代码实施软件静态分析,软件静态分析最有效的手段是使用软件静态分析工具。针对C程序常见的软件缺陷,通过对几种主流静态分析工具的功能性对比分析,探讨了软件静态分析工具的优缺点及影响软件静态分析工具选择的诸多因素,为软件测试人员选择适合自己的软件静态分析工具提供参考。     

软件静态分析工具评析

为了在软件生命周期的编码阶段尽可能多地发现软件缺陷以降低软件成本和开发时间,需要对被测程序源代码实施软件静态分析。软件静态分析最有效的手段是使用软件静态分析工具。针对C程序常见的软件缺陷,通过对几种主流静态分析工具的功能性对比分析,探讨了软件静态分析工具的优缺点及影响软件静态分析工具选择的诸多因素,可为软件测试人员选择合适的软件静态分析工具提供参考。     

前言

全世界大约有700万个软件工程师,每年大约开发100万个软件项目,并以每年10％以上的速度在递增,在所有这些项目中只有9％的项目是成功的,也就是说,只有大约9万个软件项目能在规定的进度、质量和经费下完成任务。软件不成功的原因很多,在安全第一的软件中,软件的质量问题是导致项目失败的重要原因之一,而高的软件缺陷密度是软件质量     

基于度量元的静态软件缺陷预测技术

软件缺陷预测技术是当前软件工程领域的一个热点研究问题。回顾和综述了基于度量元的静态软件缺陷预测技术研究的起源与国内外最新进展动态,并对常用缺陷预测技术的评价指标进行对比和分析,指出其优缺点和适用范围。最后对静态软件缺陷预测技术的可能发展方向进行预测。     

软件缺陷预测中基于Wrapper的特征选择方法

特征选择是提高软件缺陷预测精度的关键步骤之一。传统的软件缺陷预测过程主要基于Filter方式进行特征选择,基于Wrapper特征选择方法的研究还处于起步阶段。为了进一步研究Wrapper式特征选择方法在软件缺陷预测中的应用情况,将特征选择和缺陷预测过程相融合,结合不同的评价指标,设计了8种基于Wrapper式特征选择的缺陷预测方法。在这些方法中,首先选择4种常用的缺陷预测算法分别作为内部与外部分类器,然后在AUC和F-measure指标下选择特征子集,在AUC指标下评估预测结果。仿真结果表明,内部分类器和外部分类器均选择为RF时,软件缺陷预测精度最佳,NB次之,但是RF耗费时间较多,综合考虑精度与效率,推荐内外分类器均采用NB算法。     

提升熔石英抗激光损伤性能的磁流变与HF刻蚀结合方法

为提升紫外熔石英元件抗激光损伤性能,针对传统加工方法在加工过程中产生的破碎性缺陷和污染性缺陷,提出使用磁流变抛光结合HF酸刻蚀的组合工艺提升紫外熔石英元件抗激光损伤性能的方法。磁流变抛光特有的剪切去除原理能够有效去除传统加工过程产生的破碎性缺陷,同时不产生新的破碎性缺陷。HF酸动态酸刻蚀能够有效减少加工过程中产生的金属元素污染。实验结果表明:经过组合工艺处理的熔石英样品,在7J/cm2·3ω激光通量辐照下损伤密度由0.2mm~~(-2)降至0.008mm~(-2),在8J/cm2·3ω激光通量辐照下损伤密度由1mm~(-2)降至0.1mm~(-2),其元件抗损伤性能提升显著。     

流变抛光结合HF酸刻蚀提升熔石英元件抗激光损伤性能

为了提升紫外熔石英元件抗激光损伤性能,针对传统加工方法在加工过程中产生的破碎性缺陷和污染性缺陷,本文提出了使用磁流变抛光+HF刻蚀组合工艺提升紫外熔石英元件抗激光损伤性能的方法。磁流变抛光特有的剪切去除原理能够有效去除传统加工过程产生的破碎性缺陷,同时不产生新的破碎性缺陷。HF酸动态酸刻蚀能够有效减少加工过程中产生金属元素污染。实验结果表明：经过组合工艺处理的熔石英样品,在7J/cm₂.3ω激光通量辐照下损伤密度由0.2/mm₂降至0.008/mm₂,在8J/cm₂.3ω激光通量辐照下损伤密度由1/mm₂降至0.1/mm₂,对紫外熔石英元件损伤性能提升显著。     

作战模拟系统中可视化想定编辑器的设计与实现

在回顾以往作战模拟软件某些弊病(如"想定独立性"差,不便于模型重构和模拟软件复用等)的基础上,提出了想定编辑器的概念;从用户需求和模拟软件需求两方面出发,采用面向对象的思想以及计算机战术标图技术、数据库技术,设计并实现了一套操作简便、适应多层次用户使用的战术想定编辑系统,为作战模拟推演及多方案作战效能分析对比,奠定了基础.     

基于ACE Streams框架的舰船综合电子仿真系统设计

软件构件具有良好的功能封装性及接口规范性,在增强软件的可移植性和提高复用率等方面意义重大。在舰船综合电子仿真系统开发过程中,通过引入ACE Streams框架的技术,有效地降低了软件各层次间的耦合度,增强了数据的传输处理能力,固化了该系统的通信机制。     

一种可用于指挥自动化网的USB安全钥设计

介绍了一种用于指挥自动化网络中进行身份认证的USB安全钥安全管理系统,给出了使用USB安全钥进入网络终端时的认证机制,调用与浏览服务器信息时的认证流程,以及USB安全钥软、硬件的设计要点.在该安全钥管理系统中可运行重要软件的关键程序和查询关键信息,有效增强保密强度,安全钥采用USB接口,具有支持热插拔、携带方便等优点.     

A unified model incorporating yield,burn‐in,and reliability

The correlated improvement in yield and reliability has been observed in the case studies on integrated circuits and electronic assemblies. This paper presents a model that incorporates yield and reliability with the addition of a burn‐in step to explain their correlated improvement. The proposed model includes as special cases several yield and reliability models that have been previously published and thus provides a unifying framework. The model is used to derive a condition for which yield functions can be multiplied to obtain the overall yield. Yield and reliability are compared as a function of operation time, and an analytical condition for burn‐in to be effective is also obtained. Finally, Poisson and negative binomial defects models are further considered to investigate how reliability is based on yield. © 2004 Wiley Periodicals, Inc. Naval Research Logistics, 2004.     

基于体绘制的圆柱体构件缺陷三维重构方法

针对圆柱体构件内部缺陷问题,以超声检测技术为手段,采用体绘制三维重构技术,对构件内部缺陷进行三维重构。首先对圆柱体进行超声检测,并根据采集到的数据提取出其每一个截面的完整信息。然后进行B扫描成像,对成像图像像素点重组。最后利用体绘制技术对缺陷进行三维重构。结果证明,该方法重构出圆柱体构件中心孔、偏心孔缺陷效果良好,与实际构件相吻合,且大小误差在允许范围内。     

软件需求工程及其发展

详细介绍了需求工程的基本概念及其内容,根据目前的实际情况,简要总结了需求工程的常用方法和支持工具,并指出需求工程的发展现状和存在的主要问题。收集国内外的相关资料,进行综合分析,以便了解国内外的研究现状,并进行适当的相关研究。认为:软件需求的获取是软件需求工程的重要一步,是软件质量保证的基础:研究具有可操作性和实用性的软件需求工程辅助工具具有重要意义。     

FP GA软件测试过程及管理

船舶领域的FPGA软件测试严重滞后于应用增长的速度,部分型号甚至未将其纳入测试范畴。在研制过程中,由FPGA故障导致的修改调试已成为影响进度和增加成本的瓶颈。因此,针对FGPA软件特点及其测试的现状,对其测试过程、测试模型和过程管理进行研究,并给出完整的过程管理体系。通过采用规范化、有序化、系统化、面向工程的、面向任务的文档及配套管理手段进行正确引导、组织和实施测试活动,持续改进测试流程中各个阶段工作质量和效用,及早及时地发现和关闭开发过程中存在的缺陷,提高设计和测试的沟通效率,最终保证FPGA产品的质量,提升客户的满意度。     

基于数值模拟的拔伸成形工艺分析与优化

变薄拔伸是厚壁深筒件生产的关键工序,成形难度大.针对现行的拔伸成形工艺,为改善成形稳定性、提高成形质量、延长模具寿命,通过采用刚粘塑性有限元法,根据不同参数和条件,在计算机上对拔伸工艺进行数值模拟分析,分别讨论了拔伸模圈道数、变形量分配、模圈间距及入模角等因素对拔伸成形过程的影响,进而提出了"多模短距长拔"、变形量依次递减和较小入模角等优化措施.这样既减少了大量现场试验,又达到了工艺优化的目的.     

基于圆柱体缺陷构件的超声探伤重构研究

圆柱体构件中非轴对称人造缺陷偏心圆孔的超声探伤一直是无损检测的难点。基于脉冲反射原理设计超声实验平台,根据检测回波信号判定偏心圆孔缺陷所呈现的特征。在实验研究基础上,针对声场在圆柱体工件内部的传播情况,根据惠更斯原理以圆柱体为发射声源,基于k-wave仿真工具箱建立仿真平台,并利用声学传感器接收声波信号,设计的仿真平台能够实现360°同时刻采集工件的发射信号,同时利用传播过程中声压强弱的变化构建声场模型。根据采集的信号采用逆时反演重构模型,直观可视化地重构了内部缺陷的位置形状信息。     

过双曲线外一定点作其法线的求解分析及其几何迭代作图

对过双曲线外一定点的法线作图问题作了探讨,提出了几何作图法的不可解性及优化法解的不全性。根据双曲线与其法线的几何特征关系建立了求解法线的解析方程,分析了法线问题解析求解的繁杂性。提出了一种几何迭代作图方法,并具体给出了该方法的几何迭代作图步骤。