This paper presents a detailed investigation on various problems associated with the self-diagnosable digital systems. An efficient algorithm has been developed to check thet-diagnosability of a given system and several interesting results have been developed to optimize this checking procedure. The paper also embodies efficient solutions to the related problems of checking redundant edges, improving system diagnosability and identification of faulty units for a given output response.