基于监控日志的航班查询系统可靠性评估方法

针对运行阶段的系统软件可靠性评估理论和评估方法的研究缺失,提出一种基于系统监控日志的软件可靠性评估方法。以中国航信的航班查询系统为可靠性评估研究对象,首先解析该系统的监控日志,提出基于监控日志的失效数据提取方法。其次,基于航班查询系统的特点和可靠性数据的分析结果,构建了航班查询系统可靠性模型。最后,实验验证了该可靠性模型是可行的,并利用此模型评估了航班查询系统的可靠性,形成了系统软件可靠性评估过程方法。     

一种基于输入域的非参数软件可靠性评估模型

通过分析输入域软件可靠性模型和时间域软件可靠性模型的特点,建立一种基于输入域的非参数软件可靠性评估模型,从而克服一般输入域模型评估精度较差、无法预测的缺点.同时提出了基于非参数统计的方法来估计缺陷数和软件失效概率,从而为利用普通软件测试所获得测试数据进行软件可靠性评估提供了一种解决途径,实例验证表明了该评估模型可以较好地对软件可靠性进行评估,给出缺陷数和软件可靠性的合理估计,其估计精度不低于较好的时间域模型.     

基于J-M模型的监控系统可靠性度量与预测

针对监控系统软件可靠性分析的实时性和求解高效性，通过对各类软件可靠性模型的比较，采用J－M模型并对其进行了理论推导和有解无解分析。根据模型参数方程的非严格单调的特点，对其采用了步长为0．1的械探性数值求解，保证了在较短时间内求得满意解。通过对监控系统的数据处理，可得到包括故障发生次数、下一故障发生时间、当前错误查出率、当前失效率等评估参数值，所有评估结果可视化显示。     

软件可靠性综合模型的分析和研究

软件可靠性是系统可信性的重要属性之一.首先讨论了传统软件可靠性模型的主要弱点,接着提出了一种新的软件可靠性估算模型.当前,传统的软件可靠性度量模型中并未涉及大多数软件的复杂性及测试用例的有效性,从而使得在评估软件可靠性时不够精确,甚至是错误的.因此,提出了一些改进软件可靠性度量的方法.这些方法的主要思想是将影响软件复杂性的因素和测试用例的有效性并入软件可靠性模型中,以便使得该模型能更精确地反映实际情况.最后,大量的实验结果也表明了该模型的合理性及有用性.     

软件可靠性数据预处理研究

软件可靠性模型是根据与软件可靠性相关的数据,以统计方法或模糊方法对软件的可靠性进行度量、评估和预测。以往对软件可靠性的预测是针对原始数据进行建模,而原始数据所存在的不平稳性的缺陷,直接导致可靠性模型预测结果的误差较大。本文以软件可靠性模型研究中原始数据存在的问题为出发点,探讨提高软件可靠性预测的方法。通过对可靠性数据的预处理,解决其不平稳性导致预测结果误差较大的问题。     

软件可靠性评估理论与实例研究

研究了软件可靠性评估的特点。采用Goal OkumotoNHPP软件可靠性评估模型和极大似然估计 ,计算了智能电磁流量变送器可靠性水平 ,得到了较为实用的结果     

软件可靠性模型选择的SRMS算法

在软件可靠性评估中经常用到软件可靠性模型。如何对每一特定用例进行可靠性模型的选择一直是可靠性领域研究人员的兴趣之一。文献中已有的软件可靠性模型的选择方法和工具因为使用了受限的模型选择标准而得不到广泛的应用。该文根据软件开发生命周期(SDLC)的阶段对可靠性模型进行了分类,对可靠性模型的选择提出一系列新的标准,在此基础上提出了一种新的模型选择算法并对其进行举例说明。     

一个集成的软件可靠性工程环境

针对软件可靠性工程实施中发现的核心问题，本文介绍了我们在软件可靠性关键技术上取得的突破，以及以此为支撑的集成环境SREE。该系统依托Eclipse，支持软件可靠性工程的关键活动：使用模型生成和构建、软件可靠性测试、软件可靠性评估和预测以及软件开发过程中可靠性的跟踪分析等。     

基于经验数据的软件可靠性模型研究

软件的可靠性同其正确性和性能同样的重要,软件可靠性模型是软件可靠性定量分析的技术基础.对基于经验数据的软件可靠性模型进行了研究,并进行工程化实现,已应用于多个测试项目的测试评估,对软件的可靠性和测试的充分性进行了定量分析.     

软件测试中可靠性模型的设计与研究

软件测试是保证软件质量和提高软件可靠性的关键所在,而软件可靠性是衡量软件质量的重要指标之一,二者有着非常紧密的联系。软件可靠性模型既是软件可靠性进行定量分析的基础和保障,也是软件可靠性进行预测的核心和关键,对保证软件质量起到了非常重要的作用。文中结合软件测试与软件可靠性及其模型的相关理论,通过对Seeding模型的分析与改进,提出了一种适用于软件测试的可靠性模型。实验结果表明,使用文中提出的软件可靠性模型能较好地满足软件对可靠性评估的要求,较好地应用在软件测试中。     

基于OOPN的多处理机操作系统设计与实现

