工程研制中计算机软件可靠性问题的探讨

对计算机软件的可靠性问题进行分析，提出开展计算机软件可靠性工作，提高软件可靠性的一些办法和措施。     

实时软件故障分析及可靠性设计方法

实时软件是实时处理系统的核心，软件可靠性在实时系统中日趋重要，软件故障将导致系统失效、崩溃。本文对当前软件设计中普遍存在的问题作了比较详细的分析，并提出了一些有助于提高软件可靠性的设计和管理方法。     

浅谈软件可靠性的评估技术

从软件可靠性在推进国民经济信息化以及在武器装备中的重要性出发，阐述了在软件可靠性评估中主要应包含三方面的内容；软件可行指标，软件可靠性模型和软件测试。     

软件可靠性设计研究与应用

随着科学技术的发展，使计算机系统及微处理器控制系统硬件可靠性有了惊人的提高，于是软件质量和可靠性的问题日渐突出。介绍了软件可靠性设计的基本概念，软件故障产生机理，软件质量的可靠性参数，着重介绍了软件可靠性设计方法。     

认真实施软件工程,提高软件可靠性

本文结合软件开发的特点和软件可靠性管理的实践经验，论述了提高软件可靠性的关键在认真实施软件工程，并目前软件开发的具体情况，明确了软件可靠性管理的目标和任务。     

光电指控系统软件可靠性试验与管理方法研究

提出了光电指控系统软件评估的基本步骤，了软件可靠性增长试验、验证试验、无失效交付考核试验方法，分析了软件测试及软件维护，探讨了软件管理与软件可靠性管理的有关问题。     

软件可靠性技术

介绍软件可靠性的基本概念，造成软件故障的原因，重点论述了提高软件可靠性的技术途径扣管理措施。     

基于卫星通信监测系统的软件可靠性研究

软件可靠性直接影响到软件成本和质量,软件可靠性低会影响到系统的正常运行.结合卫星监控系统客户端软件的研究从多线程,内存管理等角度讨论如何提高软件的可靠性问题.     

装备配套软件可靠性工程实践

装备配套软件由于其对装备硬件的依赖性较强,其可靠性研究及工程实践工作一直很难有效开展。该文在研究和分析现有的软件可靠性理论的基础上,论述了开展装备配套软件可靠性工作的关键,给出了软件可靠性工程的具体实践方法,为有效解决目前装备配套软件可靠性分配、设计、验证相对困难的问题提供指导。     

一种软件可靠性定量评估的方法

系统软件可靠性研究是当代科技前沿课题之一,是衡量软件质量最重要的指标,软件可靠性模型是软件可靠性定量评估的技术基础。他有2大类:可靠性预计模型和可靠性结构模型。分析2类模型中具有代表性的Nelson模型和硬软件复合系统结构模型,提出一种新的软件可靠性定量评估方法。该方法利用Nelson模型精确测定系统软件各模块的可靠性替代硬软件复合系统结构模型中的经验数据,解决了由于经验不足而无法应用硬软件复合系统结构模型的问题。该评估方法成功应用于科技部科技型中小企业技术创新基金资助项目“电参数分析管理系统”的软件开发中。     

基于粒子群算法的软件可靠性分配问题研究

针对软件可靠性分配中不易求解全局最优解这一问题,将可靠性指标分配到每个模块中,并利用改进的粒子群优化算法来搜索模型的最优解.实验结果表明,改进的粒子群优化算法在求解软件可靠性分配问题时的效果优于遗传算法等其他智能优化算法.     

随机Petri网在软件可靠性分析中的应用

软件可靠性模型对于软件可靠性估测起着核心的作用。目前所提出的模型大多有着一定的应用条件和适用范围,不能适应复杂多变的应用环境的要求,在客观上为软件可靠性模型的应用提出了新的问题。提出了一种基于随机Petri网的软件可靠性分析方法,该方法有利于降低可靠性描述与分析的复杂度,提高评价和预测可靠性的精确度。同时指出该方法在应用中会遇到的某些问题及其解决方法。     

Optimal design for software reliability and development cost

A process for reliability-related quality programming is developed to fill existing gaps in software design and development so that a quality programming plan can be achieved. The tradeoffs among system reliability improvement, resource consumption, and other relevant constraints through the management phase are investigated. A software reliability-to-cost relation is developed both from a software reliability-related cost model and from software redundancy models with common-cause failures. A generic N-component redundancy model is also developed. The software reliability optimization problems can be formulated into a mixed-integer programming problem     

云计算环境下PIM与PSM的转化机制的研究

针对基于MDA的云计算软件开发平台下,PIM到PSM之间可靠性转化问题,讨论和研究了基于MI）A的云环境软件开发建模过程、PIM与PSM模型存储与接口形式和MDA的PIM可靠准确转换成PSM的转换机制,给出了基于MDA的云环境软件开发建模模型,并对下一步需要研究的关键技术进行了展望．     

Optimal allocation and control problems for software-testingresources

Two kinds of software-testing management problems are considered: testing-resource allocation to best use specified testing resources during module testing, and a testing-resource control problem concerning how to spend the allocated amount of testing-resource expenditures during it. A software reliability growth model based on a nonhomogeneous Poisson process is introduced. The model describes the time-dependent behavior of software errors detected and testing-resource expenditures spent during the testing. The optimal allocation and control of testing resources among software modules can improve reliability and shorten the testing stage. Based on the model, numerical examples of these two software testing management problems are presented     

Software Reliability as an Application of Martingale & Filtering Theory

We show how martingale theory provides a comprehensive framework to obtain models for software reliability. Conditional distributions are obtained by solving filtering problems. By means of these distributions several reliability measures can be computed.     

谈GJB5000A二级在中小型嵌入式软件研发中的应用

结合软件项目在GJB5000A二级的实践过程,针对过程中发现的问题和失误,分析了中小型嵌入式软件项目研发的特点,总结出一些实用的软件工程化的实践方法,适用于软件工程化的普及和推广。文章着重在软件项目管理、软件可靠性两方面进行阐述,并讨论了项目信息化管理和软件测试在这两方面的应用。     

一种卫星定位组件测试软件的设计与实现

卫星定位组件作为一门较新项目,同时作为对可靠性要求至高的高科技武器产品中的重要组件,在保证产品的可靠性方面,需要构建高覆盖面的组件测试方法,通过充分测试暴露产品问题才能更好地提高产品的性能,保证可靠性。卫星定位组件测试软件利用串口技术能够实时接收解调组件的输出数据,直观显示所有定位数据信息,为组件开发者判断组件的工作状态提供依据,同时软件要有数据存储和二次计算的能力,处理能力能够覆盖组件所有测试参数。     

软硬件协同设计的SEU故障注入技术研究

针对现有容错计算机故障注入方法缺乏对空间环境中频发的单粒子故障模型的支持,本文提出了一种利用背板技术的软硬件协同仿真与故障注入技术,分别针对寄存器部件和存储器部件的特性,设计了多位错误的单粒子故障模型,在寄存器传输级实现了通过软件生成故障并注入到硬件设计中的软硬件协同故障注入方案,避免了在硬件设计中修改代码生成故障破坏系统完整性的问题.基于Leon2内核的故障注入实验表明,本文设计的平台为处理器容错设计提供了一个自动化、非侵入、低开销的故障注入和可靠性评估方案.