-
题名基于构件的软件可靠性分析
被引量:5
- 1
-
-
作者
樊林波
吴智
赵明
-
机构
贵州大学贵州省可靠性工程研究中心
-
出处
《计算机科学》
CSCD
北大核心
2007年第5期266-268,共3页
-
基金
国家自然科学基金项目(60473054)
-
文摘
现代软件工程的一个重要目标是实现聚合性和重用性,构件技术就是以此为目标的。随着该技术的快速发展,以构件设计复杂软件系统的软件开发方法日趋成熟。但是基于该技术的软件可靠性分析却比较落后。目前,在这领域的研究中,多数是使用软件可靠性增长模型(SGRM),对于软件系统的可靠性预测研究较少。在已有的文献中,给出了基于组件的具有层次结构的系统可靠性预测分析,但没有考虑模块之间循环调用的可靠性问题。循环调用在软件中是经常发生的事件,对软件系统的可靠性具有举足轻重的作用。本文在对已有模型的不足进行分析后,增加了循环调用的可靠性预测分析,建立了一个较为全面的系统可靠性预测分析模型。
-
关键词
构件
软件可靠性
依赖关系
可靠性预测
循环调用
-
Keywords
Component-based technology, Software reliability, Reliability prediction, Dependent relation
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件可靠性与安全性的区别分析及其证明
被引量:5
- 2
-
-
作者
樊林波
吴映程
赵明
代碧锋
-
机构
贵州大学贵州省可靠性工程研究中心
遵义师范学院计算机科学系
瑞典耶夫勒大学技术系
西南大学新闻文化中心
-
出处
《计算机科学》
CSCD
北大核心
2008年第9期285-288,共4页
-
基金
国家自然科学基金项目(60473054)
-
文摘
可靠性和安全性是软件质量中的重要属性[1,2]。虽然文献[3-7],都从不同的角度给出了二者之间的区别和联系,但对这两者之间关系的认识是不一致的。在实践中,如何区分二者的关系还停留在一般性的描述上,没有统一的认识。本文从它们的基本概念着手,重新对二者的基本概念进行抽象描述,进行本质探析后给出二者之间的区别和联系,并对得出的结论给予了证明。
-
关键词
软件可靠性
软件安全性
形式化描述
可靠性与安全性的关系
-
Keywords
Software reliability, Software safety,Formal method, Relationship between reliability and safety
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于NHPP类模型的Web软件可靠性分析
被引量:1
- 3
-
-
作者
杨剑锋
赵明
胡文生
-
机构
贵州大学计算机科学与信息学院
贵州大学贵州省可靠性工程研究中心
贵州大学理学院
-
出处
《计算机工程》
CAS
CSCD
2012年第14期26-28,共3页
-
基金
全国统计科研基金资助项目(2009LZ009)
贵州省自然科学基金资助项目(黔科合J字[2009]2128号)
-
文摘
结合Web软件运行的实际情况,提出一种基于BurrX测试工作量函数(TEF)的非齐次泊松过程类软件可靠性增长模型(SRGM),并将其应用到Web软件可靠性分析中。TEF能直接体现Web软件工作量与日历时间之间的关系,解决Web软件因工作量高度不均衡导致的问题。实验结果表明,与G-O模型相比,SRGM具有较好的Web软件可靠性评估效果,能较准确地描述Web软件运行的失效过程。
-
关键词
WEB软件
测试工作量函数
非齐次泊松过程
软件可靠性增长模型
Web工作量
失效过程
-
Keywords
Web software
Testing Effort Function(TEF)
Non-homogeneous Poisson Process(NHPP)
Software Reliability Growth Model (SRGM)
Web workload
failure process
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名指数型寿命分布的贮存-使用模型可靠性评估方法
被引量:3
- 4
-
-
作者
蔡静
赵明
-
机构
贵州民族大学理学院
贵州省可靠性工程研究中心
-
出处
《济南大学学报(自然科学版)》
CAS
北大核心
2013年第2期205-207,共3页
-
基金
国家自然科学基金(70571018)
国家民委科研项目(10GZ08)
国际科技合作计划项目(2012GZ23341)
-
文摘
讨论贮存寿命和使用寿命均为指数分布的情况下,贮存-使用模型可靠性评估方法。引入"状态等效因子函数",将贮存时间转化为使用时间,给出贮存后再使用的平均剩余寿命计算公式,对贮存一定时间后使用给定时间的贮存可靠性置信下限进行估计,并举例验证该方法的适用性。
-
关键词
贮存-使用模型
状态等效因子函数
平均剩余寿命
置信下限估计
-
Keywords
storage-usage model
state equivalent factor function
average residual lifetime
confidence lower limits of reliability
-
分类号
O211.3
[理学—概率论与数理统计]
-
-
题名基于灰色聚类算法的需求分析
被引量:5
- 5
-
-
作者
胡文生
杨剑锋
赵明
-
机构
贵州理工学院信息工程学院
贵州大学贵州省可靠性工程研究中心
瑞典瑞典耶夫勒大学技术系
-
出处
《计算机科学》
CSCD
北大核心
2016年第S1期471-475,共5页
-
基金
贵州省科技合作计划项目(黔科合LH字[2015]7105)
贵州省科学技术基金(黔科合J字[2015]2064)资助
-
文摘
James Martin等人的研究成果表明软件产品的大部分故障来源于需求阶段。为了提高软件产品的质量,保证软件需求规格说明(Software Requires Specification,SRS)的一致性、正确性、无歧义就显得尤为重要。利用自然语言处理技术,通过对软件需求规格说明中功能性需求语句进行词语划分并做词性标注,将每个功能需求语句转换为由关键词构成的权重向量,结合灰色聚类算法最终实现将功能语义相似的需求语句聚合在一起,从而达到需求分类的目的。分类的结果不仅方便需求分析人员进行需求审查,同时也方便软件开发人员进行软件编程以及维护人员对软件系统的修改和变更。
-
关键词
需求
软件需求规格说明
软件故障
聚类
-
Keywords
Requires
Software requires specification(SRS)
Software fault
Clustering
-
分类号
TP311.53
[自动化与计算机技术—计算机软件与理论]
TP311.13
[自动化与计算机技术—计算机软件与理论]
-