【摘 要】
：
阐述了软件可靠性测试及其加速方法,并对现有的加速方法进行深入分析和总结,将现有方法分为基于改变剖面概率的方法、基于灰盒分析的方法和基于多种测试信息的方法3类并进行
【基金项目】
：
航空科学基金项目（20080241005）
论文部分内容阅读
阐述了软件可靠性测试及其加速方法,并对现有的加速方法进行深入分析和总结,将现有方法分为基于改变剖面概率的方法、基于灰盒分析的方法和基于多种测试信息的方法3类并进行比较。在此基础上,分别从提高输入强度、化简软件结构和输入以及提高置信水平3个方面进行了可靠性测试加速方法机理分析,得出基于改变剖面概率的方法只能起到部分加速作用,而其它两类方法可以起到整体加速作用,最后讨论了软件可靠性测试加速方法未来有前景的研究方向。
其他文献
为了使传统的关联规则挖掘算法在结合到具体领域时具有更强的适应性,提出了DS-Apriori算法。该算法建立在语义本体的基础上,根据项集内部的语义相关度动态的确定该项集的最小
以中国学术期刊网络出版总库的核心期刊为数据源．调查2001—2011年少儿图书馆学术论文287篇，使用SPSS软件对高频关键词的共词矩阵、相关矩阵、相异矩阵进行统计分析，指出少儿阅
在多处理器实时系统中，由于调度的不规则性，系统的可预测性判定问题尤为重要。针对多处理器系统中实时任务调度的可预测性问题，给出了不可预测的实时任务集反例，证明了一种可预测
为解决异构数据库之间的数据交换问题，设计并实现了基于数据库的数据交换系统，其中数据库变化的捕获是该系统中的重要部分。通过分析比较现有的数据库变化捕获方法，提出了一种基
豁达──现代领导者的基本素质侯永福一位哲人曾经说过：豁达是人类性情的空间，这个空间愈大，人的性情就愈有回旋的余地。豁达的人，对待事物常常“不以物喜，不以己悲”；对待名利常常
建立健全领导班子协调运转的保证机制史明法领导班子的协调运转，需要健全的制度体系来保证，因为＂制度问题更带有根本性、全局性、稳定性和长期性＂。从目前领导班子建设情况看，尤应
将基于SOAP通信的Web Services技术引入到木马通信中，提出了一种基于Web Services的新型木马通信模型。在该模型中，木马通信的C／S结构升级为B／S，控制主机可通过因特网随时随地对被