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)
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)
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)