Software Testability Measurement for Assertion Placement and Fault Localization