计算机科学
計算機科學
계산궤과학
Computer Science
2015年
10期
180-183,192
,共5页
方清华%苏锦海%凌祖让%滑冬冬
方清華%囌錦海%凌祖讓%滑鼕鼕
방청화%소금해%릉조양%활동동
或分支%完整性%哈夫曼%测试任务流
或分支%完整性%哈伕曼%測試任務流
혹분지%완정성%합부만%측시임무류
Or-split%Integration%Huffman%Test flow
测试任务流中或分支的完整性验证是保证任务流模型正确、稳定、完备的必要条件.基于测试任务流中或分支的完整性分析,给出或分支约束条件集的完整性定义,将问题转换为约束条件集的完整性验证.借鉴哈夫曼树的思想,构造一棵或分支完整性判定树,完成测试任务流或分支的完整性验证.
測試任務流中或分支的完整性驗證是保證任務流模型正確、穩定、完備的必要條件.基于測試任務流中或分支的完整性分析,給齣或分支約束條件集的完整性定義,將問題轉換為約束條件集的完整性驗證.藉鑒哈伕曼樹的思想,構造一棵或分支完整性判定樹,完成測試任務流或分支的完整性驗證.
측시임무류중혹분지적완정성험증시보증임무류모형정학、은정、완비적필요조건.기우측시임무류중혹분지적완정성분석,급출혹분지약속조건집적완정성정의,장문제전환위약속조건집적완정성험증.차감합부만수적사상,구조일과혹분지완정성판정수,완성측시임무류혹분지적완정성험증.
