电脑知识与技术
電腦知識與技術
전뇌지식여기술
COMPUTER KNOWLEDGE AND TECHNOLOGY
2012年
18期
4490-4491,4494
,共3页
状态测试%扩展有限状态机%有限状态机%状态图%不可达路径
狀態測試%擴展有限狀態機%有限狀態機%狀態圖%不可達路徑
상태측시%확전유한상태궤%유한상태궤%상태도%불가체로경
EFSM是一个没有层次和并发结构的状态图,因此很难处理较复杂的软件系统,而且由于EFSM中存在前置条件,使得生成的测试序列有可能存在不可达性.该文提出一种将EFSM转化为精简有限状态机(FSM)的转换算法,很大程度上减少了中间产生的等价状态,并有效防止了组合间爆炸问题的出现,得到的精简FSM最小可达.
EFSM是一箇沒有層次和併髮結構的狀態圖,因此很難處理較複雜的軟件繫統,而且由于EFSM中存在前置條件,使得生成的測試序列有可能存在不可達性.該文提齣一種將EFSM轉化為精簡有限狀態機(FSM)的轉換算法,很大程度上減少瞭中間產生的等價狀態,併有效防止瞭組閤間爆炸問題的齣現,得到的精簡FSM最小可達.
EFSM시일개몰유층차화병발결구적상태도,인차흔난처리교복잡적연건계통,이차유우EFSM중존재전치조건,사득생성적측시서렬유가능존재불가체성.해문제출일충장EFSM전화위정간유한상태궤(FSM)적전환산법,흔대정도상감소료중간산생적등개상태,병유효방지료조합간폭작문제적출현,득도적정간FSM최소가체.
