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

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

软件确保研究进展

对软件确保的概念进行了介绍,指出软件确保主要聚焦于软件的安全性(security)、保险性(safety)、可靠性(reliability)和生存性(survivability),并以此为基础,提出了S3R软件确保模型,然后在战略层面上讨论了软件确保的发展过程,重点阐述了美国国土安全部、美国国防部、美国宇航局的软件确保计划;在技术层面上探讨了确保软件S3R性质的相关技术进展,阐述了正在制定中的软件确保标准.最后指出了软件确保的发展趋势.     

一种基于Pspice的IGBT模型

功率器件在开关过程中的电压尖峰、电流尖峰及开通时间、关断时间等问题是评估一款器件乃至电力系统装置可靠性的重要因素。文中从动态特性出发,研究了一种基于Pspice的绝缘栅双极型晶体管(IGBT)模型。以Trench-FS(Field-stop)型IGBT晶体管KWBW25N120S1E2为例,根据该器件的结构和工艺参数,得到了Pspice模型参数。双脉冲测试仿真结果表明,得到的该器件开通延时、上升和关断时间以及关断延时等动态参数与实测数据基本一致。最后,给出了该模型应用到实际焊机仿真结果与实测的比较,进一步验证了模型的合理性与可靠性。     

软件可靠性及其应用(Ⅰ)

本文编录了软件可靠性的定义和一些典型的数学模型。文章提出了自己的观点,如软件的可靠性取决于对软件的定义分析和设计;而调试、测试、证明、评审是可靠性增长的重要阶段;软件会产生随机故障,可用统计的办法来处理;初步提出软件—硬件故障的分离方法以及在工程应用中如何提出对软件的可靠性要求。     

基于B/S模式的数字化档案管理系统设计

随着管理部门信息化进程的深入和推进,对档案管理工作的数字化提出了要求,为此,文章提出了基于B/S模式的数字化档案管理系统。针对数字化档案管理系统进行需求分析,采用B/S架构,构建了系统的软件框架和功能架构,提出了档案管理部门的数字化档案管理系统存储模型,并从数据、网络安全等方面构建了可靠性高、结构完善的安全体系。     

计算技术与计算机及网络设备 其它应用

0628256基于CMMI-SW软件过程定义模型CSPDM的研究〔刊,中〕/周平//计算机工程与设计.—2006,27(14).—2603-2605(L)0628257基于彩色Petri网的工作流权限管理的建模与分析〔刊,中〕/张翼//计算机工程与设计.—2006,27(13).—2441-2445(L)0628258基于度量和知识的软件过程管理系统的研究〔刊,中〕/钱云峰//计算机工程与设计.—2006,27(9).—1601-1603,1610(L)越来越多的软件企业开展了知识管理和基于CMMI的软件过程改进,首先分析了软件度量与软件过程改进的关系;然后进一步分析了软件度量、知识管理与软件过程改进的关系;最后重点介绍…     

核科学与能源

991662912MeV L1A X 射线斑点测试及其调制传递函数[刊]/石金水//强激光与粒子束.—1999,11(2).—177～179(G)我国缺水煤炭基地资源配置模型研究(见9916645)基于 C/S 体系结构的大坝在线安全监控系统(见9916392)核级仪表可靠性、安全性评审技术的探讨(见9915802)高效、节能的分子泵电机(见9914953)     

基于交互的软件模型研究

从Peter Wegner的交互计算理论出发,将软件中的交互与计算进行分离,提出了基于交互的软件模型。对交互单元、无交互构件、交互运行支撑环境以及基于交互的软件模型进行了详细叙述,并提出软件的开发过程可以划分为交互设计和无交互构件生产两个独立的阶段,无交互构件的复用是软件复用的重要方式,基于交互的软件将形成不同于C/S,B/S的网构软件体系结构。     

基于功能结构模型的软件可靠性评估

提出一种基于软件功能结构模型的可靠性评估方法。通过建立软件的功能结构模型、识别各种功能失效模式以及运用贝叶斯方法和故障树分析，可以大致了解软件的可靠性情况。     

电子产品研制阶段可靠性增长试验研究

结合工程实际经验,深入讨论了可靠性增长过程及实现途径,在保持试验条件和改进过程不变的条件下,实施了对具体型号电子产品的可靠性增长试验,达到了预期的可靠性增长目标,并且利用可靠性增长试验的数学模型(AMSAA模型)来评估产品的可靠性增长,对开展可靠性增长与可靠性增长试验工作具有重要的实际意义.     

电子产品研制阶段可靠性增长试验研究

在现代电子系统设备和可靠性增长工作的推动下,可靠性技术和工程实践得到了深入发展。结合工程实际经验,深入讨论了可靠性增长过程及实现途径。在保持试验条件和改进过程不变的条件下,实施了对具体型号电子产品的可靠性增长试验,达到了预期的可靠性增长目标,并且利用可靠性增长试验的数学模型(AMSAA模型)来评估产品的可靠性增长,对开展可靠性增长与可靠性增长试验工作具有重要的实际意义。     

Segment Storage System:基于P2P的网络存储服务

Segment Storage System(S3)是一种基于P2P模型的网络存储服务,它具有高可用性、可靠性和持久性的特点。S3继承了P2P网络的优点并且摒弃了诸如文件时效性和不稳定性等缺点。S3的目标是提供一种高质量的网络存储服务。文章是对S3的设计架构的一个概览。     

通信系统与通信网

