软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2012年
3期
504-516
,共13页
BPEL%死路径清除%路径敏感分析%数据流分析%缺陷检测
BPEL%死路徑清除%路徑敏感分析%數據流分析%缺陷檢測
BPEL%사로경청제%로경민감분석%수거류분석%결함검측
软件缺陷是衡量软件测试充分性的一项重要指标,为了提高基于BPEL的组合Web服务流程的可靠性和健壮性提出了一种死路径语义下路径敏感的缺陷检测方法.死路径是BPEL提供的特殊语义,不具有任何执行信息,但是可以连接两个可执行路径片段.为了避免死路径对检测精度的影响,将死路径和路径条件有机地结合起来,采用了变量的抽象取值范围来表示流程的执行状态,即属性状态条件.通过状态条件中变量抽象取值范围为空来识别不可达路径及死路径,并在汇合节点进行了属性状态条件的合并.采用一个既与死路径相关又与执行路径相关的未初始化变量的缺陷检测贯穿整个分析与验证过程,进而说明了该方法的有效性.
軟件缺陷是衡量軟件測試充分性的一項重要指標,為瞭提高基于BPEL的組閤Web服務流程的可靠性和健壯性提齣瞭一種死路徑語義下路徑敏感的缺陷檢測方法.死路徑是BPEL提供的特殊語義,不具有任何執行信息,但是可以連接兩箇可執行路徑片段.為瞭避免死路徑對檢測精度的影響,將死路徑和路徑條件有機地結閤起來,採用瞭變量的抽象取值範圍來錶示流程的執行狀態,即屬性狀態條件.通過狀態條件中變量抽象取值範圍為空來識彆不可達路徑及死路徑,併在彙閤節點進行瞭屬性狀態條件的閤併.採用一箇既與死路徑相關又與執行路徑相關的未初始化變量的缺陷檢測貫穿整箇分析與驗證過程,進而說明瞭該方法的有效性.
연건결함시형량연건측시충분성적일항중요지표,위료제고기우BPEL적조합Web복무류정적가고성화건장성제출료일충사로경어의하로경민감적결함검측방법.사로경시BPEL제공적특수어의,불구유임하집행신식,단시가이련접량개가집행로경편단.위료피면사로경대검측정도적영향,장사로경화로경조건유궤지결합기래,채용료변량적추상취치범위래표시류정적집행상태,즉속성상태조건.통과상태조건중변량추상취치범위위공래식별불가체로경급사로경,병재회합절점진행료속성상태조건적합병.채용일개기여사로경상관우여집행로경상관적미초시화변량적결함검측관천정개분석여험증과정,진이설명료해방법적유효성.