Optional Diagnosability Tests