The paper studies testing based on input/output transition systems, also known as input/output automata. It is assumed that a tester can never prevent an implementation under test (IUT) from producing outputs, while the IUT does not block inputs from the tester, either. Thus, input from the...
to the data to be tested.;SOLUTION: An input-output testing system comprises a pseudo disk device 2 to perform pseudo operations of a magnetic disk device, an information processor 1 to evaluate results of the operations performed by the device 2, a pseudo items communication means 53 to ...
In testing, though, there is an asymmetry: the system under test (SUT) controls outputs, while the tester controls inputs. In this paper, we follow a suggestion in [19] to define a stable- failures model parameterised by sets I and O of input and output events. We call it the input...
From input to output : a teacher's guide to second language acquisition This new title in the McGraw-Hill Second Language Professional Series provides an eminently accessible overview of key issues in second language acquisition research, written expressly for second language teachers. Avoiding highly ...
Model based testing Input–output conformance testing Software product lines Input–output featured transition systems 1. Introduction 1.1. Motivation Software product lines (SPLs) have been proposed as a response to the ever-increasing demand for mass production and mass customization of software. Since...
The present invention allows parallel testing of arrays using only one input/output (I/O or DQ) to write to the arrays and only two DQs to read from the arrays. The broad search should be directed to methods of compressing the time and number of I/O's required for testing wide, high...
6(b), there are now two output detections: one from Detector 5 and the other from Detector 6. Although there are still two possible matches for the output from Detector 6, there is only one input detection to match with the output from Detector 5. The algorithm will output the movement ...
Increasing attention has been given to the development of specific techniques to deal with interconnections between outputs, inputs, and undesirable output
For testing of the initially - and an output driver (3, 4) of a circuit (1), in particular of an integrated semiconductor circuit, it is proposed that the the individual signal connections (2) of the circuit to be tested (1) associated initially - or output drivers (3, 4) in series...
(1) the PTAP algorithm, which transforms a set of input–output traces into an incomplete Moore machine and then completes the machine with self-loops; (2) the PRPNI algorithm, which uses the well-known RPNI algorithm for automata learning to learn a product of automata encoding a Moore ...