Learn More
The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages. On the other hand, this feature increase testing SDL-specified software. We present a testing approach consisting of the foll SDL specifications are first abstracted into finite state machines with save constructs machines are(More)
method and the Wp-method, are reviewed and analysed for their fault detection capabilities. We show that the C-method and the Uv-method do not provide complete fault coverage. These seven methods are formally analysed for their fault diagnosis capabilities under single fault assumption. Among these methods the W-method and the Wp-method provide the best(More)
Traditional centralized network management solutions do not scale to presentday large-de computerlcommunleation networks. They suffer from certain other drawbacks tw: a *@e point of failure and hence lack of fault toleranee, and heavy eommunieadon costs asraeiated with the central manager. It har been recognized that decentrallzatloddlstributed solutions(More)
A formal analysis of the fault diagnosis capabilities of various FSM-based test sequence selection methods has been carried out'. It is shown' that the Wp-method' has the best fault-resolution capability among all the known test sequence selection methods based on the FSM model when the implementation has at most one faulty transition. In this paper, we(More)