软件可靠性测试及评估平台的设计与实现

设计并实现了软件可靠性测试与评估平台,支持软件可靠性测试用例自动生成,便于可靠性数据收集以及软件可靠性评估和预测,解决了软件可靠性测试难以有效开展的问题。通过与SMERFS预测结果对比,表明本平台对软件可靠性测试与评价具有较强的实用性。     

基于故障等级分析的软件可靠性评估方法研究

介绍了一种基于故障等级分析的软件可靠性评估方法,这种方法利用了软件系统测试后得到的缺陷数据,对每一个缺陷导致失效的内外因进行分析,算出每个缺陷的失效率。将失效数据进行分级,在失效率小的等级中进行故障注入,试验结果表明,该方法将软件可信性定位在正确性、可靠性、容错性、安全性、隐私性,通过这五个要素的评估。评估的有效性和合理性不亚于传统的方法,大大提高了软件开发的质量和效率。     

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

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

基于量化故障分析的软件可靠性研究

介绍一种基于故障等级分析的软件可靠性评估方法．这种方法利用软件系统测试后得到的缺陷数据,对每一个缺陷导致失效的内外因进行分析,算出每个缺陷的失效率。将失效数据进行分级,在失效率小的等级中进行故障注入,试验结果表明。将软件可信性定位在正确性、可靠性、容错性、安全性、隐私性这5个要素进行评估。评估的有效性和合理性不亚于传统的方法,大大提高软件开发的质量和效率。     

软件可靠性评估系统的智能化实现

软件可靠性评估系统的智能化有利于避免评估人员水平和经验上的差距造成的评估结果的不一致性,有利于保证评估结果的准确性。文章从专家系统辅助模型预选、各软件可靠性模型的自动比较判优和组合模型（包括其基模型的参数估计方式）的自动确定等方面对可靠性评估系统的智能化实现作了探讨,并给出了其实施框架。     

一种基于工作流的软件可靠性评估方法

随着工作流系统在企业运营中担负越来越重要的角色,工作流可靠性研究的重要性也日渐增加。文中提出了一套完整的工作流系统可靠性评估方法,帮助企业检验工作流系统的可靠性。首先,文中对工作流系统的体系结构进行分析,其中重点分析了工作流系统的流程及活动模式,提出一个以流程为基础的工作流可靠性评估方法。文中采用基于马尔可夫链的流程可靠性算法,将活动中的可靠性数据整合,计算流程的可靠性数据。在此基础上,基于Additive模型,根据流程的使用率将多流程的可靠性信息进行整合,最后求出工作流系统的可靠性数据。根据该方法,设计并实现了工作流系统可靠性评估软件,并通过在。 NET工作流平台上的实验,验证了该方法的可靠性预测效果是令人满意的。     

软件可靠性分析、测试与评估工具--SRATE介绍

软件可靠性分析、测试及评估工具(SRATE)是一个集软件可靠性分析、测试及评估于一体的软件工具。该工具支持多种测试策略下的软件自动化测试及评估试验,包括随机测试策略、自适应测试策略等。该工具还集成了包括欧洲航天局的space软件、浙大CAD&CG国家重点实验室的Intra3D构件库在内的多个典型被测对象。根据工具接口要求可以方便的添加新的测试策略和测试对象。具有自动化程度高、通用性强、配置灵活、易于扩展的特点,是进行软件可靠性分析研究工作的有力工具。     

基于CPLD控制的故障注入器的设计与实现

利用故障注入方法对故障诊断系统进行检测是提高系统可靠性的重要途径.针对模拟信号的特点,设计开发了一个基于CPLD控制的故障注入器,详细阐述了该故障注入器的结构组成、功能模块以及软硬件的设计,并将此故障注入器用于故障诊断专家系统的有效性验证上,试验结果表明,此故障注入器在设计上具有通用性、有效性、无破坏性和易操作性等特点.     

运行时软件故障注入器的设计与实现

针对实际故障诊断中难以有效获得故障现场信息的问题,提出通过在软件运行时注入故障的方式获取故障现场信息,设计并实现一种运行时软件故障注入器,给出其中的故障脚本描述语言、故障库和故障注入器算法。实验结果表明,该注入器能有效实现故障注入,获取故障现场信息。     

故障注入控制软件的设计与实现

