A testability-demonstration software platform based on fault injection