1、軟件是否嚴格按照設(shè)計要求實現(xiàn)，是軟件質(zhì)量評估的重要標準，是軟件測試的一項重要工作。人工遍歷的方法分析軟件設(shè)計與實現(xiàn)的一致性是復(fù)雜費力的，并且需要測試人員具備豐富的編程經(jīng)驗和較強的算法分析能力。隨著軟件維護成本的不斷增加，軟件迭代速度不斷加快，自動化的完成軟件設(shè)計與實現(xiàn)的一致性驗證工作變得越來越重要?？焖贉蚀_判定設(shè)計與實現(xiàn)的一致性，能夠有效的提高工作效率。
　　論文提出的基于函數(shù)調(diào)用路徑的軟件設(shè)計與實現(xiàn)一致性驗證方法，以函數(shù)調(diào)用路徑

2、為基礎(chǔ)，建立設(shè)計功能簇模型和實現(xiàn)功能簇模型，然后對比模型中的功能點，實現(xiàn)功能級一致性驗證。功能簇模型依據(jù)函數(shù)的調(diào)用關(guān)系建立，功能簇模型對比依賴函數(shù)功能提取算法獲取函數(shù)功能。
　　論文提出的基于控制流圖的函數(shù)調(diào)用路徑提取方法，首先通過編譯器獲取函數(shù)的預(yù)處理信息，靜態(tài)分析后得到帶有函數(shù)調(diào)用信息的控制流圖。然后設(shè)計控制流圖到函數(shù)調(diào)用圖的轉(zhuǎn)換算法，實現(xiàn)控制流圖到函數(shù)調(diào)用圖的轉(zhuǎn)換，從而得到函數(shù)調(diào)用關(guān)系。最后使用可達路徑的方法分析函數(shù)調(diào)用圖，

3、進而得到函數(shù)調(diào)用路徑。
　　論文提出的基于函數(shù)特征的函數(shù)功能提取方法，首先將函數(shù)的特征分為數(shù)字特征和結(jié)構(gòu)特征，選擇相似度計算方法計算數(shù)字特征和結(jié)構(gòu)特征的相似度。然后提取已知函數(shù)功能及其實現(xiàn)方式的函數(shù)模板集的函數(shù)特征，形成特征模板集。最后計算被測函數(shù)特征屬性與模板集中的函數(shù)特征的相似度，得到被測函數(shù)的功能和實現(xiàn)方式，為實現(xiàn)函數(shù)功能及其實現(xiàn)方式的一致性驗證提供基礎(chǔ)。
　　針對函數(shù)調(diào)用路徑、函數(shù)功能提取、設(shè)計與實現(xiàn)一致性驗證，分別