软件可靠性与安全性理论模型及应用

来源 :贵州大学 | 被引量 : 1次 | 上传用户:qingtianleng
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
从上个世纪80年代以来,随着软件开发和软件工程的不断发展,越来越复杂的软件被引用到越来越多的领域。这使人们不得不开始考虑这些不同软件的质量问题。在软件质量的众多评测标准中,软件可靠性是最重要的一个[6],而软件安全性是最难预测的。 软件可靠性和安全性是软件质量最重要的属性,本文主要内容为用数学的随机过程知识(非齐次泊松过程NHPP)建立软件可靠性模型并利用其思想研究了一个新的软件安全性模型的建立问题。本文包括了相关统计学知识的介绍,如:随机过程知识和NHPP已取得的研究成果的介绍,现有的软件可靠性模型类型介绍等。 另外,本文给出了软件安全性的定义并把它和网络的软件安全性进行了比较。用数学的观点考虑他们的差异性。 由于文章要建立的模型有一定的实际背景,所以建立了一个在已有模型上的更符合实际的新的数学模型。最后用图形的方法,具体的数据,对这个模型和已有模型进行了优劣性的比较。通过这个模型我们发现要预测软件安全性仅仅靠软件可靠性测试所得数据一般是不能得到很好的预测的,而需要针对安全性的测试。这说明现有的一般的安全性估计模型还需要更多的研究和修正。
其他文献
分类问题一直是机器学习领域的重要问题之一.对于分类模型,研究者除了致力于分类器的构造和优化外,也专注于对影响分类效果的各种因素的探究.而数据集的重叠问题和不平衡问题是
本文对线性规划的最钝角CRISS-CROSS算法进行了研究。文章认为,Zionts求解线性规划问题的criss-cross算法是一个无须初始可行基的主元算法,它交替地进行原始和对偶迭代。随之,Ch
本论文主要的研究内容是矢量量化模型的语者鉴定的改进和应用。语者鉴定是根据人的声音来鉴定人的一种生物认证技术,有十分广阔的应用前景。矢量量化模型有着可将大量数据进
学位
本文主要研究一个各向异性非协调Crouzeix-Raviart型元对Stokes特征值问题和Morley元对曲率障碍变分不等式问题的有限元逼近。对于Stokes特征值问题本文不仅得到了征值对的最
在精算学、可靠性理论、许多临床试验、长期的研究中,经常会遇到有关时间的估计和预测问题.例如,估计人的寿命分布、机器的寿命分布、癌症病人的定期回访等等.将这些不同的领域
本文的研究内容分为四个部分:第一,研究了延迟积分微分方程的延迟依赖稳定性和θ放法的数值延迟依赖稳定性;第二,研究了延迟积分微分代数方程的Runge-Kutta方法的稳定性;第三,研究