基于软件故障模型的软件测试研究

软件故障模型的建立可以为有效地进行软件测试提供依据。文章在分析大量软件的基础上,提出了用有工程背景的故障模型来指导软件测试工作。基于故障模型的软件测试以某种类型的软件故障的检测为目标,有利于减少软件测试的盲目性,并能提高软件测试的效率。     

电子产品研制过程的可靠性管理

为建立闭环式可靠性管理,本文从如何确定可靠性参数和指标开始,对如何进行可靠性预计、如何确定定时截尾可靠性鉴定试验方案{T,C}和开展软件可靠性定量评估等方面进行了讨论。     

基于电子系统工程软件可靠性评估方法初探

我们有必要深入研究软件的可靠性评估和测试方式，以保证软件系统的质量，本文结合工程软件自身的特点，对软件可靠性的基本概念以及测试软件可靠性的过程进行了简要叙述，提出了一种适用于大型电子系统工程软件的可靠性定量评估方法。     

软件可靠性工程管理

本文在开发过程标准化的基础上，为做到任务可测、可检，保证质量，提出一套软件生产的质量控制与管理的具体措施和原则。     

模块化方法在金融机具软件设计中的应用

模块化是指解决一个复杂问题时自顶向下逐层把系统划分成若干模块的过程。在金融机具这类产品开发过程中,模块化设计方法在系统功能的分解、重用、协调等方面有其独特的作用,但该方法的运用也存在着一定的约束。1.相关约束从软件设计开发的经验来看,往往根据功能划分模块,模块最终均归入模块库。在模块库的建立与维护过程中,需要注意以下几点:1模块分类。随着金融机具的功能越来越强大,结构也越做越复杂,不可避免地存     

软件可靠性工程框架

软件可靠性工程框架为可靠软件的开发设计、工程管理等过程活动提供公共的标准平台和一致的认知基础。文章构建了基本的软件可靠性工程框架,建立了面向过程的软件可靠性工程过程模型,提出了基于标准框架的软件可靠性工程的过程活动及其关系,给出了各个过程活动研究与实践的现状、发展趋势、存在的主要问题及其过程活动的目标、要求、内容与技术途径。     

软件的可靠性测试

将在介绍软件可靠性概念的基础上，讨论软件可靠性测试的特点、进行软件可靠性测试的基本条件及软件系统可靠性测试的具体实施。     

软件测试数据的生成与测试监督系统

对软件测试做了较深入的理论研究，提出了消息序列模型和标识软件功能元图，拓展了邻接矩阵的概念，建立了其幂运算，给出了选取合理的测试数据样本应遵循的原则，据此建立了软件测试数据的生成与测试监督实验系统。     

ATM产品中软件可靠性的研究

随着国家金融电子化进程的快速发展,银行对高性能的自动柜员机 (ATM)设备需求与日俱增,同时,对自助终端设备控制软件可靠性的要求也越来越高。因此,深入研究软件的可靠性理论及软件成熟度能力,并将其应用到ATM产品研发实践,是 ATM产品软件质量保证工作亟待解     

面向新世纪的质量可靠性

针对知识经济的崛起、全球化浪潮和竞争趋于白热化的新形势，提出新世纪质量可靠性工作应加强软件可靠性研究、加速采用国际质量可靠性标准和推广质量工程学的任务。