基于函數(shù)調(diào)用路徑的軟件設(shè)計(jì)與實(shí)現(xiàn)一致性研究.pdf

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

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

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