期刊文献+
共找到102篇文章
< 1 2 6 >
每页显示 20 50 100
嵌入式软件可靠性仿真测试系统研究 被引量:46
1
作者 刘斌 高小鹏 +1 位作者 陆民燕 阮镰 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2000年第4期490-493,共4页
研究嵌入式软件可靠性仿真测试方法和环境 .文中给出了仿真测试系统的体系结构 ,并结合该体系结构对嵌入式软件可靠性仿真测试的软硬件特性 ,软件可靠性仿真测试的方法、测试环境配置、关键技术及其可行的解决方案作了探讨 .特别地 。
关键词 应用程序 软件工程 嵌入式软件 软件测试 仿真
在线阅读 下载PDF
软件可靠性及其评估 被引量:26
2
作者 石柱 何新贵 武庄 《计算机应用》 CSCD 2000年第11期1-5,共5页
介绍了软件可靠性问题的来源 ,阐述了软件可靠性的定义、软件的失效机理、及软件可靠性与硬件可靠性间的差异 ,并提出了基于模糊数算术运算的软件可靠性估计方法。
关键词 软件可靠性 评估 模糊数 软件工程
在线阅读 下载PDF
视频点播系统的软件老化估计和预测 被引量:6
3
作者 杜小智 齐勇 +4 位作者 鲁慧民 侯迪 徐崇安 陈滢 钟虓 《计算机研究与发展》 EI CSCD 北大核心 2011年第11期2139-2146,共8页
针对视频点播系统,研究其软件老化模式.对系统资源和视频点播服务器的实时参数,采用Mann-Kendall方法来检测老化趋势以判断系统是否存在软件老化现象,并采用Sen的斜率估计方法来估计老化衰退速率;提出了基于径向基网络的软件老化预测模... 针对视频点播系统,研究其软件老化模式.对系统资源和视频点播服务器的实时参数,采用Mann-Kendall方法来检测老化趋势以判断系统是否存在软件老化现象,并采用Sen的斜率估计方法来估计老化衰退速率;提出了基于径向基网络的软件老化预测模型,对老化趋势进行预测,并采用主成分分析方法来减少径向基网络的复杂度以提高效率.实验结果表明:视频点播系统中存在软件老化现象;基于径向基网络的软件老化预测模型预测效果优于时间序列模型.基于提出方法以及对视频点播系统的老化分析,可为进一步研究相应的软件再生策略提供理论依据. 展开更多
关键词 软件老化 老化预测 老化估计 视频点播 软件可靠性
在线阅读 下载PDF
基于灰色系统理论的软件可靠性综合评价框架 被引量:9
4
作者 李海峰 陆民燕 +1 位作者 王智新 李震 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2008年第11期1261-1265,共5页
从系统工程的角度出发,提出一套完整的基于灰色系统理论的软件可靠性综合评价框架.首先,在ISO/IEC 9126软件质量模型的基础上,建立起软件可靠性综合评价体系,并利用灰关联分析方法计算每个度量元与软件可靠性之间的相关程度,由此确定度... 从系统工程的角度出发,提出一套完整的基于灰色系统理论的软件可靠性综合评价框架.首先,在ISO/IEC 9126软件质量模型的基础上,建立起软件可靠性综合评价体系,并利用灰关联分析方法计算每个度量元与软件可靠性之间的相关程度,由此确定度量元在评价体系中的权重值.在此基础上,提出基于灰色聚类的软件可靠性综合评价方法.初步的实验结果表明,基于灰色系统理论的软件可靠性综合评价框架具有方便实用、全寿命周期评价、数据来源广泛、且可准确反映当前软件可靠性指标水平等优点,适合于软件可靠性工程决策活动. 展开更多
关键词 软件工程 灰色系统理论 综合评价 可靠性理论
在线阅读 下载PDF
软件可靠性多模型综合评估 被引量:13
5
作者 邹丰忠 徐仁佐 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2002年第10期1183-1185,共3页
软件可靠性工程领域一直存在模型很难应用于实际的问题 .不同的软件可靠性模型对同一个软件工程项目的估计差别极大 .为此 ,探讨了软件可靠性估计的稳健方法 ,研究了多模型的贝叶斯自动混合与选择的理论 ,其重点是要探讨贝叶斯先验表达... 软件可靠性工程领域一直存在模型很难应用于实际的问题 .不同的软件可靠性模型对同一个软件工程项目的估计差别极大 .为此 ,探讨了软件可靠性估计的稳健方法 ,研究了多模型的贝叶斯自动混合与选择的理论 ,其重点是要探讨贝叶斯先验表达及多模型的混合机制 ,以解决上述难题 . 展开更多
关键词 软件工程 软件可靠性 贝叶斯分析 先验分布 混合机制 多模型综合评估
在线阅读 下载PDF
基于覆盖率信息的软件可靠性增长测试实践 被引量:5
6
作者 李秋英 李海峰 徐刚 《计算机应用研究》 CSCD 北大核心 2010年第7期2594-2597,共4页
软件可靠性增长测试是公认的实现软件可靠性增长以满足软件可靠性定量要求的重要手段,但数量庞大的测试用例往往成为其在实践中进行大规模推广和应用的瓶颈。通过在传统软件可靠性增长测试中引入覆盖率信息的方法来降低可靠性增长测试... 软件可靠性增长测试是公认的实现软件可靠性增长以满足软件可靠性定量要求的重要手段,但数量庞大的测试用例往往成为其在实践中进行大规模推广和应用的瓶颈。通过在传统软件可靠性增长测试中引入覆盖率信息的方法来降低可靠性增长测试中需要执行的测试用例数量,从而加快可靠性测试进程,并解决其在实际中不能应用的弊端。通过实践的尝试,希望架起软件可靠性理论研究与工程实践之间的桥梁,以推动软件可靠性工程活动在工程实际中的开展和应用。 展开更多
关键词 软件可靠性 软件测试 软件可靠性增长测试 覆盖率 工程实践
在线阅读 下载PDF
软件可靠性工程框架和评估系统实现 被引量:3
7
作者 董威 王戟 +2 位作者 毛晓光 徐锡山 齐治昌 《计算机工程与应用》 CSCD 北大核心 2000年第10期71-73,110,共4页
给出了软件可靠性工程的实施框架,它规范了软件可靠性评估的过程.文章还提出一个软件可靠性评估系统的体系结构,并给出了实现所需要的一些关键技术.已经依此实现了一个软件可靠性评估系统CaSoR(Computer aid Software of Reliability)。
关键词 软件可靠性工程 软件可靠性评估系统 软件工程
在线阅读 下载PDF
基于扩展Petri网的安全关键软件需求模型检验 被引量:4
8
作者 李震 刘斌 +1 位作者 殷永峰 李晓勋 《沈阳工业大学学报》 EI CAS 2011年第1期113-120,共8页
Petri网是系统建模的形式化方法,为了解决其在软件需求建模和建立程序语义映射方面存在的不足,提出了一种扩展Petri网的方法来支持软件需求建模,区分了状态型和数值型库所,根据软件特点有针对性地扩展了变迁的可触发条件和迁移运算,同... Petri网是系统建模的形式化方法,为了解决其在软件需求建模和建立程序语义映射方面存在的不足,提出了一种扩展Petri网的方法来支持软件需求建模,区分了状态型和数值型库所,根据软件特点有针对性地扩展了变迁的可触发条件和迁移运算,同时建立了和模型检验程序语言的映射,将扩展Petri网作为检验的模型输入,利用时态逻辑描述运行性质,进行需求模型检验.定时器和航空发动机的防喘功能验证实例结果表明,扩展Petri网可以较好地支持软件系统需求建模和软件程序语义映射,通过模型检验和反例路径分析,可以达到修改和完善需求模型的目的,从而提高软件的质量和安全性. 展开更多
关键词 武器系统 安全关键软件 软件可靠性 软件安全性 软件工程 PETRI网 模型检验 形式化验证
在线阅读 下载PDF
软件可靠性混沌模型 被引量:19
9
作者 邹丰忠 李传湘 《计算机学报》 EI CSCD 北大核心 2001年第3期281-291,共11页
在分析软件失效机理后认为 :有些软件失效行为具有混沌性 ,所以可以用混沌方法来处理其软件可靠性推断问题 .但在应用混沌方法前先要进行系统辨识 ,确定为混沌系统后 ,才能应用嵌入空间技术从软件失效时间序列重建系统相空间和吸引子 ,... 在分析软件失效机理后认为 :有些软件失效行为具有混沌性 ,所以可以用混沌方法来处理其软件可靠性推断问题 .但在应用混沌方法前先要进行系统辨识 ,确定为混沌系统后 ,才能应用嵌入空间技术从软件失效时间序列重建系统相空间和吸引子 ,进而用吸引子所揭示的混沌属性来估计软件可靠性 .文中在三个标准数据集的基础上对此进行了实证分析 ,结果表明其中两个数据集源于混沌机制 ,他们的吸引子具有低维的小数极限维数 ,而且预测与实际可靠性吻合较好 .值得指出的是文中所提混沌方法突破了软件可靠性一贯使用随机分析的局限 . 展开更多
关键词 软件工程 软件可靠性 混沌 非线性分析 程序分解
在线阅读 下载PDF
基于软件可靠性工程的测试模型 被引量:5
10
作者 雍建平 赵曦滨 李晖 《计算机工程》 EI CAS CSCD 北大核心 2005年第17期58-61,共4页
软件可靠性工程是软件工程的一个重要分支,主要建立在操作剖面、软件可靠性模型、概率论和软件测试等理论的基础之上。该文结合软件可靠性、软件可靠性工程和软件测试的相关理论,设计了可靠性测试模型,并在市政交通一卡通工程系统中进... 软件可靠性工程是软件工程的一个重要分支,主要建立在操作剖面、软件可靠性模型、概率论和软件测试等理论的基础之上。该文结合软件可靠性、软件可靠性工程和软件测试的相关理论,设计了可靠性测试模型,并在市政交通一卡通工程系统中进行了实际验证。 展开更多
关键词 软件可靠性工程 软件可靠性模型 软件测试
在线阅读 下载PDF
基于蚁群算法的软件可靠性模型参数估计方法 被引量:8
11
作者 郑长友 刘晓明 黄松 《计算机应用》 CSCD 北大核心 2012年第4期1147-1151,共5页
由于软件可靠性模型大多是非线性模型,导致其参数难于估计。总结了常用的软件可靠性模型的参数估计方法,提出一种基于蚁群算法的可靠性模型参数估计方法。通过对Musa软件可靠性模型分类方案中三个不同类型模型(G-O模型、Weibull模型以及... 由于软件可靠性模型大多是非线性模型,导致其参数难于估计。总结了常用的软件可靠性模型的参数估计方法,提出一种基于蚁群算法的可靠性模型参数估计方法。通过对Musa软件可靠性模型分类方案中三个不同类型模型(G-O模型、Weibull模型以及M-O模型)的实验,发现本算法对不同模型具有很好的适应性,解决了应用传统数值计算方法时的无法收敛问题;与粒子群算法相比,本算法的收敛速度比粒子群算法快一倍以上,且对于部分实验对象的拟合结果精度比粒子群算法高一个数量级以上。 展开更多
关键词 蚁群算法 软件可靠性模型 参数估计
在线阅读 下载PDF
Jelinski-Moranda模型的一种新的NLS估计法 被引量:5
12
作者 刘敬伟 胡渝彪 +1 位作者 王晓玲 徐美芝 《系统仿真学报》 EI CAS CSCD 北大核心 2008年第18期4791-4794,共4页
提出了一种新的基于非线性最小二乘法的软件可靠性Jelinski-Moranda(J-M)模型参数估计方法(LogLSE)。给出了一种与经典的J-M模型最小二乘法等价的曲线拟合函数,推导了J-M模型的新的非线性最小二乘(NLS)参数估计公式。在标准的软件可靠... 提出了一种新的基于非线性最小二乘法的软件可靠性Jelinski-Moranda(J-M)模型参数估计方法(LogLSE)。给出了一种与经典的J-M模型最小二乘法等价的曲线拟合函数,推导了J-M模型的新的非线性最小二乘(NLS)参数估计公式。在标准的软件可靠性失效数据-海军战术数据系统(NTDS)和三组J.D.Musa软件可靠性数据上,利用牛顿迭代法求解参数估计的实例分析,说明了LogLSE估计优于传统的基于最大似然估计(MLE)和最小二乘估计(LSE)的J-M模型参数估计。 展开更多
关键词 失效数据 软件 可靠性评估 非线性最小二乘法 最大似然估计法
在线阅读 下载PDF
软件可靠性模型及其参数估值技术 被引量:8
13
作者 李德银 张宁虹 《系统工程与电子技术》 EI CSCD 1991年第5期34-43,共10页
软件产品的可靠性评估主要取决于软件可靠性模型及其参数估值技术。本文探讨了六种软件可靠性增长模型的内在关系,提出了一个统一的软件可靠性增长模型,并从数理统计角度介绍了两种可靠性模型参数估值方法:最大似然估值法和最小均方误... 软件产品的可靠性评估主要取决于软件可靠性模型及其参数估值技术。本文探讨了六种软件可靠性增长模型的内在关系,提出了一个统一的软件可靠性增长模型,并从数理统计角度介绍了两种可靠性模型参数估值方法:最大似然估值法和最小均方误差估值法。最后,通过实例说明了软件可靠性模型及其参数估值技术在软件产品的可靠性评估方面的具体应用。 展开更多
关键词 软件 计算机 参数 可靠性
在线阅读 下载PDF
软件可靠性建模研究 被引量:10
14
作者 吴超 林家骏 +1 位作者 俞岭 邵玮炜 《计算机工程》 CAS CSCD 北大核心 2008年第11期52-54,共3页
依据软件可靠性特征,提出以解决软件开发逻辑思维正确性为建模基本问题的可靠性建模思想。给出基于失效过程的软件可靠性定义,以及一种基于"任务-事件-功能"的软件体系结构准则,进行了形式化描述和理论证明。阐述从功能可靠... 依据软件可靠性特征,提出以解决软件开发逻辑思维正确性为建模基本问题的可靠性建模思想。给出基于失效过程的软件可靠性定义,以及一种基于"任务-事件-功能"的软件体系结构准则,进行了形式化描述和理论证明。阐述从功能可靠性、事件可靠性到任务可靠性的分层可靠性预计方法,在建模中融合了软件可靠性设计以及软件测试和管理。 展开更多
关键词 软件可靠性模型 软件工程 软件测试
在线阅读 下载PDF
基于TestQuest的嵌入式软件可靠性测试环境框架研究 被引量:4
15
作者 王乾宇 朱小冬 +1 位作者 王毅刚 李想 《中国测试》 CAS 北大核心 2012年第1期106-109,共4页
嵌入式软件是软件中最难测试的一种软件,该文提出了一种嵌入式软件可靠性测试环境框架,分析了嵌入式软件测试与普通软件测试的异同。针对嵌入式软件难于测试的问题,运用仿真测试和自动化测试方法,并利用TestQuest工具辅助构建环境,重点... 嵌入式软件是软件中最难测试的一种软件,该文提出了一种嵌入式软件可靠性测试环境框架,分析了嵌入式软件测试与普通软件测试的异同。针对嵌入式软件难于测试的问题,运用仿真测试和自动化测试方法,并利用TestQuest工具辅助构建环境,重点介绍了框架中各个模块的功能、实时控制器的分层结构实现、上位机与实时控制器的通信协议编写方法,最后通过实例验证该平台有良好的适应性和易操作性。 展开更多
关键词 嵌入式软件测试 可靠性测试环境 软件分层结构 TestQuest自动测试工具
在线阅读 下载PDF
采用有限状态机实现控制指令的可靠检测 被引量:21
16
作者 施先旺 刘婷婷 李国良 《火箭推进》 CAS 2011年第5期63-68,共6页
采用有限状态机设计了一种控制指令检测方法,确保发动机工作状态的可靠控制。介绍了控制指令特征及检测要求,提出了基于有限状态机的检测方法,说明了软件设计,并给出了测试、验证方法及结果。有限状态机模型有助于解决复杂的实时性问题。
关键词 有限状态机 时序控制 发动机控制系统 软件可靠性
在线阅读 下载PDF
软件可靠性专家系统(SRES)中经验模型的奇异性问题与参数估计方法 被引量:5
17
作者 徐仁佐 张健 +1 位作者 刘莲君 何平 《计算机学报》 EI CSCD 北大核心 1998年第2期145-153,共9页
本文作者以“一切让数据说明问题”为原则,采用人工智能技术,开发出软件可靠性专家系统SRES(SoftwareReliabilityExpertSystem),根据统一的标准,通过对一组软件可靠性模型SRM(SoftwareReliabilityModels)的拟合结果,经过推理... 本文作者以“一切让数据说明问题”为原则,采用人工智能技术,开发出软件可靠性专家系统SRES(SoftwareReliabilityExpertSystem),根据统一的标准,通过对一组软件可靠性模型SRM(SoftwareReliabilityModels)的拟合结果,经过推理,得出一个“最适”模型,推荐给用户,作为估测该软件系统的一个“标准模型”,同时为软件开发方和使用方所接受,以解决软件可靠性模型应用中的不一致性难题.在开发SRES的过程中,我们选用的经验模型有三个经分析具有奇异性,增大了对它们的参数进行估计的难度.针对这些,本文研究并报告软件可靠性专家系统中经验模型的奇异性问题与参数估计方法. 展开更多
关键词 软件可靠性 专家系统 奇异性 参数估计
在线阅读 下载PDF
软件可靠性测试方法探析 被引量:5
18
作者 张广梅 李晓维 《计算机应用》 CSCD 北大核心 2004年第4期28-30,共3页
在软件可靠性测试中,测试结果会受测试用例的影响。为得到最佳的测试结果,文中提出了基于运行剖面的公平选择测试用例的原则,在此基础上,建立测试用例集,进行软件可靠性测试,目的是对软件的可靠性进行验证。文章最后给出了利用软件的运... 在软件可靠性测试中,测试结果会受测试用例的影响。为得到最佳的测试结果,文中提出了基于运行剖面的公平选择测试用例的原则,在此基础上,建立测试用例集,进行软件可靠性测试,目的是对软件的可靠性进行验证。文章最后给出了利用软件的运行剖面和软件失效数据进行软件可靠性评估的方法。 展开更多
关键词 软件可靠性测试 软件运行剖面 软件可靠性评估
在线阅读 下载PDF
数控机床马尔可夫过程下的超单元可靠性建模技术 被引量:4
19
作者 刘英 康丽娜 +1 位作者 王扬 余武 《机械科学与技术》 CSCD 北大核心 2016年第2期247-252,共6页
将数控机床按其功能层次划分为主系统与辅助系统。研究了主系统与辅助系统之间的关系,提出超单元可靠性建模技术概念,将辅助系统以超单元的形式嵌入到关联主系统的可靠性模型中,并建立了基于马尔可夫过程的数控机床主系统动态可靠性分... 将数控机床按其功能层次划分为主系统与辅助系统。研究了主系统与辅助系统之间的关系,提出超单元可靠性建模技术概念,将辅助系统以超单元的形式嵌入到关联主系统的可靠性模型中,并建立了基于马尔可夫过程的数控机床主系统动态可靠性分析数学模型,降低了系统的状态空间。在此基础上,假设各主系统为相互独立的模块,采用克罗内克方法对数控机床的整机稳态可靠性指标进行计算。最后,以某型号数控外圆磨床为例,通过实际数据求解其可靠性指标,分析其可靠性状况,验证了模型的正确性和适用性。 展开更多
关键词 数控机床 超单元 动态可靠性 马尔可夫过程 克罗内克方法
在线阅读 下载PDF
软件测试与软件可靠性之间的关系 被引量:4
20
作者 宫云战 高文玲 《同济大学学报(自然科学版)》 EI CAS CSCD 北大核心 2002年第12期1529-1531,共3页
根据软件可靠性理论 ,论述了软件测试和软件可靠性之间的关系 ,即根据给定的测试方法和测试时间来计算软件的可靠性 .首先分析了随机测试和软件可靠性之间的关系 ,然后根据软件可靠性的性质 。
关键词 软件测试 软件可靠性 可靠性评估
在线阅读 下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部