切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
软件可靠性加速测试方法研究
软件可靠性加速测试方法研究
来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:JK0803_zhoukaijun
【摘 要】
:
文章介绍和分析了国内外有关软件可靠性加速测试的概念和特点.对国内外安全关键软件的可靠性加速测试方法和基于灰盒的软件可靠性加速测试方法的研究成果和进展进行了分析、总
【作 者】
:
吴玉美
陆民燕
阮镰
【机 构】
:
北京航空航天大学工程系统工程系
【出 处】
:
计算机工程与应用
【发表日期】
:
2006年8期
【关键词】
:
软件可靠性
软件可靠性加速测试
加速因子
灰盒
安全关键软件
software reliability
software reliability acceler
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
文章介绍和分析了国内外有关软件可靠性加速测试的概念和特点.对国内外安全关键软件的可靠性加速测试方法和基于灰盒的软件可靠性加速测试方法的研究成果和进展进行了分析、总结和论述,探讨了软件可靠性加速测试中存在的问题和难点并对其发展前景进行了展望。
其他文献
高校思政教育与党建工作协同发展的思考
进入21世纪,国内高校的党建工作和思想政治教育发生了极大的变化,高校教育的主要目标就是为国家培养社会型人才,促进社会的变革与发展。本文对国内部分高校党建和思想政治教
期刊
高等院校
党建工作
思想政治教育
协同发展
基于景观交互性设计的居住区户外儿童活动空间设计研究
居住区户外儿童活动空间是儿童户外活动、游戏、交往的生活的主要载体,是儿童参与性较高的场所。通过对居住区户外儿童活动空间为研究对象,结合儿童群体特征和儿童户外游戏活
期刊
景观交互性
户外空间
游戏
居住区
循环不变式开发新策略及其应用
循环不变式体现了循环程序的本质特征,在算法程序的开发、证明和推导中具有十分重要的作用。而传统的循环不变式开发策略并没有很好地解决循环不变式开发难的问题。文章在阐述
期刊
循环不变式
算法程序
形式化方法
PAR方法
loop invariant
algorithm program
formal method
PAR method
土地整理的资源与经济效益评估方法
我国土地面积广阔,但是人口基数大,人均土地面积占有量小。尤其近几年随着人口的不断增加和城市化建设的加快。土地紧缺问题日益严重,土地矛盾问题不断激化。因此,对土地进行
期刊
土地整理
经济效益
效益评估
基于门控循环单元神经网络的PM2.5浓度预测
文章首先针对延安市市监测站单站点观测数据与PM2.5的关系,从中抽取了影响PM2.5较为明显的14组特征数据。依据所抽取的数据,利用LSTM深度神经网络的一种变体GRU建立了未来数
期刊
PM2.5浓度预测
LSTM
GRU
机器学习
循环神经网络
prediction of PM2.5 concentrationLSTMGRUmachine l
基于布尔置换的ElGamal体制
在现有的公钥密码系统中。大部分算法有信息膨胀的缺点。文章根据布尔置换的特点对ElGamal体制进行了改进。使信息的膨胀率降低,并且新体制可以避免一些原有的攻击。
期刊
ELGAMAL体制
ELGAMAL签名
布尔置换
ElGamal Cryptosystem
ElGamal signature
Boolean permuta
综合信息矿产资源预测方法浅述
综合信息成矿预测方法以地物化遥多元地学信息为基础,有机地结合各类信息分析成矿地质背景,在此基础上建立综合信息找矿模型,并将地质模型转化为统计性数学模型,然后运用数学
期刊
单矿种
找矿模型
综合信息
矿产资源预测
萨维尔高级定制:与绅士之间只差一件西装
无论是经典007系列,还是汤叔耍帅的《碟中谍》N部曲,抑或今年新上档的《王牌特工》,这类电影里必不可少的元素是什么?是稀奇古怪的道具,肤色各异的美女,还是威力无边却仍旧邪不压正
期刊
西装
定制
BOSS
王牌
道具
肤色
光泽
面料
何处柴火香
大年二十八还不是放假的时候,大姐就急忙忙飞回了重庆,与家人一年一次的聚首,时间自然是越长越好。重庆人回来的第一顿必然是火锅,这似乎是不成文的规定,对大姐来说也不例外,尽管在
期刊
散文
文学
文学作品
现代文学
出栈序列的性质及其求解新算法
设集合N={1,2,3,…,n},N中的元素按次序1、2、3、…、n入栈,所有不同的出栈序列的集合记为S[1,2,3,…,n]。论文讨论了出栈序列的性质,通过新的计数方法证明了|S[1,2,3,…,n]|=1/n+1(n^2n),并给出了
期刊
栈序列
算法
递归
stack numbers
algorithm
recursion
与本文相关的学术论文