Testing based on the RELAY model of error detection

RELAY, a model for error detection, defines revealing conditions that guarantee that a fault originates an error during execution and that the error transfers through computations and data flow until it is revealed. This model of error detection provides a fault-based criterion for test data selection. The model is applied by choosing a fault classification, instantiating the conditions for the classes of faults, and applying them to the program being tested. Such an application guarantees the detection of errors caused by any fault of the chosen classes. As a formal mode of error detection, RELAY provides the basis for an automated testing tool. This paper presents the concepts behind RELAY, describes why it is better than other fault-based testing criteria, and discusses how RELAY could be used as the foundation for a testing system

On Error Detection in Asymmetric Channels

We study the error detection problem in $q$-ary asymmetric channels wherein every input symbol $x_i$ is mapped to an output symbol $y_i$ satisfying $y_i \geq x_i$. A general setting is assumed where the noise vectors are (potentially) restricted in: 1) the amplitude, $y_i - x_i \leq a$, 2) the Hamming weight, $\sum_{i=1}^n 1_{\{y_i \neq x_i\}} \leq h$, and 3) the total weight, $\sum_{i=1}^n (y_i - x_i) \leq t$. Optimal codes detecting these types of errors are described for certain sets of parameters $a, h, t$, both in the standard and in the cyclic ($\operatorname{mod}\, q$) version of the problem. It is also demonstrated that these codes are optimal in the large alphabet limit for every $a, h, t$ and every block-length $n$.Comment: 4 pages, 2 figure

Integrated analysis of error detection and recovery

An integrated modeling and analysis of error detection and recovery is presented. When fault latency and/or error latency exist, the system may suffer from multiple faults or error propagations which seriously deteriorate the fault-tolerant capability. Several detection models that enable analysis of the effect of detection mechanisms on the subsequent error handling operations and the overall system reliability were developed. Following detection of the faulty unit and reconfiguration of the system, the contaminated processes or tasks have to be recovered. The strategies of error recovery employed depend on the detection mechanisms and the available redundancy. Several recovery methods including the rollback recovery are considered. The recovery overhead is evaluated as an index of the capabilities of the detection and reconfiguration mechanisms

Simultaneous message framing and error detection

Circuitry simultaneously inserts message framing information and detects noise errors in binary code data transmissions. Separate message groups are framed without requiring both framing bits and error-checking bits, and predetermined message sequence are separated from other message sequences without being hampered by intervening noise

Entropy-difference based stereo error detection

Stereo depth estimation is error-prone; hence, effective error detection methods are desirable. Most such existing methods depend on characteristics of the stereo matching cost curve, making them unduly dependent on functional details of the matching algorithm. As a remedy, we propose a novel error detection approach based solely on the input image and its depth map. Our assumption is that, entropy of any point on an image will be significantly higher than the entropy of its corresponding point on the image's depth map. In this paper, we propose a confidence measure, Entropy-Difference (ED) for stereo depth estimates and a binary classification method to identify incorrect depths. Experiments on the Middlebury dataset show the effectiveness of our method. Our proposed stereo confidence measure outperforms 17 existing measures in all aspects except occlusion detection. Established metrics such as precision, accuracy, recall, and area-under-curve are used to demonstrate the effectiveness of our method

Iterative Multiuser Minimum Symbol Error Rate Beamforming Aided QAM Receiver

A novel iterative soft interference cancellation (SIC) aided beamforming receiver is developed for high-throughput quadrature amplitude modulation systems. The proposed SIC based minimum symbol error rate (MSER) multiuser detection scheme guarantees the direct and explicit minimization of the symbol error rate at the output of the detector. Adopting the extrinsic information transfer (EXIT) chart technique, we compare the EXIT characteristics of an iterative MSER multiuser detector (MUD) with those of the conventional minimum mean-squared error (MMSE) detector. As expected, the proposed SIC-MSER MUD outperforms the SIC-MMSE MUD. Index Terms—Beamforming, iterative multiuser detection, minimum symbol error rate, quadrature amplitude modulation