Diagnosability Evaluation for a System-Level Diagnosis Algorithm for Wireless Sensor Networks