Showing papers on "Test harness published in 1984"
TL;DR: In this paper, a test sequence generation algorithm for finite state machines is presented, where the tester or responder processes are forced to consider the timing of an interaction in which they have not taken part.
Abstract: Protocol testing for the purpose of certifying the implementation's adherence to the protocol specification can be done with a test architecture consisting of remote tester and local responder processes generating specific input stimuli, called test sequences, and observing the output produced by the implementation under test. It is possible to adapt test sequence generation techniques for finite state machines, such as transition tour, characterization, and checking sequence methods, to generate test sequences for protocols specified as incomplete finite state machines. For certain test sequences, the tester or responder processes are forced to consider the timing of an interaction in which they have not taken part; these test sequences are called nonsynchronizable. The three test sequence generation algorithms are modified to obtain synchronizable test sequences. The checking of a given protocol for intrinsic synchronization problems is also discussed. Complexities of synchronizable test sequence generation algorithms are given and complete testing of a protocol is shown to be infeasible. To extend the applicability of the characterization and checking sequences, different methods are proposed to enhance the protocol specifications: special test input interactions are defined and a methodology is developed to complete the protocol specifications.
137 citations
TL;DR: This is a module of The FMS Software Library developed by the author and it is shown that the TESTROBOT program, which automates the very labor-intensive and therefore time-heavy and expensive operation of the FMS software library, has real-time applications.
Abstract: The results and description of the TESTROBOT program are presented. This is a module of The FMS Software Library developed by the author.
15 citations
01 Jun 1984
TL;DR: A highly automated approach for validating the consistency of distinct representations of an identical software functionality based on checking whether the observable behaviors presented by software functionality representations given in different levels of abstraction are consistent with one another.
Abstract: A highly automated approach is proposed for validating the consistency of distinct representations of an identical software functionality. This approach is based on checking whether the observable behaviors presented by software functionality representations given in different levels of abstraction are consistent with one another. These representations are encoded in a relatively mechanical way as procedures in sequential PROLOG, a very high level language. The approach is extremely flexible, straight-forward to use, and particularly appropriate to layered protocol architectures. As well, the approach leads to more reliable and less tedious, less error-prone test harness construction and maintenance. A number of variations and extensions of the approach are given. The use of this approach is illustrated in the context of communication protocols design and evaluation.
7 citations
03 Dec 1984
2 citations
01 Jan 1984
TL;DR: The ways in which the use of prototyping can aid in the development of large multiprocess real-time systems are discussed and the MASCOT methods for design and construction of such systems are shown to be well suited to support such methods of development.
Abstract: The ways in which the use of prototyping can aid in the development of large multiprocess real-time systems are discussed; and the MASCOT (Modular Approach to Software Construction, Operation and Test) methods for design and construction of such systems are shown to be well suited to support such methods of development.
1 citations