小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2006年
4期
745-748
,共4页
杨修涛%鲁巍%李华伟%李晓维
楊脩濤%魯巍%李華偉%李曉維
양수도%로외%리화위%리효유
状态覆盖%分枝覆盖%测试向量生成
狀態覆蓋%分枝覆蓋%測試嚮量生成
상태복개%분지복개%측시향량생성
提出一种能兼顾状态内部分枝的状态覆盖方法.在状态内部分枝树的终端结点处添加状态转换语句,将原先的单个转换分成多个转换分枝;从而实现对原先的状态转换进行扩展,使得用传统的状态测试方法就能够覆盖到状态内部的分枝.为了准确描述该过程,文中给出了分枝扩展的形式化方法.在此基础上,给出一个测试向量生成算法:遍历状态转换有向图;依状态间转换条件生成测试向量;依遍历顺序收集测试向量.通过对ITC99-benchmark中时序电路的试验表明,本文方法是有效的.
提齣一種能兼顧狀態內部分枝的狀態覆蓋方法.在狀態內部分枝樹的終耑結點處添加狀態轉換語句,將原先的單箇轉換分成多箇轉換分枝;從而實現對原先的狀態轉換進行擴展,使得用傳統的狀態測試方法就能夠覆蓋到狀態內部的分枝.為瞭準確描述該過程,文中給齣瞭分枝擴展的形式化方法.在此基礎上,給齣一箇測試嚮量生成算法:遍歷狀態轉換有嚮圖;依狀態間轉換條件生成測試嚮量;依遍歷順序收集測試嚮量.通過對ITC99-benchmark中時序電路的試驗錶明,本文方法是有效的.
제출일충능겸고상태내부분지적상태복개방법.재상태내부분지수적종단결점처첨가상태전환어구,장원선적단개전환분성다개전환분지;종이실현대원선적상태전환진행확전,사득용전통적상태측시방법취능구복개도상태내부적분지.위료준학묘술해과정,문중급출료분지확전적형식화방법.재차기출상,급출일개측시향량생성산법:편력상태전환유향도;의상태간전환조건생성측시향량;의편력순서수집측시향량.통과대ITC99-benchmark중시서전로적시험표명,본문방법시유효적.
