计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2015年
z1期
519-524
,共6页
刘金卓%于倩%赵娜%谢仲文%郁湧%杭菲璐%金运志
劉金卓%于倩%趙娜%謝仲文%鬱湧%杭菲璐%金運誌
류금탁%우천%조나%사중문%욱용%항비로%금운지
软件演化过程%结构验证%关联矩阵%白盒建模%结构性质
軟件縯化過程%結構驗證%關聯矩陣%白盒建模%結構性質
연건연화과정%결구험증%관련구진%백합건모%결구성질
Software evolution process%Structure verification%Incidence matrix%White box modeling%Structure properties
软件演化过程领域将软件演化和软件过程领域联系起来,为了适应新的需求和新的环境,越来越多的软件演化过程模型被建模出来.针对软件演化过程模型结构合理性验证还没有有效实现的问题,对基于白盒建模的软件演化过程模型的结构性质进行了验证,其中包括结构有界性、可重复性和守恒性等,采用了关联矩阵的方法,证明了通过白盒建模得到的软件演化过程模型自身具备着非常优良的结构性质,提高了软件演化过程的质量.
軟件縯化過程領域將軟件縯化和軟件過程領域聯繫起來,為瞭適應新的需求和新的環境,越來越多的軟件縯化過程模型被建模齣來.針對軟件縯化過程模型結構閤理性驗證還沒有有效實現的問題,對基于白盒建模的軟件縯化過程模型的結構性質進行瞭驗證,其中包括結構有界性、可重複性和守恆性等,採用瞭關聯矩陣的方法,證明瞭通過白盒建模得到的軟件縯化過程模型自身具備著非常優良的結構性質,提高瞭軟件縯化過程的質量.
연건연화과정영역장연건연화화연건과정영역련계기래,위료괄응신적수구화신적배경,월래월다적연건연화과정모형피건모출래.침대연건연화과정모형결구합이성험증환몰유유효실현적문제,대기우백합건모적연건연화과정모형적결구성질진행료험증,기중포괄결구유계성、가중복성화수항성등,채용료관련구진적방법,증명료통과백합건모득도적연건연화과정모형자신구비착비상우량적결구성질,제고료연건연화과정적질량.
