軟體的困難本質.pptVIP

程式碼鑑賞 師大資工 鄭永斌副教授 軟體的困難本質 Complexity Conformity Changeability Invisibility （抽象化） Complexity 非其他創作能比擬 沒有兩個部分是一樣的 However, in hardware, building, automobile construction, they can 大量的重複使用零件 Digital computer 比大部分人們建造的東西要更複雜 有一大堆狀態 使得理解，描述，測試都非常困難 軟體系統的狀態又比 digital computer 多出幾個數量級 When scaling up 雖然有少數同樣的元素可以重複使用 不同元素的數量也勢必增加 彼此的交互作用成指數性成長 其他科學的突飛猛進緣由 數學與物理學的三世紀的突飛猛進 由複雜現象─ model 簡單的模型 這種方式之所以行的通，是因為模型中所排除掉的複雜性非現象的本質，如果這些複雜性是屬與本質上的特性，就行不通了 軟體的老問題來自於複雜的本質以及複雜性隨著軟體規模呈非線性成長的特性 我們對付的問題是複雜性本身 功能上的複雜性 結構上的複雜性 使程式擴充新功能時，難保不會產生副作用 Conformity (配合性） changeability 其他製造業的產品雖然必須面對改變的壓力，不過量產之後很少更動，只有會背後來的新型產品所取代 產品回收，現場變更(field change),頻率都比軟體來的非常非常低 Invisibility You cannot see You cannot touch A building blue print 可以幫助建築師與客戶一起評估空間動線與景觀 機械零件比例圖，化學粒子棒線圖模型都達到類似的效果 軟體的本質與空間沒有關係，所以沒有什麼幾何表示法可用 Software 的表示圖 可能是許多 directed graphs 這些圖可表現control flow, data flow, relation, temporal relation, namespace … etc. 通常不是2D，也少有階層性 由於軟體開發少了強大的概念性工具的意圖，不僅阻礙了一個人腦袋所進行的設計過程，更會嚴重阻礙不同大腦之間的溝通 How about UML? OK，now what? 軟體有抽象的本質 軟體有看不到的本質 軟體有難以描述的本質 請問軟體開發有藝術的成分在嗎？ 程式碼鑑賞 程式設計有藝術的成分在嗎？ 軟工的研究顯示 另外一個研究顯示 成為高手與庸手與年資經驗沒有絕對關係 Yes 我們認為寫軟體有藝術的成分在 藝術的東西 有時只能意會不能言傳 有學過畫畫等藝術的東西嗎？請問你怎麼學的？ 上過藝術鑑賞這種課程嗎？ 通常藝術的傳授一定會配合藝術的鑑賞 AND？ 你看過多少別人的程式碼？（教科書的片段程式碼不算） 你知道什麼樣的程式碼是好的？ 你知道什麼樣的程式碼是壞的？ 我們先來看看壞的 Spaghetti Code Lasagna code Lasagna code is used to describe software that has a simple, understandable, and layered structure. Lasagna code, although structured, is unfortunately monolithic and not easy to modify. An attempt to change one layer conceptually simple, is often very difficult in actual practice. Ravioli code In ravioli code, each of the components, or objects, is a package containing some meat or other nourishment for the system; any component can be modified or replaced without significantly affecting other components. The ideal software structure is one having components that are small and loosely coupled; this ideal structure is called ravioli code. Now, let’s look at some spaghetti code