装甲兵工程学院学报
裝甲兵工程學院學報
장갑병공정학원학보
JOURNAL OF ARMORED FORCE ENGINEERING INSTITUTE
2004年
2期
61-63
,共3页
不可达路径%程序切片%最少谓词路径
不可達路徑%程序切片%最少謂詞路徑
불가체로경%정서절편%최소위사로경
对于结构测试中的不可达路径问题,仅仅使用传统的不可达路径排除方法存在很大的限制性,应用效果一般.积极选择可达路径的思想可有效减少不可达路径的产生.目前,基于最少谓词思想的路径生成方法得到广泛的认可.了解可达路径选择思想后,主要介绍一种基于数据流信息的,具体应用基本程序切片技术来生成可达路径的方法,该方法可生成几乎有最少谓词的路径,有较好效果.
對于結構測試中的不可達路徑問題,僅僅使用傳統的不可達路徑排除方法存在很大的限製性,應用效果一般.積極選擇可達路徑的思想可有效減少不可達路徑的產生.目前,基于最少謂詞思想的路徑生成方法得到廣汎的認可.瞭解可達路徑選擇思想後,主要介紹一種基于數據流信息的,具體應用基本程序切片技術來生成可達路徑的方法,該方法可生成幾乎有最少謂詞的路徑,有較好效果.
대우결구측시중적불가체로경문제,부부사용전통적불가체로경배제방법존재흔대적한제성,응용효과일반.적겁선택가체로경적사상가유효감소불가체로경적산생.목전,기우최소위사사상적로경생성방법득도엄범적인가.료해가체로경선택사상후,주요개소일충기우수거류신식적,구체응용기본정서절편기술래생성가체로경적방법,해방법가생성궤호유최소위사적로경,유교호효과.