專利名稱：一種基于給定缺陷描述信息進(jìn)行軟件測(cè)試的方法及系統(tǒng)的制作方法
技術(shù)領(lǐng)域：
本發(fā)明涉及軟件靜態(tài)測(cè)試技術(shù)，尤其涉及一種基于給定缺陷描述信息進(jìn)行軟件測(cè)試的方法及系統(tǒng)。
背景技術(shù)：
靜態(tài)代碼缺陷分析技術(shù)通過對(duì)代碼進(jìn)行靜態(tài)分析來推測(cè)程序運(yùn)行時(shí)的表現(xiàn)行為，從而發(fā)現(xiàn)代碼中可能存在的缺陷。
目前，通常采用基于缺陷模式的代碼檢查方法對(duì)代碼進(jìn)行缺陷檢測(cè)，基于缺陷模式的代碼檢查方法主要包括如下步驟將受檢代碼與缺陷查找工具中設(shè)置的多個(gè)缺陷模式依次進(jìn)行匹配，如果受檢代碼與某一缺陷模式匹配，則確定受檢代碼包含與該缺陷模式對(duì)應(yīng)的缺陷；根據(jù)確定的缺陷生成缺陷檢測(cè)報(bào)告，將所述缺陷報(bào)告呈現(xiàn)給用戶。所述缺陷模式是缺陷查找工具設(shè)計(jì)人員對(duì)代碼中經(jīng)常出現(xiàn)的缺陷進(jìn)行總結(jié)、提煉而設(shè)計(jì)出來的，每個(gè)缺陷模式對(duì)應(yīng)不同的缺陷?，F(xiàn)有的缺陷查找工具，如FindBugs、PMD和Hammurapi等,通常具有固定數(shù)目的缺陷模式，是不能根據(jù)用戶的需要增加缺陷模式的，也就是說只能對(duì)已設(shè)置的缺陷模式對(duì)應(yīng)的缺陷進(jìn)行檢測(cè)。但是，實(shí)踐中用戶往往希望能夠?qū)ψ约核P(guān)注的缺陷進(jìn)行檢測(cè)。

