[發(fā)明專利]一種基于可達(dá)路徑的軟件測(cè)試方法

有效

• 申請(qǐng)?zhí)枺?/td>: 201010235307.1
• 申請(qǐng)日: 2010-07-23
• 公開（公告）號(hào): CN101901188A
• 公開（公告）日: 2010-12-01
• 發(fā)明（設(shè)計(jì)）人: 趙玉新;孫紀(jì)瑋;劉廠;高峰;張振興;沈志峰
• 申請(qǐng)（專利權(quán)）人: 哈爾濱工程大學(xué)
• 主分類號(hào): G06F11/36
• 分類號(hào): G06F11/36
• 代理公司: 暫無信息
• 代理人: 暫無信息

1.一種基于可達(dá)路徑的軟件測(cè)試方法，其特征是：

步驟1：收集程序的基本信息，包括語句出現(xiàn)的變量的定義和使用信息；

步驟2：對(duì)每一個(gè)切片建立一個(gè)信息鏈表；

步驟3：應(yīng)用圖可達(dá)性算法后向遍歷程序，按照控制和依賴關(guān)系標(biāo)記它的直接前驅(qū)結(jié)點(diǎn)，將標(biāo)記的當(dāng)前節(jié)點(diǎn)n包含到S(v)中；

步驟4：判斷是否到達(dá)程序的入口點(diǎn)，如果還沒有到達(dá)程序的入口點(diǎn)則繼續(xù)后向遍歷程序，否則，停止遍歷得到包含一組可能路徑的集合即路徑切片S；

步驟5：從路徑切片S的第一個(gè)分支謂詞開始分析變量的相關(guān)性，在取得的路徑切片上分析路徑的可達(dá)性即分析切片謂詞變量表達(dá)式的取值，從切片入口點(diǎn)開始，按照數(shù)據(jù)依賴和控制依賴重新標(biāo)記路徑信息，完成對(duì)路徑中分支謂詞中的變量進(jìn)行分析，判斷謂詞結(jié)點(diǎn)的取值，它的取值有三種可能性：true，false和undef，其中true和false表示相應(yīng)的謂詞變量已經(jīng)被定值，即始終取真或假，undef表示相應(yīng)的謂詞變量的取值與實(shí)際運(yùn)行有關(guān)，通過對(duì)謂詞變量的判斷如果能夠達(dá)到指定的切片變量，即該路徑為可達(dá)，否則為不可達(dá)，其中可達(dá)分為始終可達(dá)是指指定點(diǎn)始終在分支謂詞取值的分支上和輸入相關(guān)可達(dá)是指它的能否達(dá)到依賴于程序的輸入值，直到把路徑切片中的所有謂詞變量都分析完。