苛求软件可靠性方法、技术与模型研究

从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数式程序设计以及可靠度评估模型等。总结比较各自适用的开发阶段、面向的目标错误类型及优缺点。     

基于蒙特卡罗的软件可靠性测试技术研究

为了缩短软件测试周期,提出了运用蒙特卡罗(Monte-Carlo)方法进行软件可靠性测试的基本技术,通过实例介绍了这一技术在软件测试中的应用过程.这一技术较好地解决了2个问题:测试用例的优化;使用新的评判准则分析测试结果.     

铁路软件可靠性增长模型应用研究

分析G-O、Delayed S-shaped、Ohba-Chou及P-N-Z等4个软件可靠性增长模型的特点及适用场景,研究软件失效数据集的可靠性增长趋势分析方法和评价指标,提出一种可靠性增长模型参数计算的优化算法,在理论研究的基础上设计并实现了一款软件可靠性增长模型分析工具(SRGM Tool)。以铁路联锁软件记录的失效数据集为例,研究铁路软件可靠性增长模型应用方法,借助SRGM Tool,运用4种模型对铁路联锁软件进行可靠性评估,根据实验结果,分析并确定了一种适合该软件的可靠性增长模型,验证了方法的有效性,可为铁路软件可靠性分析和故障预测提供参考。     

软件可靠性估计模型的研究

通过对JM模型的研究,给出了一种新的软件可靠性模型,并给出了模型参数的点估计和置信区间.     

轨道交通软件可靠性测试技术研究

为有效提升轨道交通领域软件可靠性水平,需要研究并应用软件可靠性技术。软件可靠性测试是软件可靠性工程的关键环节。文章在传统软件测试基础上,对软件可靠性测试理论进行研究,总结相关技术在轨道交通领域网络控制和传动控制类软件中的应用经验,以实现从用户使用角度定量评估与提升软件可靠性水平。     

基于嵌入式系统的VDR软件设计

基于VxWorks嵌入式实时多任务操作系统,结合面向模式的软件体系结构的思想,提出了一种船载航行数据记录仪软件设计实现方案;运用软件构架技术,软件总体框架采用了层模式,并在软件可靠性理论基础上,采用软件容错技术,进一步提高了软件可靠性.     

基于云进化策略的软件可靠性分配

软件可靠性分配是保证软件质量的重要方法之一。该文提出了一种基于云模型的进化策略,并应用于求解软件可靠性分配模型,实例表明可以得到比常规的数值方法及遗传算法更精确的结果。     

软件可靠性估计模型的研究

通过对JM模型的研究,给出了一种新的软件可靠性模型,并给出了模型参数的点估计和置信区间.     

监控系统的软件测试可靠性分析

针对舰船上的监控系统软件的实时性和高可靠性的特点，提出了这类软件的测试方法和可靠性分析方法。包括软件测试用例生成，测试最优中止时间,软件可靠性模型选择，可靠性模型分析。