發(fā)明內(nèi)容
有鑒于此，本發(fā)明的主要目的在于提供一種基于給定缺陷描述信息進(jìn)行軟件測(cè)試的方法及系統(tǒng)，能夠?qū)τ脩羲P(guān)注的缺陷進(jìn)行檢測(cè)。為達(dá)到上述目的，本發(fā)明的技術(shù)方案是這樣實(shí)現(xiàn)的本發(fā)明提供了一種基于給定缺陷描述信息進(jìn)行軟件測(cè)試的方法，所述方法包括接收用戶發(fā)來的待測(cè)代碼和缺陷描述信息；對(duì)收到的待測(cè)代碼進(jìn)行靜態(tài)分析，得到符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈；根據(jù)缺陷描述信息在符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈中進(jìn)行缺陷查找，找到待測(cè)代碼中缺陷描述信息所描述的缺陷。優(yōu)選的，所述缺陷描述信息為靜態(tài)缺陷描述語言(SDDL)表達(dá)式，所述SDDL表達(dá)式用于描述用戶關(guān)注的語法缺陷，相應(yīng)的，根據(jù)缺陷描述信息在符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈中進(jìn)行缺陷查找，找到待測(cè)代碼中缺陷描述信息所描述的缺陷，為，在符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈中，查找SDDL表達(dá)式描述的用戶關(guān)注的語法缺陷，找到待測(cè)代碼中的所述語法缺陷。優(yōu)選的，所述對(duì)收到的待測(cè)代碼進(jìn)行靜態(tài)分析之前，所述方法還包括對(duì)收到的SDDL表達(dá)式進(jìn)行合法性判斷。
優(yōu)選的，所述對(duì)收到的SDDL表達(dá)式進(jìn)行合法性判斷，為，判斷所述SDDL表達(dá)式中是否包含尚未定義的謂詞表達(dá)式，當(dāng)不包含尚未定義的謂詞表達(dá)式時(shí)，判斷所述SDDL表達(dá)式中各個(gè)項(xiàng)的類型是否都正確，當(dāng)各個(gè)項(xiàng)的類型均正確時(shí)，判定為合法，執(zhí)行對(duì)收到的待測(cè)代碼進(jìn)行靜態(tài)分析的操作。優(yōu)選的，所述對(duì)收到的待測(cè)代碼進(jìn)行靜態(tài)分析，得到符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈，為，對(duì)收到的待測(cè)代碼進(jìn)行詞法分析和語法分析，構(gòu)造出待測(cè)代碼的抽象語法樹；根據(jù)抽象語法樹，生成符號(hào)表和控制流圖；根據(jù)生成的符號(hào)表，對(duì)待測(cè)代碼進(jìn)行函數(shù)調(diào)用關(guān)系分析，生成函數(shù)調(diào)用關(guān)系； 根據(jù)控制流圖和符號(hào)表，生成定義-使用鏈。本發(fā)明提供了一種基于給定缺陷描述信息進(jìn)行軟件測(cè)試的系統(tǒng)，所述系統(tǒng)包括信息接收單元、靜態(tài)分析單元和缺陷查找單元，其中，所述信息接收單元，用于接收用戶發(fā)來的待測(cè)代碼和缺陷描述信息；所述靜態(tài)分析單元，用于對(duì)信息接收單元收到的待測(cè)代碼進(jìn)行靜態(tài)分析，得到符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈；所述缺陷查找單元，用于根據(jù)信息接收單元收到的缺陷描述信息在靜態(tài)分析單元得到的符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈中進(jìn)行缺陷查找，找到待測(cè)代碼中缺陷描述信息所描述的缺陷。優(yōu)選的，所述缺陷描述信息為SDDL表達(dá)式,所述SDDL表達(dá)式用于描述用戶關(guān)注的語法缺陷，相應(yīng)的，缺陷查找單元，具體用于在靜態(tài)分析單元得到的符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈中，查找信息接收單元收到的SDDL表達(dá)式描述的用戶關(guān)注的語法缺陷，找到待測(cè)代碼中的所述語法缺陷。優(yōu)選的，所述系統(tǒng)還包括合法性判斷單元，用于對(duì)信息接收單元收到的SDDL表達(dá)式進(jìn)行合法性判斷。優(yōu)選的，所述合法性判斷單元，具體用于判斷所述SDDL表達(dá)式中是否包含尚未定義的謂詞表達(dá)式，當(dāng)不包含尚未定義的謂詞表達(dá)式時(shí)，判斷所述SDDL表達(dá)式中各個(gè)項(xiàng)的類型是否都正確，當(dāng)各個(gè)項(xiàng)的類型均正確時(shí)，判定為合法，通知靜態(tài)分析單元執(zhí)行對(duì)信息接收單元收到的待測(cè)代碼進(jìn)行靜態(tài)分析的操作。優(yōu)選的，靜態(tài)分析單元，具體用于對(duì)信息接收單元收到的待測(cè)代碼進(jìn)行詞法分析和語法分析，構(gòu)造出待測(cè)代碼的抽象語法樹；根據(jù)抽象語法樹，生成符號(hào)表和控制流圖；根據(jù)生成的符號(hào)表，對(duì)待測(cè)代碼進(jìn)行函數(shù)調(diào)用關(guān)系分析，生成函數(shù)調(diào)用關(guān)系；根據(jù)控制流圖和符號(hào)表，生成定義-使用鏈。由上可知，采用本發(fā)明的技術(shù)方案接收用戶發(fā)來的待測(cè)代碼和缺陷描述信息；對(duì)收到的待測(cè)代碼進(jìn)行靜態(tài)分析，得到符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈；根據(jù)缺陷描述信息在符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈中進(jìn)行缺陷查找，找到待測(cè)代碼中用戶所關(guān)注的缺陷，可以實(shí)現(xiàn)對(duì)用戶所關(guān)注的缺陷進(jìn)行檢測(cè)。


