公开(公告)号：US20050114842A1

公开(公告)日：2005-05-26

申请号：US10948713

申请日：2004-09-23

申请人： Timothy Fleehart ,  Jonathan Pincus ,  Jeffrey Wallace

发明人： Timothy Fleehart ,  Jonathan Pincus ,  Jeffrey Wallace

IPC分类号： G06F11/36 ,  G06F9/44

CPC分类号： G06F11/3608

摘要： Defect detection in a software system made of multiple computer program programs is facilitated by using information about cross-program interactions and dependency relationships between programs to analyze the individual programs in such a way that the behavior of the system as a whole is accurately represented. A list of dependency relationships is read in; these dependency relationships are used to determine an order in which the programs should be analyzed. The programs are then analyzed in that order. Information from the analysis of the programs is used to inform the analysis of subsequently-analyzed programs.

摘要翻译： 通过使用关于跨程序交互的信息和程序之间的依赖关系的信息来促进由多个计算机程序程序构成的软件系统中的缺陷检测，以便以准确地表示整个系统的行为的方式来分析各个程序。 读取依赖关系的列表; 这些依赖关系用于确定应分析程序的顺序。 然后按顺序分析程序。 来自分析程序的信息用于对随后分析的程序进行分析。