Analysis of test coverage or failure detectability