圖I為本發(fā)明的基于給定缺陷描述信息進(jìn)行軟件測(cè)試的方法的第一實(shí)施例的流程圖；圖2為本發(fā)明的基于給定缺陷描述信息進(jìn)行軟件測(cè)試的系統(tǒng)的實(shí)施例的結(jié)構(gòu)示意圖；圖3為本發(fā)明的基于給定缺陷描述信息進(jìn)行軟件測(cè)試的方法的第二實(shí)施例的流程圖。
具體實(shí)施例方式本發(fā)明的基本思想是接收用戶發(fā)來的待測(cè)代碼和缺陷描述信息；對(duì)收到的待測(cè)代碼進(jìn)行靜態(tài)分析，得到符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈；根據(jù)缺陷描述信息在符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈中進(jìn)行缺陷查找，找到待測(cè)代碼中缺 陷描述信息所描述的缺陷。本發(fā)明提供的基于給定缺陷描述信息進(jìn)行軟件測(cè)試的方法的第一實(shí)施例，如圖I所示，本實(shí)施例中的方法包括步驟101、接收用戶發(fā)來的待測(cè)代碼和缺陷描述信息；較佳的，所述缺陷描述信息為靜態(tài)缺陷描述語言(Static Defect DescriptionLanguage, SDDL)表達(dá)式,所述SDDL表達(dá)式用于描述用戶關(guān)注的語法缺陷。所述SDDL是一種基于邏輯的查詢語言，所述SDDL表達(dá)式由定義的謂詞表達(dá)式構(gòu)成，所述謂詞表達(dá)式是構(gòu)成SDDL表達(dá)式的最基本形式，所述謂詞表達(dá)式形如Ρ(Χ1;Χ2，...，Xn)，其中P是謂詞，表示一種邏輯關(guān)系；Xi(i = l，2，...，n)是項(xiàng)，其中η為正整數(shù)，所述項(xiàng)可以為常量或變量，SDDL表達(dá)式中的項(xiàng)是有類型的，不同類型的項(xiàng)代表不同的語法實(shí)體。步驟102、對(duì)收到的待測(cè)代碼進(jìn)行靜態(tài)分析，得到符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈；較佳的，所述對(duì)收到的待測(cè)代碼進(jìn)行靜態(tài)分析之前，所述方法還可以包括對(duì)收到的SDDL表達(dá)式進(jìn)行合法性判斷。這里，所述對(duì)收到的SDDL表達(dá)式進(jìn)行合法性判斷，可以為，判斷所述SDDL表達(dá)式中是否包含尚未定義的謂詞表達(dá)式，當(dāng)不包含尚未定義的謂詞表達(dá)式時(shí)，判斷所述SDDL表達(dá)式中各個(gè)項(xiàng)的類型是否都正確，當(dāng)各個(gè)項(xiàng)的類型均正確時(shí)，判定為合法，執(zhí)行對(duì)收到的待測(cè)代碼進(jìn)行靜態(tài)分析的操作。較佳的，所述對(duì)收到的待測(cè)代碼進(jìn)行靜態(tài)分析，得到符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈，可以為，對(duì)收到的待測(cè)代碼進(jìn)行詞法分析和語法分析，構(gòu)造出待測(cè)代碼的抽象語法樹；根據(jù)抽象語法樹，生成符號(hào)表和控制流圖；根據(jù)生成的符號(hào)表，對(duì)待測(cè)代碼進(jìn)行函數(shù)調(diào)用關(guān)系分析，生成函數(shù)調(diào)用關(guān)系；根據(jù)控制流圖和符號(hào)表，生成定義-使用鏈。步驟103、根據(jù)缺陷描述信息在符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈中進(jìn)行缺陷查找，找到待測(cè)代碼中缺陷描述信息所描述的缺陷。較佳的，當(dāng)缺陷描述信息為SDDL表達(dá)式時(shí),根據(jù)缺陷描述信息在符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈中進(jìn)行缺陷查找，找到待測(cè)代碼中缺陷描述信息所描述的缺陷，可以為，在符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈中，查找SDDL表達(dá)式描述的用戶關(guān)注的語法缺陷，找到待測(cè)代碼中的所述語法缺陷。本發(fā)明提供的基于給定缺陷描述信息進(jìn)行軟件測(cè)試的系統(tǒng)的實(shí)施例，如圖2所示，本實(shí)施例中的系統(tǒng)包括信息接收單元、靜態(tài)分析單元和缺陷查找單元，其中，所述信息接收單元，用于接收用戶發(fā)來的待測(cè)代碼和缺陷描述信息；較佳的，所述缺陷描述信息為SDDL表達(dá)式，所述SDDL表達(dá)式用于描述用戶關(guān)注的語法缺陷。 所述靜態(tài)分析單元，用于對(duì)信息接收單元收到的待測(cè)代碼進(jìn)行靜態(tài)分析，得到符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈；較佳的，所述靜態(tài)分析單元，具體用于對(duì)信息接收單元收到的待測(cè)代碼進(jìn)行詞法分析和語法分析，構(gòu)造出待測(cè)代碼的抽象語法樹；根據(jù)抽象語法樹，生成符號(hào)表和控制流圖；根據(jù)生成的符號(hào)表，對(duì)待測(cè)代碼進(jìn)行函數(shù)調(diào)用關(guān)系分析，生成函數(shù)調(diào)用關(guān)系；根據(jù)控制流圖和符號(hào)表，生成定義-使用鏈。所述缺陷查找單元，用于根據(jù)信息接收單元收到的缺陷描述信息在靜態(tài)分析單元得到的符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈中進(jìn)行缺陷查找，找到待測(cè)代碼中缺陷描述信息所描述的缺陷。當(dāng)缺陷描述信息為SDDL表達(dá)式時(shí)，缺陷查找單元，具體用于在靜態(tài)分析單元得到的符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈中，查找信息接收單元收到的SDDL表達(dá)式描述的用戶關(guān)注的語法缺陷，找到待測(cè)代碼中的所述語法缺陷。較佳的，所述系統(tǒng)還包括合法性判斷單元，用于對(duì)信息接收單元收到的SDDL表達(dá)式進(jìn)行合法性判斷。較佳的，所述合法性判斷單元，具體用于判斷所述SDDL表達(dá)式中是否包含尚未定義的謂詞表達(dá)式，當(dāng)不包含尚未定義的謂詞表達(dá)式時(shí)，判斷所述SDDL表達(dá)式中各個(gè)項(xiàng)的類型是否都正確，當(dāng)各個(gè)項(xiàng)的類型均正確時(shí)，判定為合法，通知靜態(tài)分析單元執(zhí)行對(duì)信息接收單元收到的待測(cè)代碼進(jìn)行靜態(tài)分析的操作。本發(fā)明提供的基于給定缺陷描述信息進(jìn)行軟件測(cè)試的方法的第二實(shí)施例，如圖3所示，本實(shí)施例中的方法包括步驟301、接收用戶發(fā)來的待測(cè)代碼和缺陷描述信息，所述缺陷描述信息為SDDL表達(dá)式，所述SDDL表達(dá)式用于描述用戶關(guān)注的語法缺陷。步驟302、判斷所述SDDL表達(dá)式中是否包含尚未定義的謂詞表達(dá)式，如果不包含尚未定義的謂詞表達(dá)式，則進(jìn)入步驟303 ;如果包含尚未定義的謂詞表達(dá)式，則結(jié)束本次流程。步驟303、判斷所述SDDL表達(dá)式中各個(gè)項(xiàng)的類型是否都正確，如果各個(gè)項(xiàng)的類型均正確，進(jìn)入步驟304 ;如果各個(gè)項(xiàng)的類型有錯(cuò)誤，則結(jié)束本次流程。步驟304、對(duì)收到的待測(cè)代碼進(jìn)行詞法分析和語法分析，構(gòu)造出待測(cè)代碼的抽象語法樹。步驟305、根據(jù)抽象語法樹，生成符號(hào)表和控制流圖。步驟306a、根據(jù)生成的符號(hào)表，對(duì)待測(cè)代碼進(jìn)行函數(shù)調(diào)用關(guān)系分析，生成函數(shù)調(diào)用關(guān)系。步驟306b、根據(jù)控制流圖和符號(hào)表，生成定義-使用鏈。步驟307、在符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈中，查找SDDL表達(dá)式描述的用戶關(guān)注的語法缺陷，找到待測(cè)代碼中的所述語法缺陷。例如，SDDL表達(dá)式描述的用戶關(guān)注的語法缺陷為待測(cè)代碼中的變量的名稱以”開頭，如果待測(cè)代碼中的變量的名稱以”開頭，就確定待測(cè)代碼中存在所述語法缺陷，
此時(shí) SDDL 表達(dá)式具體可以為var ( v), name ( v, n), re_match ( “_(·) *， ，, n),其中，“？ v”和“？ n”是變量項(xiàng)，符號(hào)“，”表示合取(并)。那么本步驟具體為，在符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈中，使用var ( v), name ( v, n)，re_match( “_(· )*”， n)進(jìn)行查詢,尋找所有滿足條件的變量，所述條件為變量的名稱能夠匹配正則表達(dá)式“具體的，所述尋找所有滿足條件的變量為首先找到待測(cè)代碼中的一個(gè)變量，并將其與？ V綁定(binging/B);然后??？ v也即變量的名稱,并將其與？ η綁定；最后判斷？η是否匹配正則表達(dá)式“_(. )*”。重復(fù)上述步驟，直到找到所有滿足條件的變量或把待測(cè)代碼中的所有變量都檢查完為止。由上可知，采用本發(fā)明的技術(shù)方案可以實(shí)現(xiàn)對(duì)用戶所關(guān)注的缺陷進(jìn)行檢測(cè)。以上所述，僅為本發(fā)明的較佳實(shí)施例而已，并非用于限定本發(fā)明的保護(hù)范圍。
權(quán)利要求
1.一種基于給定缺陷描述信息進(jìn)行軟件測(cè)試的方法，其特征在于，所述方法包括 接收用戶發(fā)來的待測(cè)代碼和缺陷描述信息； 對(duì)收到的待測(cè)代碼進(jìn)行靜態(tài)分析，得到符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈； 根據(jù)缺陷描述信息在符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈中進(jìn)行缺陷查找，找到待測(cè)代碼中缺陷描述信息所描述的缺陷。
2.根據(jù)權(quán)利要求I所述的方法，其特征在于，所述缺陷描述信息為靜態(tài)缺陷描述語言(SDDL)表達(dá)式，所述SDDL表達(dá)式用于描述用戶關(guān)注的語法缺陷， 相應(yīng)的，根據(jù)缺陷描述信息在符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈中進(jìn)行缺陷查找，找到待測(cè)代碼中缺陷描述信息所描述的缺陷，為， 在符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈中，查找SDDL表達(dá)式描述的用戶關(guān)注的語法缺陷，找到待測(cè)代碼中的所述語法缺陷。
3.根據(jù)權(quán)利要求2所述的方法，其特征在于，所述對(duì)收到的待測(cè)代碼進(jìn)行靜態(tài)分析之前，所述方法還包括 對(duì)收到的SDDL表達(dá)式進(jìn)行合法性判斷。
4.根據(jù)權(quán)利要求3所述的方法，其特征在于，所述對(duì)收到的SDDL表達(dá)式進(jìn)行合法性判斷，為， 判斷所述SDDL表達(dá)式中是否包含尚未定義的謂詞表達(dá)式，當(dāng)不包含尚未定義的謂詞表達(dá)式時(shí)， 判斷所述SDDL表達(dá)式中各個(gè)項(xiàng)的類型是否都正確，當(dāng)各個(gè)項(xiàng)的類型均正確時(shí)，判定為合法，執(zhí)行對(duì)收到的待測(cè)代碼進(jìn)行靜態(tài)分析的操作。
5.根據(jù)權(quán)利要求I所述的方法，其特征在于，所述對(duì)收到的待測(cè)代碼進(jìn)行靜態(tài)分析，得到符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈，為， 對(duì)收到的待測(cè)代碼進(jìn)行詞法分析和語法分析，構(gòu)造出待測(cè)代碼的抽象語法樹； 根據(jù)抽象語法樹，生成符號(hào)表和控制流圖； 根據(jù)生成的符號(hào)表，對(duì)待測(cè)代碼進(jìn)行函數(shù)調(diào)用關(guān)系分析，生成函數(shù)調(diào)用關(guān)系； 根據(jù)控制流圖和符號(hào)表，生成定義-使用鏈。
6.一種基于給定缺陷描述信息進(jìn)行軟件測(cè)試的系統(tǒng)，其特征在于，所述系統(tǒng)包括信息接收單元、靜態(tài)分析單元和缺陷查找單元，其中， 所述信息接收單元，用于接收用戶發(fā)來的待測(cè)代碼和缺陷描述信息； 所述靜態(tài)分析單元，用于對(duì)信息接收單元收到的待測(cè)代碼進(jìn)行靜態(tài)分析，得到符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈； 所述缺陷查找單元，用于根據(jù)信息接收單元收到的缺陷描述信息在靜態(tài)分析單元得到的符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈中進(jìn)行缺陷查找，找到待測(cè)代碼中缺陷描述信息所描述的缺陷。
7.根據(jù)權(quán)利要求6所述的系統(tǒng)，其特征在于，所述缺陷描述信息為SDDL表達(dá)式，所述SDDL表達(dá)式用于描述用戶關(guān)注的語法缺陷， 相應(yīng)的，缺陷查找單元，具體用于在靜態(tài)分析單元得到的符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈中，查找信息接收單元收到的SDDL表達(dá)式描述的用戶關(guān)注的語法缺陷，找到待測(cè)代碼中的所述語法缺陷。
8.根據(jù)權(quán)利要求7所述的系統(tǒng)，其特征在于，所述系統(tǒng)還包括合法性判斷單元，用于對(duì)信息接收單元收到的SDDL表達(dá)式進(jìn)行合法性判斷。
9.根據(jù)權(quán)利要求8所述的系統(tǒng)，其特征在于，所述合法性判斷單元，具體用于判斷所述SDDL表達(dá)式中是否包含尚未定義的謂詞表達(dá)式，當(dāng)不包含尚未定義的謂詞表達(dá)式時(shí)， 判斷所述SDDL表達(dá)式中各個(gè)項(xiàng)的類型是否都正確，當(dāng)各個(gè)項(xiàng)的類型均正確時(shí)，判定為合法，通知靜態(tài)分析單元執(zhí)行對(duì)信息接收單元收到的待測(cè)代碼進(jìn)行靜態(tài)分析的操作。
10.根據(jù)權(quán)利要求6所述的系統(tǒng)，其特征在于，靜態(tài)分析單元，具體用于對(duì)信息接收單元收到的待測(cè)代碼進(jìn)行詞法分析和語法分析，構(gòu)造出待測(cè)代碼的抽象語法樹； 根據(jù)抽象語法樹，生成符號(hào)表和控制流圖； 根據(jù)生成的符號(hào)表，對(duì)待測(cè)代碼進(jìn)行函數(shù)調(diào)用關(guān)系分析，生成函數(shù)調(diào)用關(guān)系； 根據(jù)控制流圖和符號(hào)表，生成定義-使用鏈。
全文摘要
本發(fā)明提供了一種基于給定缺陷描述信息進(jìn)行軟件測(cè)試的方法和系統(tǒng)，所述方法包括接收用戶發(fā)來的待測(cè)代碼和缺陷描述信息；對(duì)收到的待測(cè)代碼進(jìn)行靜態(tài)分析，得到符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈；根據(jù)缺陷描述信息在符號(hào)表、控制流圖、函數(shù)調(diào)用關(guān)系、定義-使用鏈中進(jìn)行缺陷查找，找到待測(cè)代碼中缺陷描述信息所描述的缺陷，可以實(shí)現(xiàn)對(duì)用戶所關(guān)注的缺陷進(jìn)行檢測(cè)。
文檔編號(hào)G06F11/36GK102819490SQ20121025439
公開日2012年12月12日 申請(qǐng)日期2012年7月20日 優(yōu)先權(quán)日2012年7月20日
發(fā)明者黃俊飛, 宮云戰(zhàn), 王前, 金大海, 王雅文, 趙云山, 周虹伯 申請(qǐng)人:北京郵電大學(xué)