首页> 中文期刊>计算机系统应用 >基于有穷自动机的路径覆盖测试方法

基于有穷自动机的路径覆盖测试方法

     

摘要

软件测试是当前软件生成重要的研究课题.从源程序流程图开始,提出了基于自动机的路径覆盖算法,该算法将源程序通过转换规则构造成与之等价的有穷自动机,应用自动机的特性处理有穷自动机中回边,并通过有限自动杌的覆盖路径算法实现路径覆盖测试路径的选择.此方法实现路径覆盖的目标,与其它路径覆盖算法相比,覆盖路径生成数少.

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号