2004年 應(yīng)用技術(shù)
中期階段 （1）提出了一種并發(fā)程序切片算法，較好地解決了并發(fā)程序依賴性的不可傳遞性問題，在多項(xiàng)式時(shí)間內(nèi)獲得了比較精確的切片。提出了一種新的面向?qū)ο蟪绦蚯衅椒ǎ梢暂^好的處理面向?qū)ο蟪绦虻奶匦浴Ｌ岢隽艘环N漸增式的依賴性分析方法用于大型程序切片。將程序切片技術(shù)應(yīng)用于軟件可測(cè)試性分析，提出了一種模塊級(jí)的可測(cè)試性分析方法。
（2）從多個(gè)方面研究了內(nèi)聚性和復(fù)雜性。把信息論和圖論結(jié)合起來(lái)，提出了類... 
|
微信公眾號(hào)
服務(wù)熱線
微信公眾號(hào)
服務(wù)熱線
