Method for automatic determination of failure-inducing circumstances in computer programs

摘要

Method for automatic determination of cause-effect chains in computer programs, especially those used for an automatically controlled systems. Accordingly the flow of error free and error containing programs is compared at selected points and minimum error causing differences are determined that represent the cause-effect chain.