计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2014年
6期
1968-1972
,共5页
扩展有限状态机%符号执行%搜索算法%测试数据生成%字符串
擴展有限狀態機%符號執行%搜索算法%測試數據生成%字符串
확전유한상태궤%부호집행%수색산법%측시수거생성%자부천
extended finite state machine (EFSM)%symbol execution%search algorithm%test data generation%string
字符串测试数据自动生成是目前的研究难点,还没有很好地解决方法.针对这个问题,提出了一种将符号执行约束求解与搜索算法相结合实现基于EFSM模型的字符串测试数据自动生成方法.将测试数据候选字符集中的字符通过取余编码转换为整数;将目标路径上字符串约束转换成整数约束,通过约束求解获得中间解;采用搜索算法生成字符串测试数据.该方法能很好地减小字符串的搜索范围,有效地减少搜索算法的执行时间.实验结果表明,该方法达到了预期的效果,提高了测试数据生成效率.
字符串測試數據自動生成是目前的研究難點,還沒有很好地解決方法.針對這箇問題,提齣瞭一種將符號執行約束求解與搜索算法相結閤實現基于EFSM模型的字符串測試數據自動生成方法.將測試數據候選字符集中的字符通過取餘編碼轉換為整數;將目標路徑上字符串約束轉換成整數約束,通過約束求解穫得中間解;採用搜索算法生成字符串測試數據.該方法能很好地減小字符串的搜索範圍,有效地減少搜索算法的執行時間.實驗結果錶明,該方法達到瞭預期的效果,提高瞭測試數據生成效率.
자부천측시수거자동생성시목전적연구난점,환몰유흔호지해결방법.침대저개문제,제출료일충장부호집행약속구해여수색산법상결합실현기우EFSM모형적자부천측시수거자동생성방법.장측시수거후선자부집중적자부통과취여편마전환위정수;장목표로경상자부천약속전환성정수약속,통과약속구해획득중간해;채용수색산법생성자부천측시수거.해방법능흔호지감소자부천적수색범위,유효지감소수색산법적집행시간.실험결과표명,해방법체도료예기적효과,제고료측시수거생성효솔.
