计算机软件可靠性数据收集方法和技术

七十年代以来,软件可靠性研究取得了很大发展和应用,但还存在不少问题,其中软件可靠性数据的收集尤为突出。它是进行软件可靠性分析和研究估测的基础,可对软件可靠性估测模型的假设是否合理加以检验;并可对模型是否精确、估测结果是否令人满意等加以验证。所以有人认为,没有数据作后盾的软件可靠性估测模型是没有说服力的。目前,在软件可靠性数据收集过程中,存在的主要     

软件重用技术浅析

软件重用技术是20世纪80年代以来,国际上非常重视的一项被认为能成倍提高软件生产率的重要技术。目前,软件重用技术已经成为内容非常广泛的研究领域,是当今软件工程领域中的一个研究热点。比起重新开发一个软件,软件重用技术能大大缩短开发时间,节约人力、物力,提高软件可靠性。     

软件可靠性综述

软件可靠性是软件质量因素中最基本、最重要的因素。因此,对软件可靠性的评估也成为评价软件质量的一个重要指标。软件可靠性评估分为定量和定性评估,而定量评估主要是通过软件可靠性模型实现。介绍了软件可靠性的定义、影响软件可靠性评估的因素、一般软件可靠性定量评估过程和软件可靠性度量,讨论了一个高可靠性的常用标准软件可靠性模型。     

基于Bayesian的软件可靠性评价方法研究

针对当前软件可靠性工程领域面临的主要问题,介绍了软件可靠性评价技术。讨论了传统的软件可靠性评价方法及其在应用中的局限性,然后介绍了基于统计理论的软件可靠性评价方法。主要介绍了基于假设检验的可靠性评价方法,并在其基础上做出改进,提出了一种基于贝叶斯理论的可靠性评价方法。     

软件坚固性与基于软件的容错技术

坚固性是软件可靠性的主要方面之一，并正在成为衡量软件质量的重要指标。基于软件的容错技术是实现软件系统坚固性的主要途径，包含了操作容错、数据容错、软件容错和硬件容错四个方面内容，其本质都是冗余方法，基本手段的故障检测与故障定位、故障包容与故障屏蔽、系统重构与故障恢复等，软件容错的基本方法是多样性设计，其代表性方法是恢复块RB和多版本编程NVP技术。本文同时简要介绍了容错技术的基本思想、方法及相关研究的发展概况。     

软件可靠性与测试方法探析

介绍了软件可靠性的概念,从分析影响软件可靠性的因素开始,提出了提高软件可靠性的方法,进而引出了软件可靠性测试的定义以及进行软件可靠性测试的目的,阐述了进行软件可靠性测试的方法。     

软件可靠性发展研究

本文介绍了软件可靠性的研究内容及影响软件可靠性的主要因素，综述了其在软件可靠性设计、管理与测试、数据收集、可靠性预测模型方面的研究现状及其中尚存在的主要问题。     

刍议测试在软件工程中的应用

软件的测试环节做的好与坏,决定了整个工程的成败。从软件测试和软件可靠性理论入手,对现有的软件可靠性技术进行研究分析从中发现一些问题就是软件测试的主要目的。与此同时要总结出现有可靠性模型的特点并分析出现有可靠性模型所存在的局限性与不足,以方便后续开发程序中注意存在的问题。     

软件增长测试中可靠性评估方案的研究

软件可靠性评估在软件测试中起着举足轻重的作用。本文研究了软件增长测试中可靠性评估的过程。给出了判断软件可靠性是否增长的方法,通过比较常用的M-O模型和J-M模型给出了如何选取合适的可靠性评估模型的方法,以及判断选择的拟合模型的准确性的方法,并根据选取的拟合评估模型估测出软件可靠性的一些参数,最终提出了一种新的软件增长测试中可靠性评估方案,用于指导软件可靠性测试的顺利进行。     

软件可靠性评测方法及其应用研究

为了保证一个软件系统的质量,有必要针对软件的测试与可靠性评估方法进行专门研究。本文探讨了软件可靠性评测技术及其在工程实践中的常见问题和解决方法。     

基于Object-Z规格说明形式方法的软件开发

