-
题名高可靠性软件的极值统计分析
被引量：2
- 1
-
-
作者
陈云
张志华
-
机构
海军工程大学理学院
-
出处
《海军工程大学学报》
CAS
北大核心
2005年第2期95-99,共5页
-
文摘
提出了极值统计分析的方法.对于失效数据极值分布函数的拟合检验,采用了相关系数法;对于母体分布的参数估计,则分别采用了最小二乘估计(LSE)和极大似然估计(MLE);最后通过一个实例说明了统计过程,并用模拟的方法证明了最小二乘估计较好.
-
关键词
软件可靠性
高可靠性软件
软件可靠性增长模型
极值统计
失效时间
-
Keywords
software reliability
highly reliable software
software reliability growth model
statistics of extremes
time to failure
-
分类号
O213.2
[理学—概率论与数理统计]
-
-
题名循环不变式开发技术研究
被引量：5
- 2
-
-
作者
万松松
薛锦云
谢武平
-
机构
江西师范大学省高性能计算重点实验室
江西科技师范学院
中国科学院软件研究所计算机科学重点实验室
-
出处
《计算机工程与科学》
CSCD
北大核心
2010年第9期84-88,94,共6页
-
基金
国家自然科学基金资助项目(60773054)
国家973计划资助项目(2003CCA02800)
科技部国际科技合作项目(2008DFA11940)
-
文摘
高可靠性软件是当今软件开发的热点问题。确保算法程序逻辑结构正确最理想的途径是算法程序的形式化推导和证明,而循环不变式是算法程序形式推导和证明的关键。循环不变式的开发一直是算法程序设计领域中最具挑战性、最富有创造性、也是最困难的问题之一。本文研究了众多现有循环不变式开发方法中较为典型的几种方法,指出了它们的基本原理、技术难点、特点及效果,旨在探寻循环不变式本质特征,从而为研究更简单、有效的生成方法提出指导。
-
关键词
循环不变式
PAR方法
高可靠性软件
谓词抽象
-
Keywords
loop invariant
PAR method
high-reliability software
predict abstract
-
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
-
