%0 Journal Article
%T A Method for Path Coverage Testing Based on Deterministic Finite Automata Machine<br>基于有穷自动机的路径覆盖测试方法①
%A 毛红梅
%J 计算机系统应用
%D 2009
%I 
%X 软件测试是当前软件生成重要的研究课题。从源程序流程图开始，提出了基于自动机的路径覆盖算法，该算法将源程序通过转换规则构造成与之等价的有穷自动机，应用自动机的特性处理有穷自动机中回边，并通过有限自动机的覆盖路径算法实现路径覆盖测试路径的选择。此方法实现路径覆盖的目标，与其它路径覆盖算法相比，覆盖路径生成数少。
%K 覆盖测试
%K 回边
%K 有穷自动机
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=D4F6864C950C88FFCE5B6C948A639E39&aid=9D436759E7E1529D6F183E0B57E57A5D&yid=DE12191FBD62783C&vid=13553B2D12F347E8&iid=708DD6B15D2464E8&sid=89F76E117E9BDB76&eid=03F1579EF92A5A32&journal_id=1003-3254&journal_name=计算机系统应用&referenced_num=0&reference_num=6