【摘 要】
:
对现有NHPP类软件可靠性模型进行分析总结,指明了已有NHPP类软件可靠性模型存在的不足及缺陷。综合考虑缺陷探测率、软件运行覆盖率、排除错误时的错误引入率等软件故障数的
论文部分内容阅读
对现有NHPP类软件可靠性模型进行分析总结,指明了已有NHPP类软件可靠性模型存在的不足及缺陷。综合考虑缺陷探测率、软件运行覆盖率、排除错误时的错误引入率等软件故障数的影响因素,提出了一种通用的NHPP类软件可靠性模型,最后对通用模型中的泛函数取特殊值后,求得期望故障数及软件可靠度,并对其进行分析,证明了所提模型的有效性。
其他文献
从玉米-大豆间作内容展开分析,通过论述间作复合群体生态多样性的特征表现,对生物特性与生产条件管理内容进行研究,在维护生物多样性的同时,提高作物种植产量,并对具体栽培技
对2018年山西南部夏播大豆大面积减产原因进行了分析:一是开花结荚期持续高温干旱;二是豆秆黑潜蝇大发生;三是点蜂缘蝽危害严重。针对减产原因提出了解决对策,一是开花结荚期
我国航天事业的快速发展对构建面向典型宇航产品的工艺知识库提出了迫切的需求。在对典型宇航产品工艺知识研究的基础上,针对典型宇航产品工艺知识的特点,构建了基础资源类知识
高粱-大豆复合种植模式在我国西南地区已经形成并逐渐大面积推广。该种植模式采用筛选品种、配套生育期和优化田间布置等技术,在提高产量的基础上,还减少了化肥施用量、充分
异构计算是高性能计算技术的发展趋势,计算任务与体系结构匹配成为异构计算亟待解决的问题。重构技术为实现两者匹配带来了契机,要么任务重构适应体系结构,要么体系结构重构适应
RDF模糊查询是实现语义Web智能检索的重要组成部分,利用Zadeh的Ⅱ型模糊集合理论、α-截集及语言变量概念,提出了支持用户偏好的RDF模糊查询方法,其扩展了SPARQL语言来实现模
针对射频识别(RFID)数据与上层应用需求之间存在的信息鸿沟及其需要实时处理的特征,提出了一种完备数据流的不确定数据择优算法。分析了常规粒子滤波方法存在的不足之处,采用基
随着软件的日益复杂,如何从巨大的可用测试用例空间中选择少量的测试用例进行有效的测试,成为了软件测试的重要课题之一。给出了一种易于自动化实现的软件测试用例生成方法。
基于自适应滑动窗口清洗算法SMURF(Statistical sMoothing for Unreliable RFid data)需要手动输入阈值δ,对于静态标签,δ的取值对平滑结果几乎没有影响;对于动态标签,结果会造成巨大的误差。针对以上的缺点,提出一种基于动态标签的RFID不确定性数据清洗算法DSUMRF(Dynamic tags-based SMURF)。另外,SMURF算法主要考虑RFI
针对目前不确定XML小枝模式查询需要存储大量中间结果和归并中间结果的情况,提出一种非归并不确定XML小枝模式查询算法ProTwigList。该算法查询之前通过Tagq-Level流进行剪枝,