Y98-61483-252 9907886自愈 SONET 网状网络的可靠性和有效性评估=Reli-ability and availability evaluation of self-healing SONETmesh networks[会,英]/Cankaya,H.C.& Nair,V.S.S.//1997 IEEE GLOBECOM.Vol.1.—252～256(MaV)本文首先引入了一个马尔可夫状态效益模型,用于对自愈 SONET(同步光网)网状网络的可靠性和有效性进行评估。之后提出了一个称为可恢复性的第三个测度,该测度描述了网络的自动恢复能力。和一个直观的实例一道讨论了该模型的数值解。参6     

程序设计、程序框图

0610198MVC模式下的水质模型中间件实现技术〔刊,中〕/王晓辉//西安理工大学学报.—2005,21(4).—379-382(L)0610199基于B方法的弹道计算机程序设计技术〔刊,中〕/张子丘//计算机工程与设计.—2005,26(12).—3295-3297,3300(L)针对任务关键性的武器装备控制领域,选用B方法来设计通用弹道计算机程序,显著地提高了软件的质量和可靠性。在开发过程中,利用抽象机机制对基本弹道计算机进行建模,并通过逐步精化的方法扩展弹道计算机功能,从而有效地控制了弹道计算参数之间的复杂关系,依赖不变式技术形式化地保证了软件运行时的安全性,并使得生…     

基于Markov链Packet-Level的VANET差错预测模型及性能预估

 车用自组织网络—VANET(Vehicle Ad-hoc Network)是一种应用于智能交通系统的新型无线移动自组织网络,其网络体系及各层协议设计与信道特性紧密相关,信道实时测量与性能预估逐渐成为VANET通信协议设计基础.本文主要思想是通过实测数据包的差错序列来评估VANET信道质量.首先通过实测数据分析,发现差错序列中相邻无误串和错误串具有统计依赖关系;然后提取数据包的差错序列统计特性参数,依此建立基于Markov链的PLE(Packet-Level Error)模型;最后通过不同模型仿真结果与实际统计结果的比较与验证,PLE模型比传统的Gilbert-Elliott模型更适合描述VANET信道特征.     

雷达供电系统架构可靠性研究

针对雷达供电系统架构可靠性分析,提出了雷达供电系统架构的定义和分类方法;基于可靠性理论,分别建立了直接型架构和能量管理型架构的可靠性模型;推导了电力系统体系结构的基本可靠性、任务可靠性、重大故障平均间隔时间(MTBCF)和平均无故障工作时间(MTBF)的解析表达式,为雷达供电系统架构的可靠性分析提供了理论依据和计算方法...     

可靠性设计、试验与设备

0608432Matlab在确定可靠性分布模型中的应用〔刊,中〕/魏选平//电子产品可靠性与环境试验.—2005,23(6).—22-24(D2)利用概率知识,基于Matlab进行编程,由一组关于刹车距离的数据推断出可靠性分布模型,并对其进行了仿真。通过亲身实践得到的体会,具有一定的借鉴性。参20608433石灰土填料动力特性试验研究〔刊,中〕/贺建清//湖南科技大学学报(自然科学版).—2005,20(4).—58-63(C2)0608434一种基于时序分析的大型重载支承轴隐蔽部位疲劳裂纹诊断方法〔刊,中〕/李学军//湖南科技大学学报(自然科学版).—2005,20(4).—38-41(C2)0608435面向产…     

基于分数低阶协方差的AR SαS模型α谱估计

根据自回归(AR) SαS模型的α谱,分析了基于分数低阶矩(FLOM)法估计AR SαS模型参数的不足.提出了一种基于分数低阶协方差(FLOC)的AR SαS模型参数估计方法,并给出了基于FLOC的AR SαS模型α谱方法.分别对AR SαS模型参数的估计、α稳定分布噪声中单一正弦信号的估计和两个正弦信号的分辨进行了仿真.仿真结果表明,基于FLOC的AR SαS模型α谱估计方法对于不同的α值均具有较好的韧性.特别是在α值较小,即α稳定分布噪声概率密度函数(PDF)拖尾比较严重时,本文所提出的基于FLOC的AR SαS模型α谱估计方法,其性能明显优于基于FLOM的AR SαS模型α谱估计方法.     

其它计算机与系统

0610394软件过程建模中的并行性挖掘与延拓技术研究〔刊,中〕/马臻//西安理工大学学报.—2005,21(4).—433-436(L)针对软件过程建模中存在的诸多问题,提出了一个基于并行性挖掘与延拓技术的软件过程建模模型,并利用此模型对火车调度系统进行了建模。结果表明,该模型正确且工作效率高。参50610395基于GPS-PDA的土地变更调查数据采集系统集成设计〔刊,中〕/严长清//南京师范大学学报(工程技术版).—2005,5(4).—77-81(L)从土地利用现状变更调查的实际需求出发,提出了基于GPS-PDA的土地变更调查数据采集系统。分析了系统需求与目标,采用…     

可靠性指标增长验证统计方案设计方法

在验收试验之前,在产品的研制过程中往往已有不少对产品的其他信息,比如产品各个阶段的试验信息;在产品的研制过程中,可靠性通常是增长的,因此这类数据符合可靠性增长指标要求。在设计可靠性指标验证方案时．充分地考虑了可靠性增长的信息,基于单调约束模型和Bogey试验设计方法,通过蒙特卡洛算法,给出一种可靠性增长验证统计方案的设计方法。