形式化方法技术和面向对象程序设计技术相结合,可以消除因软件开发初期的需求规格说明因描述的歧义而可能引起的不一致性和不正确性,特别适应于可靠性要求非常高的软件,可以它们发挥各自的优点,更好地开发出高质量的软件产品。     

一种提高软件质量的可靠性方法

软件可靠性是软件工程学与可靠性工程学结合产生的前沿学科。软件的可靠性是软件质量保证的重要一环。结合新的软件和旧的软件,从量化的角度进行研究,提出了保证新软件的质量可靠性的方法。     

软件可靠性与软件的第三方测试问题研究

随着软件在科技领域中的广泛应用,软件可靠性与安全性越来越成为人们最关心的话题,在充分阐述了软件可靠性的定义的基础上,分析了软件可靠性的重要性,为保证软件可靠性,给出了相应的采取措施。同时对通信装备软件的可靠性现状进行了分析,提出为提高通信装备软件的可靠性,引入软件第三方测试的必要性和意义。     

软件性能测试实施过程研究

研究了软件性能测试中的关键技术和测试过程;阐述了性能测试的需求分析、脚本录制和测试方案的具体过程。以实际的Web软件为例,使用LoadRunner测试工具进行测试实验;对软件测试中的关键技术进行了分析和研究,采用有效的技术和方法来发现软件中存在的软件缺陷,以提高软件的质量和可靠性。     

CAN总线在分布式温度监测系统中的应用

随着网络技术和总线技术的不断发展,控制系统规模的不断扩大,现场温度数据采集与控制逐渐呈现网络化、远距离的特点。针对传统的控制系统不能实现管控一体化以及所采集数据不能被长期存储、打印等问题,文章介绍了一种基于CAN总线的分布式温度监测系统,采用集中管理、分布监测的两层控制策略,给出了该系统的结构和软硬件设计方法与实现。该系统具有可靠性好、通信速率高、抗干扰能力强等特点。     

一种新型的谐波励磁发电机数字电压调节器的设计

基于DSP（TMS320LF2407A）的谐波励磁发电机数字电压调节器工作原理,设计一种新型的数字电压调节器,该调节器运用PWM技术、高频开关管和变参数PID算法实现对发电机输出电压的控制,并使用DELPHI设计了上位机监控界面。实际运行结果表明：该调节器具有调节速度快、精度高、性能可靠等特点。     

VC++中MFC ODBC编程

通过VC 中MFC ODBC对数据库访问技术简单介绍，工程人员在软件开发过程中，可以根据实际情况选择相关技术，减少了软件开发的工作量，缩短开发周期，提高了效率和软件的可靠性。     

嵌入式系统数据存取的可靠性研究与设计

阐述了几种实用的数据保障措施,重点分析、研究了表决系统的可靠性模型,并具体描述了在嵌入式系统中的实现方法,给出了相应的程序流程图。在嵌入式系统中,软硬件的可靠性设计有力保证了数据的完整性、有效性,提高了系统的可靠性。     

支持依赖关系的并行任务软件框架研究与实现

任务并行化是现代计算机的发展方向,并行任务可同时使用多种资源,如何在确保并行任务依赖关系稳定的情况下最快地获得结果,是现代软件技术亟待解决的问题,从软件框架设计以及算法的角度,阐述了在并行任务软件框架的设计中如何提高相互依赖的并行任务的并行程度,设计了一种并行框架,实现了原型。实验结果表明,该框架可有效提高并行任务的并行程度,具有良好的可靠性、稳定性以及可扩展性。     

Teachers’ Critical Evaluations of Dynamic Geometry Software Implementation in 1:1 Classrooms

Although the use of dynamic software in high school mathematics in the United States has emerged as a research topic, little research has been conducted on how teachers integrate new software in relation to at-home technology networks. Interviews with eight mathematics teachers from four North Carolina counties participating in 1:1 laptop initiatives are analyzed to trace similar decision-making themes, including Internet access, laptop availability, software use, and teacher training. This article outlines how current technologies in classrooms were critically examined by the teachers and how network connectivity impressions affected hardware and software use.