计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2011年
32期
87-90
,共4页
扩展有限状态机(EFSM)%测试数据生成%过程调用%遗传算法%子模型
擴展有限狀態機(EFSM)%測試數據生成%過程調用%遺傳算法%子模型
확전유한상태궤(EFSM)%측시수거생성%과정조용%유전산법%자모형
针对含过程调用EFSM模型测试数据生成中过程调用的不可执行问题,提出了一种能对过程调用进行处理以实现模型的测试数据自动生成方法.该方法将被调子过程描述为一个EFSM模型,将表示主过程及子过程的EFSM模型合并为一个新的模型,合并后的模型符合EFSM模型规范,采用遗传算法对该模型进行测试数据自动生成.实验结果表明,该方法能够较好地解决合过程调用EFSM模型的测试数据自动生成问题.
針對含過程調用EFSM模型測試數據生成中過程調用的不可執行問題,提齣瞭一種能對過程調用進行處理以實現模型的測試數據自動生成方法.該方法將被調子過程描述為一箇EFSM模型,將錶示主過程及子過程的EFSM模型閤併為一箇新的模型,閤併後的模型符閤EFSM模型規範,採用遺傳算法對該模型進行測試數據自動生成.實驗結果錶明,該方法能夠較好地解決閤過程調用EFSM模型的測試數據自動生成問題.
침대함과정조용EFSM모형측시수거생성중과정조용적불가집행문제,제출료일충능대과정조용진행처리이실현모형적측시수거자동생성방법.해방법장피조자과정묘술위일개EFSM모형,장표시주과정급자과정적EFSM모형합병위일개신적모형,합병후적모형부합EFSM모형규범,채용유전산법대해모형진행측시수거자동생성.실험결과표명,해방법능구교호지해결합과정조용EFSM모형적측시수거자동생성문제.
