一個體導向軟體複雜度的測法與證實之研究

Abstract

軟體複雜度的測量,在Procedural language上已取 得相當的成果,在此等語言的程式之測量法主 要基於下述兩種:(1)Halstead的軟體科學(Software science);(2)Henry和Kafura的資料流(Informationflow).隨 著物體導向語言與程式的日益蓬勃,測量物體 導向程式的複雜度與品質以測定其是否值得使 用或再利用日顯重要.這幾年來在此方面的研 究有下列三組:(1)Cheatham等人根據軟體科學提出 一套計算公式;(2)Jenson根據參數(Parameter)估計的 方法;(3)Kemerer等人提出一Class的測量值乃由其 Compoment值合計;(4)我們根據資料流提出一套計 算公式.我們歸結這四組研究,有下述缺陷:(1)除 了第三組之外,均無理論相對的實證;(2)這四組 都沒有對實際的程式做實驗證實;(3)除了我們 這一組之外,其餘只考慮到Class/Method的複雜度, 似嫌太小.我們本年度的計畫,即在根據我們所 提的測量公式:(1)根據Kemerei所提出的驗證方法 及Weyuker之理論模式來驗證我們的計算公式;(2)根據a.軟體發展之代價;b.軟體維護之代價,來設 計一套實驗的步驟,並邀請(有償)各種程度的學 生來參與這一實驗,以證實前述三組測量方法 的精確度(非準確度).我們同時也將根據(1)□(2) 之結果,依次研究討論或修正我們的公式,以期 能達到最精確的效果.