开展招标工作促进舰船采购模式的转变

实现“四个机制”，竞争是核心。本文结合舰船招标采购具体案例，对我军装备传统采购模式存在的主要弊端，以及新形势下开展武器装备招标采购的必要性、可行性 进行了较为详细的分析研究；系统地介绍了舰船招标工作程序、方法；初步提出了较为规范的适合国情的军事装备采办招标特点工作程序及在招标活动中应充分注意的有关问题；并对我 军装备全面推行竞争采购提出了建设性的意见和建议，对未来我军装备有效开展招标采购具有一定指导意义。     

构件软件的测试问题综述

基于构件的软件设计方法是软件设计的新趋势。文章介绍了构件及构件软件的概念、特点和由此引发的测试问题,介绍了现有的构件软件的测试方法和测试工具的研究情况。     

飞行控制软件测试中插桩技术的优化方法

飞行控制软件主要采用Host-Target的仿真测试模式,并基于插桩技术实现覆盖测试。针对采用传统的程序插桩技术,往往会大量增加程序运行时间,降低程序的实时性甚至导致软件失效的问题,通过分析插桩在程序仿真测试中对程序各阶段执行时间和程序实时性的影响,提出一种优化桩信息传输过程的插桩测试方法。实验结果表明了该方法的有效性。     

冷贮备系统可靠性指标的多层Bayes估计

本文利用Ｂａｅｙｅｓ及多层Ｂａｙｅｓ方法对冷贮备系统的可靠性指标失效率,可靠度及平均寿命等进行了分析,最后。运用随机模扬方法,对所得到的结果进行了分析比较。     

非均匀有理B样条曲线的快速生成算法

本文利用非均匀有理Ｂ一样条的矩阵表达式，讨论了非均匀有理Ｂ一样条曲曲线的拟合参数方程表示方法，进而得到了快速生成算法。     

软件可靠性分析、测试与评估工具——SRATE介绍

软件可靠性分析、测试及评估工具(SRATE)是一个集软件可靠性分析、测试及评估于一体的软件工具。该工具支持多种测试策略下的软件自动化测试及评估试验,包括随机测试策略、自适应测试策略等。该工具还集成了包括欧洲航天局的space软件、浙大CAD&CG国家重点实验室的Intra3D构件库在内的多个典型被测对象。根据工具接口要求可以方便的添加新的测试策略和测试对象。具有自动化程度高、通用性强、配置灵活、易于扩展的特点,是进行软件可靠性分析研究工作的有力工具。     

基于Bayes网的软件构件分类

对软件构件进行分类有助于人们开发高质量的软件。Naive-Bayes网在分类中已经得到成功的应用。但是Naive-Bayes网有一个基本假设:各特征节点要求条件独立。不幸的事,这在现实世界中很难成立。论文利用主成分分析的方法降低了各特征节点的相关性,扩展了Naive-Bayes网的应用范围,并将其用于对软件构件进行分类。实例分析表明新的Bayes分类网预测精度高于一般的Naive-Bayes网。     

基于Bayes网的软件残留错误数度量

软件开发的复杂性决定了理想的软件复杂性度量模型既应具有包容众多复杂因素的能力,又要有构造灵活的功能。迄今为止，人们提出的众多模型，由于设定了很多近乎苛刻的条件，使它们难以具有普适性。Bayes网提供了解决这一问题的有力工具。该文建立起一种基于Baycs网的软件残留错误数度量模型，并对此进行了分析。     

软件关联缺陷的一种检测方法

软件中的关联缺陷是一种比较普遍的现象,某些缺陷的存在与否可能导致其他缺陷检测率的变化.软件关联缺陷是造成软件失效关联的根源.给出了关联缺陷的定义,通过一个软件实例验证了缺陷的关联关系,提出了一种缺陷放回的测试方法用来剔除关联缺陷,并通过实验数据分析了缺陷放回方法的能力和效率.实验数据表明,该方法能有效检测软件关联缺陷.     

基于构件软件的可靠性分析技术—FTA

快速、高效是软件开发追逐的目标,集中体现软件复用思想的基于构件软件技术继面向对象技术后成为现今软件工程实践和研究的热点;软件所扮演的角色日趋关键,高效开发的同时更需要高可靠性的软件。论文所关注的就是针对开发设计阶段的基于构件软件,采用FTA技术,考虑等概率条件下的软件运行剖面,进行面向软件运行的可靠性分析,试图为软件的设计和测试提供更具有实际意义的反馈和指导,进而增强软件的可靠性。文章还介绍了基于这样的技术针对小型的基于构件软件进行的实证分析。