程序插樁的技術(shù).ppt

程序插樁技術(shù) 田潔 在軟件動態(tài)測試中 程序插樁是一種基本的測試手段 有著廣泛的應(yīng)用 程序插樁方法 借助往被測程序中插入操作 來實現(xiàn)測試目的的方法 即向源程序中添加一些語句 實現(xiàn)對程序語句的執(zhí)行 變量的變化等情況進行檢查 最簡單的插樁 在程序中插入打印語句printf 語句 最大公約數(shù)算法之更相減損術(shù) 在我國古代的數(shù)學著作 九章算術(shù) 中 就介紹了 約分術(shù) 可半者半之 不可半者 副之分母 子之數(shù) 以少減多 更相減損 求其等也 以等數(shù)約之 現(xiàn)代語言表述算法 第一步 任意給頂兩個正整數(shù) 判斷他們是否都是偶數(shù) 若是 則用2約簡 若不是則執(zhí)行第二步 第二步 以較大的數(shù)減較小的數(shù) 接著把所得的差與較小的數(shù)比較 并以大數(shù)減小數(shù) 第三步 繼續(xù)這個操作 直到所得的減數(shù)和差相等為止 則這個等數(shù)就是所求的最大公約數(shù) 注意 其中所說的 等數(shù) 就是最大公約數(shù) 求 等數(shù) 的辦法是 更相減損 法 即輾轉(zhuǎn)相除法 例 用更相減損術(shù)求98與63的最大公約數(shù) 解 由于63不是偶數(shù) 把98和63以大數(shù)減小數(shù) 并展轉(zhuǎn)相減98 63 3563 35 2835 28 728 7 1414 7 7所以 98和63的最大公約數(shù)等于7 程序插樁技術(shù) 如果我們想要了解一個程序在某次運行中所有可執(zhí)行語句被覆蓋的情況 或是每個語句的實際執(zhí)行次數(shù) 最好的辦法是利用插樁技術(shù) 這里僅以計算整數(shù)X和整數(shù)Y的最大公約數(shù)程序為例 說明插樁方法的要點 程序插樁技術(shù) 例 求取兩個整數(shù)X和Y的最大公約數(shù)程序如下 intgsd intX intY intQ X intR Y while Q R if Q R Q Q R elseR R Q returnQ 程序插樁技術(shù) 可以根據(jù)程序繪制出其流程圖為了記錄改程序中語句的執(zhí)行次數(shù) 我們使用插樁技術(shù)插入如下語句 C i C i 1 i 1 2 6插樁之后的流程圖如下 程序插樁技術(shù) 在程序入口處插入對計數(shù)器C i 的初始化語句 在程序出口處加入打印語句 圖中虛線框中的內(nèi)容并不是源程序的內(nèi)容 而是我們?yōu)榱擞涗浾Z句的執(zhí)行次數(shù)而插入的 虛線框中的程序就是為了完成計數(shù) 形式就是C n C n 1 n 1 2 3 n 該程序從入口開始 到出口執(zhí)行結(jié)束 凡經(jīng)歷的計數(shù)語句都能記錄下該程序點的執(zhí)行次數(shù) 如果我們在程序的入口處還插入了對計數(shù)器C i 初始化的語句 在出口處插入了打印這些計數(shù)器的語句 就構(gòu)成了完整的插樁程序 它就能記錄并輸出在各程序點上語句的實際執(zhí)行次數(shù) 程序插樁技術(shù) 程序插樁技術(shù) 右圖為插樁之后的程序 箭頭所指為插入的語句 源程序的語句已略去 設(shè)計插樁程序時需要考慮的問題包括 探測哪些信息 在程序的什么部位設(shè)置探測點 需要設(shè)置多少個探測點 程序中特定部位插入某些用以判斷變量特性的語句 第1個問題具體問題具體分析 第2個問題 在實際測試通常在下面一些部位設(shè)置探測點 程序塊的第1個可執(zhí)行語句之前for do do while dountil等循環(huán)語句處 if elseif else及endif等條件語句各分支處 輸入 輸出語句之后 函數(shù) 過程 子程序調(diào)用語句之后 return語句之后goto語句之后 第3個問題 需要考慮如何設(shè)置最少探測點方案 第4個問題