Learn More
Different test sequence selection methods, namely, the Dmethod, C-method, W-method, T-method, U-method, Uvmethod 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(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)
ABSTRACT 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)
In this correspondence, we study fault diagnosis of multiprocessor systems when fault constraints in the local domain of each processor are specified. We use the comparison-based model. A multiprocessor system S is pin -L diagnosable, if given a syndrome, all faulty processors can be uniquely identified provided there are at most t faulty processors in the(More)
A series of acylguanidine-modified zanamivir analogs were synthesized and their inhibitory activities against the NAs of avian influenza viruses (H1N1 and H3N2) were evaluated. In particular, zanamivir derivative , with a hydrophobic naphthalene substituent, exhibits the best inhibitory activity against group-1 NA with an IC50 of 20 nM.