| 主权项 |
1.一种方法(100),包括:决定(110,310)通过一块原始程式码之一组可能路径;辨识(120,320)通过该块原始程式码之一条以上的实际作业路径,每一条实际作业路径系以施用该块原始程式码为基础;以及比较(130)该等一条以上的作业路径与该可能路径的其中之一。2.如申请专利范围第1项所述之方法(100),其中决定(110,310)该组可能路径之步骤包含:分割该块原始程式码为一个以上的流程;以及为每一流程决定通过该流程之一组可能路径。3.如申请专利范围第1项所述之方法(100),其中辨识一条以上的实际作业路径就每一条实际作业路径包含:产生项目之串列对应于在该块原始程式码内之指令执行顺序;以及决定一路径对应于该串列。4.如申请专利范围第3项所述之方法(100),其中该产生步骤包含一组步骤的其中之一,该组步骤由下列步骤组成:执行该块原始程式码,以及模拟该块原始程式码之作业。5.如申请专利范围第3项所述之方法(100),其中该产生步骤包含追踪该块原始程式码之作业,且其中该串列为一追踪档案。6.如申请专利范围第1项所述之方法(100),进一步包含:决定是否存在有通过该原始程式码之一可能路径不为该等一条以上的作业路径的其中之一,而该块原始程式码内之死掉的程式码被表示。7.一种装置(500),用于与一区段原始程式码(540)及由该区段原始程式码(540)所产生之一个以上的追踪档案(560)使用,该装置(500)包含:一路径列举模组(510)读取该区段原始程式码(540)及产生通过该区段原始程式码(540)之可能路径的串列(550);一路径撷取模组(520)读取该等一个以上的追踪档案(560)及辨识通过该区段原始程式码(540)之一条以上的作业路径(580);以及一比较器(530)被连接于该路径列举模组(510)与该路径撷取模组(520),其中该比较器比较该等一条以上的作业路径(580)至少之一与该等可能路径(550)的至少之一。8.如申请专利范围第7项所述之装置(500),进一步包含:一模拟器(570),其中该模拟器(570)读取该区段原始程式码(540)、模拟该区段原始程式码(540)之作业、及产生一个以上的追踪档案(560)。9.如申请专利范围第7项所述之装置(500),进一步包含:一执行引擎,其中该执行引擎执行由该区段原始程式码(540)被产生之程式并产生该等一个以上的追踪档案(560)。10.如申请专利范围第7项所述之装置(500),其中该路径列举模组(510)产生中间结果(590),且该路径撷取模组运用至少某些该等中间结果(590)。图式简单说明:第1图为依据本发明之方法的高阶流程图。第2图为被第1图之方法所分析原始程式码流程之一例。第3A至3C图为第1图之方法的第一步骤之详细流程图。第4A至4C图为第1图之方法的第二步骤之详细流程图。第5图为依据本发明之装置的方块图。 |