大多数实时系统具有事件驱动的并发特性,同时多处理机系统在实时领域得到了广泛的应用。实时系统内在的并发性以及与环境的交互性导致了实时软件复杂的控制结构,使得开发实时软件十分困难。由于PETRI网是一种适合于描述并发的可视化建模语言,有形式化描述。所以,作者采用PETRI网来表示一个实时软件中的并发部分,用普通编程语言实现剩下的顺序程序部分。两级程序设计方法可以更加有效、可靠地开发实时软件。文章涉及的实时操作系统是以RTLinux为基础,对其内核进行扩展,使之支持OOPN1形式的作业描述,并具有实时多处理机调度功能。     

软件可靠性工程框架和评估系统实现

给出了软件可靠性工程的实施框架,它规范了软件可靠性评估的过程.文章还提出一个软件可靠性评估系统的体系结构,并给出了实现所需要的一些关键技术.已经依此实现了一个软件可靠性评估系统CaSoR(Computer aid Software of Reliability),并已经被实际     

基于FPGA 的高速数据采集系统设计

为了实现高速、连续采样的数据采集系统,介绍了一种基于FPGA 的高速数据采 集系统的构成及技术实现。采用FPGA 作为主控制器,USB2. 0 协议标准传输数据,设计了数 据采集系统的硬件电路,包括模拟信号滤波整形电路,高速AD 接口电路,USB 接口电路等, 实现了对数据的高速连续采集。设计了系统应用软件,包括数据采集板的FPGA 程序和USB 固件程序,上位机应用软件等。实验测试结果表明,系统结构灵活,性价比高,抗干扰能力 强,各项指标均已达到了设计时的要求,具有广泛的实用性。     

基于RTLinux和CAMAC的硬实时测控程序设计

文章介绍了一种基于RTLinux和CAMAC系统的的硬实时测控程序设计,对测控程序的实时性能进行了分析,同时给出了此测控系统的测试结果,并讨论了在RTLinux下使测控程序满足硬实时测控所需性能的实现方法。     

浮选过程自动控制系统

针对我国赤铁矿浮选生产过程自动化水平不高、劳动生产率低、工艺指标精矿品位和尾矿品位波动严重的现状,采用美国Ｒockwell 公司的ControlLogix 系列软硬件平台设计开发了浮选过程自动控制系统。详细介绍了控制系统结构、控制系统功能、智能优化设定层和底层回路层的控制策略,以及浮选过程自动控制系统应用软件和人机交互监控界面的开发过程。将本文提出的自动控制系统应用于酒钢选矿厂,长期运行结果表明,系统运行稳定、安全可靠,减轻了现场操作人员的劳动强度,提高了劳动生产率,进而提升了选矿厂的企业竞争力。     

基于Internet的远程诊断系统体系结构研究

分析了传统的两级C/S结构的不足,介绍了三级C/S体系结构及特点,提出了Internet环境下基于WWW模式的三级远程诊断系统体系结构,并结合一个实例对其组成部分、功能以及实现的技术关键进行了讨论。     

面向对象度量的研究

度量技术是保证软件质量的重要手段,它定量地反映了软件某一方面的特征。随着面向对象技术的发展,传统的结构化度量不再适合面向对象的软件,因此出现了不少针对面向对象程序的度量,这些度量在一定程度上反映了面向对象软件的若干方面的特征。文章详细分析了面向对象软件的主要特征,在此基础上介绍了现在常见的几组面向对象度量和它们的应用价值,并且分析了它们的不足之处。最后,提出了几个构造面向对象度量应该遵循的准则。     

利用段页式保护实现软件扩展

可扩展的软件体系结构和基于组件的软件开发方法要求安全、有效和易于实现的扩展机制支持同一地址空间的软件模块间的保护。文章提出了一种新的地址空间内的保护机制,它充分利用了i386体系结构的段页式硬件保护特征,能有效、透明地支持内核级和用户级的软件扩展。为了易于扩展软件模块的编程和扩展机制的实现,该机制用不同的方式支持用户级和内核级的软件扩展。     

基于场景的软件测试工具系列的设计与实现

文章将场景技术用于软件测试工具系列Safepro的开发,在讨论测试工具开发共性的基础上,还兼顾个别测试工具的一些特别之处。文中简要介绍了软件测试工具的研究现状,随后给出了系统的测试场景,并基于场景分析了系统的构成模式,讨论了测试数据流模型,包括测试过程的数据流模型,数据流的性能改进,以及基于消息的数据分发和缓冲计数的应用。文章还介绍了采用Makefile规则实现测试分析过程组织的方法。     

基于FPGA 的快速中频自动增益控制系统

为了同时满足系统的动态范围和响应时间的需要,提出了一种基于FPGA 的快速 中频自动增益控制( AGC) 系统。首先进行了计算机仿真,利用Quartus II 对系统AGC 算法进 行了仿真,验证了系统搭建控制模块、达到了60 dB 的动态范围控制。通过逻辑仿真软件的验 证和硬件电路的测试,证明系统响应迅速,控制精度高,并且系统用在实际的雷达接收机中取 得了良好的结果,增大了接收机的动态范围,提高了雷达系统的性能。