A Method for Path Coverage Testing Based on Deterministic Finite Automata Machine
基于有穷自动机的路径覆盖测试方法①

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