程序修改的步驟及修改的副作用

程序修改的步驟及修改的副作用SoftwareEngineering1、學(xué)習(xí)分析和理解程序2、掌握修改程序3、理解重新驗(yàn)證程序01目錄分析和理解程序02修改程序03重新驗(yàn)證程序分析和理解程序1分析和理解程序定義理解程序1.程序理解的任務(wù)程序理解：以軟件維護(hù)、升級(jí)和再工程為目的，在不同的抽象級(jí)別上建立基本軟件的概念模型，包括從代碼本身的模型到基本應(yīng)用領(lǐng)域的模型，即建立從問題/應(yīng)用域到程序設(shè)計(jì)/實(shí)現(xiàn)域的隱射集了解數(shù)據(jù)流信息，即涉及到的數(shù)據(jù)來源何處，在哪里被使用；了解數(shù)據(jù)流信息，即執(zhí)行每條路徑的結(jié)果；理解程序的操作和和使用要求；分析和理解程序通過檢查單個(gè)的程序設(shè)計(jì)結(jié)構(gòu)，程序被表示成抽象語法樹、符號(hào)表或普通源文本；盡量做到程序隱含信息的顯性表示及程序內(nèi)部關(guān)系的可視化；從源代碼中提取信息，并存放在通用的數(shù)據(jù)庫(kù)中，然后通過查詢語句對(duì)數(shù)據(jù)庫(kù)進(jìn)行查詢，檢查程序構(gòu)造過程中的結(jié)構(gòu)關(guān)系，明確表示程序組成部分之間d額依賴關(guān)系；識(shí)別程序的高層概念，如標(biāo)準(zhǔn)算法、數(shù)據(jù)結(jié)構(gòu)、語法及語義匹配等；修改程序2修改程序釋義修改軟件源文件1.修改軟件源文件的副作用最危險(xiǎn)的副作用是修改軟件源程序而產(chǎn)生的，每當(dāng)對(duì)一個(gè)復(fù)雜的邏輯過程做了一處修改，出錯(cuò)的可能性就增大了。下列對(duì)源程序的修改更易產(chǎn)生錯(cuò)誤：改變一個(gè)子程序、函數(shù)、變量定義為改進(jìn)運(yùn)行性能所作的修改改變了邏輯運(yùn)算過程設(shè)計(jì)的變動(dòng)造成了較大的程序變動(dòng)改變了邊界測(cè)試條件定義修改程序釋義修改數(shù)據(jù)2.修改數(shù)據(jù)的副作用一般是由于修改軟件特定的信息結(jié)構(gòu)所引起的新定義局部的及全程的常數(shù)重新定義記錄和文件的格式改變一個(gè)數(shù)組的大小或改變高層數(shù)據(jù)結(jié)構(gòu)的大小對(duì)控制標(biāo)志或指針的重新初始化重新安排輸人輸出參量定義修改程序釋義修改文檔資料3.修改文檔資料的副作用每當(dāng)改動(dòng)數(shù)據(jù)流、軟件結(jié)構(gòu)、模塊過程或任何其他有關(guān)特性時(shí)，有關(guān)的技術(shù)文檔資料必須要相應(yīng)地更新定義重新驗(yàn)證程序3重新驗(yàn)證程序在將修改后的程序提交用戶之前，需要進(jìn)行充分的確認(rèn)和測(cè)試，以保證整個(gè)程序后程序的正確性。靜態(tài)確認(rèn)修改確認(rèn)，伴隨著引起新的錯(cuò)誤的危險(xiǎn)。為了能夠做出正確的判斷，驗(yàn)證修改后的程序至少需要兩個(gè)人參與，要檢查；靜態(tài)確認(rèn)重新驗(yàn)證程序在進(jìn)行了以上確認(rèn)的基礎(chǔ)上，用計(jì)算機(jī)對(duì)修改程序進(jìn)行測(cè)試：確認(rèn)測(cè)試程序：先對(duì)修改部分進(jìn)行測(cè)試，然后隔離修改部分，測(cè)試程序的未修改部分，最后再把它們集成起來進(jìn)行測(cè)試。這種測(cè)試稱為回歸測(cè)試；準(zhǔn)備標(biāo)準(zhǔn)的測(cè)試用例充分利用軟件工具幫助重新驗(yàn)證過程在確認(rèn)過程