在对某型故障注入系统硬件结构说明的基础上,给出了控制软件总体功能设计、故障注入核心控制流程和操作界面。控制软件可以实现两种故障通路模式、8种故障基本类型和3种故障持续状态的故障注入自动化控制。在软件控制下进行了故障注入试验,给出了典型故障注入过程信号波形,通过试验验证了软件算法的正确性和功能的适用性。     

基于组合输入数据情况的测试用例生成算法

在软件测试中,测试用例的设计是最关键、耗时最多的环节。单个值情况下的测试用例相对比较简单。当输入数据为组合数据时,为了获取更加全面的测试用例以提高软件测试的准确性,提出一种将判定表设计及人工代码、计算机测试相结合的测试用例设计机制。通过两种算法得出最有效测试用例,该机制能生成比基于状态的完全路径覆盖准则及其搜索算法更优的测试用例集,能更好地覆盖各种组合条件情况,也更适合实际测试时需要连续对软件进行测试的客观情况。实验证明,该方法确实能够提高测试用例设计的全面性及有效性。     

基于软件故障注入模型的容错软件可靠性评测

为了灵活准确地用故障注入技术对容错软件进行可靠性评测,通过对故障注入及容错软件可靠性评测的分析,采用分布式结构,提出了一个动态生成一静态存储一动态触发的故障注入模型,它将故障生成和故障触发分开在不同的机子上实现,从而在保证评测准确性的前提下,解决了故障需求复杂、故障生成困难及目标系统额外负载过大等问题,实现了一个较为理想的故障注入模型;最后,通过在航天某型号容错软件上的试验,证明了该模型的可行性。     

航空发动机故障监控系统的设计与软件实现

基于航空发动机监控理论及故障诊断技术概念,以LabWindows/CVI为开发平台,运用C语言结合Matlab混合编程,设计开发出航空发动机监控系统及其振动故障信号的分析处理软件.该软件包括几个大的模块,界面友好,操作简便,简洁直观.为发动机状态监控和故障分析提供了一个有效的工具.     

软件缺陷及软件可靠性技术

近年来的研究表明,系统发生的失效更多的是由于软件缺陷引起的。因此软件可靠性成为系统可靠性的关键,也是高可靠性和高可用性系统的一个主要的研究内容。该文在描述了软件可靠性与硬件可靠性不同的基础上,对软件可靠性模型、软件缺陷,以及软件可靠性技术进行了总结和论述。     

基于Linux的故障诊断仪的软件设计与实现

针对故障诊断系统的工作特点,提出一种基于ARM9系列微处理器及嵌入式Linux操作系统的软件设计方案.该方案在虚拟机下安装的Linux系统中利用交叉编译工具链及busybox制作嵌入式Linux内核及根文件系统镜像,以Qt/Embedded为应用程序框架设计了一套简单易用的系统软件,并成功地移植到S3C2440A开发板上.分析了小波变换的特性及应用方法,并将该方法应用于机械设备故障诊断系统,运用Mallat分解与重构算法对振动信号进行多分辨分析,在一定程度上提高了故障诊断的精度.实际应用结果表明,该系统体积小,易携带,界面友好,诊断效果良好.     

一个软件质量评价系统的设计与实现

文中介绍了一个基于国家标准的软件质量度量模型和评价过程模型（简称ＪＴ－ＳＱＥ模型）的设计思想和主要技术，度量模型为四层次树形结构，评价过程及需求定义，度量和计分三步步骤，该模型为评价软件质量提出了一套可行的评价体系，并简单介绍了基于该模型的软件质量评价工具的结构和功能。     

Linux平台上软件实现的PCIE总线故障注入系统

高端服务器广泛采用PCIE总线作为I/O接口提供网络、存储等服务,PCIE总线故障会严重影响服务器提供可靠的服务.为了测试高端服务器的软硬件系统对PCIE总线故障的容错能力,阐述了基于软件的故障注入思路,设计并实现了基于软件的故障注入系统.经过实验,收集了一些测试数据,验证了故障注入系统的有效性,并分析了实验系统对PCIE总线的容错机制.     

基于SCSI的故障注入工具设计与实现

研究海量存储系统的可用性评测,设计一种基于小型计算机系统接口(SCSI)协议的故障注入工具。该工具在SCSI协议中间层截获SCSI上层命令,修改命令后,能够实现多种暂态和永久故障的注入,有效地模拟存储系统可能遇到的各种故障。根据目标系统特点确定故障模型和注入参数,注入结束后,进行注入结果回收和离线数据分析。实验测试结果验证了该故障注入工具的有效性。