【摘 要】
：
软件可靠性增长测试是公认的实现软件可靠性增长以满足软件可靠性定量要求的重要手段,但数量庞大的测试用例往往成为其在实践中进行大规模推广和应用的瓶颈。通过在传统软件
【机 构】
：
北京航空航天大学可靠性与系统工程学院,中国兵器工业第五九研究所
论文部分内容阅读
软件可靠性增长测试是公认的实现软件可靠性增长以满足软件可靠性定量要求的重要手段,但数量庞大的测试用例往往成为其在实践中进行大规模推广和应用的瓶颈。通过在传统软件可靠性增长测试中引入覆盖率信息的方法来降低可靠性增长测试中需要执行的测试用例数量,从而加快可靠性测试进程,并解决其在实际中不能应用的弊端。通过实践的尝试,希望架起软件可靠性理论研究与工程实践之间的桥梁,以推动软件可靠性工程活动在工程实际中的开展和应用。
其他文献
目的:着重研究扶正消风汤联合吉非替尼对比吉非替尼单药治疗ⅢB-Ⅳ期肺腺癌近期临床疗效,观察治疗期间中医证候改善情况、不良反应发生情况,并评估细胞免疫功能、Kamofsky评分变化。为扶正消风汤联合吉非替尼治疗ⅢB-Ⅳ期肺腺癌提供有利的理论支持和临床依据,为研制增效、减毒、安全、简便的中药制剂提供新的思路。方法:采用随机对照的临床实验研究方法,将50例ⅢB-Ⅳ期表皮生长因子受体(EGFR)突变阳性且
并网变流器具有功率双向调节、有功功率和无功功率独立控制等优点,被广泛应用于分布式新能源并网发电、柔性交流输电设备、能量制动回馈交流电机驱动等系统中。其中,电流调节
随着我国经济实力的不断提升,世界对中国日益关注。近年来,我国对外传播事业发展迅速,中国在世界上的影响力公信力大大提升。但与世界传媒大国相比,我国对外传播能力特别是在
科技的飞跃发展,网络已经全面普及,作为新一代大学生的我们更是对网络了如指掌。网络已经深入到我们生活的各个方面,它作为高科技产物不仅对我们的生活有着很大的影响,同时也
<正>王克勤教授多年致力于中医心理学基础理论的研究与临床,诊治心理疾病及精神疾病积累了丰富的临床经验。本文通过整理跟师笔记、授课讲稿等,整理王师治疗癫、狂、郁病、脏
目的:本研究通过HUC-MSCs细胞与舌鳞癌(tongue squamous cells carcinoma,TSCC)细胞Cal-27共培养、CCK-8试剂盒测细胞增殖实验、Western blot法,探讨体外环境下HUC-MSCs对舌
本文分别从一段转化炉水／碳比控制、合成氨氢／氮比控制、一段转化炉出口温度控制、合成驰放气控制、辅锅燃烧控制等几个方面综述了ＣＥＮＴＵＭ集散控制系统在大型合成氨装置中的应用。
本文在国外绩效评价模型的基础上,设计、开发了针对中国企业员工的个人绩效评价量表,并通过项目分析、信度检验和效度检验等多种手段对量表进行修正,最终形成了符合企业实际
研究背景:慢性心力衰竭(Chronic heart failure,CHF)是心血管内科疾病之一,是大多数心脏病的最终归宿和死亡的主要原因,其高发病率和高病死率使人类身体健康风险承受巨大挑战