-
题名基于关联矩阵的软件演化过程结构验证
- 1
-
-
作者
刘金卓
于倩
赵娜
谢仲文
郁湧
杭菲璐
金运志
-
机构
云南大学软件学院
云南大学云南省软件工程重点实验室
云南电网有限责任公司信息中心
-
出处
《计算机科学》
CSCD
北大核心
2015年第S1期519-524,共6页
-
基金
国家自然科学基金(61262024
61462091
+9 种基金
61462095
61462092)
云南省自然科学基金(2014FD006
2012FB119
2013FB008)
云南省教育厅科学研究基金(2013Z057
2014Y012
2011Y121)
云南省软件工程重点实验室开放基金(2012SE401
2012SE308)资助
-
文摘
软件演化过程领域将软件演化和软件过程领域联系起来,为了适应新的需求和新的环境,越来越多的软件演化过程模型被建模出来。针对软件演化过程模型结构合理性验证还没有有效实现的问题,对基于白盒建模的软件演化过程模型的结构性质进行了验证,其中包括结构有界性、可重复性和守恒性等,采用了关联矩阵的方法,证明了通过白盒建模得到的软件演化过程模型自身具备着非常优良的结构性质,提高了软件演化过程的质量。
-
关键词
软件演化过程
结构验证
关联矩阵
白盒建模
结构性质
-
Keywords
Software evolution process,Structure verification,Incidence matrix,White box modeling,Structure proper-ties
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
