The path checking method applied to multiple fault analysis of switching circuits