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.
La detección del defecto en un sistema de software hecho de programas múltiples del programa de computadora es facilitada usando la información sobre interacciones de la programación cruzada y relaciones de la dependencia entre los programas para analizar los programas del individuo de una manera tal que el comportamiento del sistema en su totalidad se represente exactamente. Una lista de las relaciones de la dependencia se lee adentro; estas relaciones de la dependencia se utilizan para determinar una orden en la cual los programas deban ser analizados. Los programas entonces se analizan en esa orden. La información del análisis de los programas se utiliza para informar al análisis programas subsecuente-analizados.
