Anindya Das

Software testing based on SDL specifications with save

The signal save construct is one of the features distinguishing SDL from traditional high-level specification and programming languages. However, this feature increases the difficulties of testing SDL-specified software. We present a testing approach consisting of the following three phases: SDL specifications are first abstracted into finite state machines with save constructs, called SDL-machines; the resulting SDL-machines are then transformed into equivalent finite state machines without save constructs if this is possible; and, finally, test cases are selected from the resulting finite state machines. Since there are many existing methods for the first and third phases, we mainly concentrate upon the second phase and come up with a method of transforming SDL-machines into equivalent finite state machines, which preserve the same input/output relationship as in the original SDL-machines. The transformation method is useful not only for testing but also for verifying SDL-specified software. >

A Unified Test Case Generation Method for the EFSM Model Using Context Independent Unique Sequences

Automatic test case generation from protocol standards is a means of selecting high quality test cases efficiently. Recently, International Organization for Standards (ISO) has established a working group for studying the application of Formal Methods in Conformance Testing (FMCT) [5]. One of the primary aims of this group is to enable computer-aided test case generation from protocol standards specified in Formal Description Techniques (FDT) such as Estelle [2], SDL [3], and LOTOS [4]. In this paper, we present a new method for automatically generating test cases for both control flow and data flow aspects of a protocol which is represented as an Extended Finite State Machine (EFSM) as defined in [21].

Diagnosis of t/(t +1) -Diagnosable Systems

A classic PMC (Preparata, Metze, and Chien) multiprocessor system [F. P. Preparata, G. Metze, and R. T. Chien, IEEE Trans. Electr. Comput., EC-16 (1967), pp. 848--854] composed of

Multiprocessor fault diagnosis under local constraints

n

Review: Fault detection and diagnosis capabilities of test sequence selection methods based on the FSM model

units is said to be

On testing and diagnosis of communication protocols based on the FSM model

t/(t+1)

Failure-equivalent transformation of transition systems to avoid internal actions

diagnosable [A. D. Friedman, A new measure of digital system diagnosis, in Dig. 1975 Int. Symp. Fault-Tolerant Comput., 1975, pp. 167--170] if, given a syndrome (complete collection of test results), the set of faulty units can be isolated to within a set of at most

Modeling and formal specification of the personal communication service

t+1

A generalization of the multiple UIO method of test sequence selection for protocols represented in FSM

units, assuming that at most

DIAGNOSIS OF t/s-DIAGNOSABLE SYSTEMS

t