小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2011年
4期
577-583
,共7页
程序切片%扩展有限状态机%依赖图%变迁
程序切片%擴展有限狀態機%依賴圖%變遷
정서절편%확전유한상태궤%의뢰도%변천
将切片技术引入扩展有限状态机模型,可根据兴趣点约减状态及变迁数,对模型的分析与测试有重要意义.由于EFSM模型基于变迁的依赖关系,传统的依赖图构造算法及基于标记已访问节点的切片算法并不适用.通过研究EFSM模型依赖关系的可传递性,提出EFSM模型的两级结构依赖图EPDG(EFSM Program Dependence Graph),使用变迁及其子节点分别表示控制依赖及数据依赖,将EFSM模型的切片转化为图形可达性问题,并给出EPDG的构造算法及切片算法,运用实例与已有成果做对比实验.
將切片技術引入擴展有限狀態機模型,可根據興趣點約減狀態及變遷數,對模型的分析與測試有重要意義.由于EFSM模型基于變遷的依賴關繫,傳統的依賴圖構造算法及基于標記已訪問節點的切片算法併不適用.通過研究EFSM模型依賴關繫的可傳遞性,提齣EFSM模型的兩級結構依賴圖EPDG(EFSM Program Dependence Graph),使用變遷及其子節點分彆錶示控製依賴及數據依賴,將EFSM模型的切片轉化為圖形可達性問題,併給齣EPDG的構造算法及切片算法,運用實例與已有成果做對比實驗.
장절편기술인입확전유한상태궤모형,가근거흥취점약감상태급변천수,대모형적분석여측시유중요의의.유우EFSM모형기우변천적의뢰관계,전통적의뢰도구조산법급기우표기이방문절점적절편산법병불괄용.통과연구EFSM모형의뢰관계적가전체성,제출EFSM모형적량급결구의뢰도EPDG(EFSM Program Dependence Graph),사용변천급기자절점분별표시공제의뢰급수거의뢰,장EFSM모형적절편전화위도형가체성문제,병급출EPDG적구조산법급절편산법,운용실례여이유성과주대비실험.
