铁路车站计算机联锁软件的安全性评估策略

安全控制系统的行为直接关系人身和大宗财产的安全，如何定量地反映系统中计算机软件的安全性品质是一个值得探讨的问题。应从软件可靠性和安全性含义的讨论中，明确它们之间的区别。在此基础上，提出一种能定量反映计算机联锁安全软件安全性的评估策略，最后论述了对某制式铁路车站计算机联锁安全软件进行分级测试后，利用J－M可靠性模型对其进行安全性定量分析的方法。     

非齐次泊松过程模型的参数计算方法

在软件可靠性分析中，应用最大似然估计方法三参数非齐泊松过程模型的参数时，所得到的方程组出现奇异性，直接求解存在很多困难，本文针对这种奇异性，采用区间优选法解决了这一问题，并实现了计算机自动求解。     

基于测试级别的软件成本模型的研究

很少有软件成本模型会考虑测试的实际情况，因此不能够准确地反映测试过程中成本的实际消耗以及当测试情况需要发生改变时对软件成本需求的变化。绝大多数的软件测试存在着不完全排错和学习过程等现象，这些现象通常反映了实际测试的成本使用情况。本文提出了一个反映实际测试情况的测试级别，在此基础上构造了一个新的软件成本模型，并讨论了基于最低软件成本的最优发布策略。实验证明该成本模型更符合软件测试的实际情况，软件开发者可以利用该模型实现对测试成本科学的管理。     

电网调度自动化系统可靠性

随着电力系统运行、维护的复杂性日益增加,电网事故的波及面和危害程度也越来越大。因此在我国电力工业飞速发展的进程中,针对系统的新发展,加强电网调度自动化系统可靠性研究具有现实的迫切性和重要的理论与应用价值。     

提高控制系统软件可靠性的措施

控制系统的可靠性是涉及到它是否能在工业市场上广泛应用的关键。文中比较了软件可靠性与硬件可靠性的异同 ,提出了提高控制系统软件可靠性的具体对策     

浅谈故障诊断技术及软件可靠性模型

计算机控制系统中的故障诊断技术作为发现和处理故障的主要手段，具有非常重要的意义和研究价值．文章详细介绍了故障诊断技术的发展、任务和多种方法，最后给出了3种用于软件故障诊断的可靠性模型，分析了它们的数学模型和各类诊断参数．     

一个不完全排错状态下的软件可靠性增长模型

在充分地考虑了软件排错过程特点的基础上,将现有的可靠性增长模型中“完全排错”的假设修改为“不完全排错”,使之更符合实际情况。通过将软件错误分为不同的两类来刻画,得到了一个软件可靠性增长模型,该模型含有两个参数,使用起来较为方便。     

可靠性增长模型和正交缺陷分类的结合及在过程定性分析中的应用

软件过程的度量和分析是近年来软件工程领域的重要研究方向。传统可靠性增长曲线模型可对软件过程进行预警,正交缺陷分类方法可对软件缺陷进行度量,但是两种方法都无法对软件过程提供直接的指导和定性的分析。提出将传统可靠性增长曲线模型结合正交缺陷分类属性缺陷类型,将不同种类的缺陷放在同一横坐标上进行比较,得出软件过程定性分析结论。     

软件可靠性关键参数判定的矩估计方法

已有的基于结构的软件可靠性研究中大多假设建模参数为已知常量,导致模型忽略了参数估计的统计特征对于系统可靠性的影响.针对该问题,提出一种基于矩估计的软件可靠性关键参数判定方法,该方法通过分析基于结构软件可靠性模型的特点,建立各建模参数的矩估计量与系统可靠性预测结果之间的关系,量化各参数对于系统可靠性的影响,判定关键参数.为系统可靠性控制、系统结构优化及软件测试资源最优化分配等问题的解决提供了理论支持,通过对两个实际软件系统的分析验证了方法的有效性.     

考虑故障检测效用与修正效用的软件可靠性增长模型

测试效用是影响软件测试过程的重要因素,其随时间的变化情况直接影响着测试过程中的故障检测和修正的效率,合理地评估测试效用对测试过程的影响是建立精确软件可靠性模型的关键因素。针对现有模型对测试效用认识的不足,严格根据实际测试情况,将测试效用分为故障检测效用和故障修正效用,并在此基础上,建立了综合考虑这两种效用的软件可靠性增长模型。利用公开发表的软件测试失效数据集对模型进行验证,结果表明,与现有的考虑故障检测与修正过程的模型相比,所提模型具有更好的拟合和预测能力。