基于抽象文法的通用程序理解架構(gòu)研究_羅玉玲

　　軟件是一個整體，可以從各個側(cè)面進行理解和分析。有大量的技術(shù)方法和工具為程序理解提供幫助。這些工具和方法包括： 程序分片、聚類、架構(gòu)恢復(fù)、依賴關(guān)系提取、相似度分析、組件恢復(fù)、動態(tài)分析、靜態(tài)分析、概念分析、設(shè)計模式恢復(fù)、圖形化模擬、反向工程、文檔關(guān)聯(lián)恢復(fù)、狀態(tài)機恢復(fù)等非常多的方法和技術(shù)。按照程序理解的過程，可以將程序理解工具分為 4 類（1~3 的分類見） 1）提取器（Extractors），從源代碼或者文檔等材料中提取和分離信息。提取器的例子如 ACACIA，CPPX，andColumbus/CAN，A－ SIS（ADA Semantic Interface Specification）。 2） 抽象器（Abstractors），對提取的信息進行分析，得到更深抽象層次的信息， 或者對提取的信息進行轉(zhuǎn)換。抽象器的例子如 PROGRES 圖轉(zhuǎn)換系統(tǒng)，GUPRO， 基于圖的查詢機制的圖分析工具 Grokand GReQL，分析軟件系統(tǒng)之關(guān)系的 RPA 工具，架構(gòu)分析和恢復(fù)工具控制流，數(shù)據(jù)流和依賴分析，軟件測試分析。 3） 顯示器（Visualizers），將提取器提取的和抽象器得到的信息以不同的方式顯示出來。這些工具包括代碼編輯器、瀏覽器和程序可視化工具等。顯示器的例子如源碼瀏覽和文本顯示器， 類 圖， 序 列 圖， 圖 表 顯 示 器， 作 圖 工 具 daVinci，Graphlet，和 GraphViz，Rigi 和 Shrimp 可以用來做更大規(guī)模的圖。