程序插樁簡介

        一種基本的動態測試方法，向源程序中添加一些語句實現對程序代碼的執行、變量的變化等情況的檢查，可以獲得程序的控制流和數據流信息。如果我們想要了解一個程序在某次運行中可執行語句被覆蓋的情況，或是每個語句的實際執行次數，最好的辦法就是利用插裝技術，它在軟件測試技術上占有非常高的地位。最簡單的插裝：在程序中插入打印語句printf(“ ...”)語句。

1.插樁位置：

a.程序的第一條語句；

b.分支語句的開始；

c.循環語句的開始；

d.下一個入口語句之前的語句；

e.程序的結束語句；

f.分支語句的結束；

g.循環語句的結束。　

2.插樁策略：

①語句覆蓋探針（基本塊探針）：在基本塊的入口和出口處，分別植入相應的探針，以確定程序執行時該基本塊是否被覆蓋。　

②分支覆蓋探針：c/c++語言中，分支由分支點確定。對於每個分支，在其開始處植入一個相應的探針，以確定程序執行時該分支是否被覆蓋。　

③條件覆蓋探針：c/c++語言中，if, swich,while, do-while, for 幾種語法結構都支持條件判定，在每個條件表達式的布爾表達式處植入探針，進行變量跟蹤取值，以確定其被覆蓋情況。

3.設計插樁程序需要注意的幾點：

①探測哪些信息；

②在什么位置設置探針；

③設置多少個探測點；

④特定位置插入用以判斷變量特性的語句。

 

C語言插樁實例：https://blog.csdn.net/spring_willow/article/details/72887192

---

原文鏈接：https://blog.csdn.net/spring_willow/article/details/70576780