-
题名基于EPMM的软件过程行为偏离诊断研究
- 1
-
-
作者
朱锐
李彤
莫启
张璇
王一荃
林雷蕾
代飞
-
机构
云南大学软件学院
云南省软件工程重点实验室(云南大学)
-
出处
《计算机科学》
CSCD
北大核心
2014年第11期56-62,共7页
-
基金
国家自然科学基金项目(60963007
61262024
+5 种基金
61262025)
云南省自然科学基金项目(2007F008M)
云南大学软件学院学科建设基金资助项目(2010KS01)
云南省软件工程重点实验室开放基金项目(2010KS01)
云南大学研究生科研课题项目(ynuy201265
ynuy201375)资助
-
文摘
近年来,随着对PSEE认识的深入,人们逐渐发现实际观察到的过程执行往往和实施的过程模型之间存在一定的偏离(deviation),从而导致PSEE对于实际软件开发活动失去了指导意义。针对软件过程偏离问题,以软件演化过程元模型(EPMM)为基础,在软件过程偏离发现方面,借鉴进程代数的弱互模拟思想,提出过程行为空间表达式,用以构造软件过程的行为空间来检测过程偏离;在软件过程偏离处理方面,提出过程偏离类型的划分及偏离处理策略。这种方法能够发现软件过程实施中普遍存在的过程偏离问题并加以处理来改进软件过程,最终提高软件产品质量。
-
关键词
软件过程
行为偏离诊断
软件演化过程元模型
软件过程行为空间
进程代数
-
Keywords
Software process
Behavior deviation diagnostic
EPMM
Software process behavior space
Process algebra
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种安全性关键软件的评估模型
被引量：1
- 2
-
-
作者
姜梦霞
江国华
-
机构
南京航空航天大学计算机科学与技术学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2015年第10期130-138,143,共10页
-
文摘
安全性关键软件影响生命财产安全,必须有定量评估模型来反映此类软件的安全性。传统安全性定量评估通过改进可靠性模型并将软件看作整体评估,而未探究软件失效本质,不能很好地评估软件行为安全性。为此,基于软件失效本质及对安全性关键场景的研究,提出软件交互行为模型,给出从各软件运行条件的关系中构造交互模式依赖图的方法,设计基于软件过程行为的安全性评估模型。实例分析表明,该模型能识别出所有软件过程行为及其发生率、失效率,为每个过程行为赋予风险指数,并计算得到整体的软件风险指数。
-
关键词
安全性关键软件
软件交互行为模型
交互模式依赖图
安全性评估模型
软件过程行为
-
Keywords
safety-critical software
Software Interbehavior Model（SIBM）
Interraction Mode Dependency Graph（IMDG）
safety evaluation model
software process behavior
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
