an efficient method to generate feasible paths for basis path testing

Basis path testing is a very powerful structural testing criterion. The number of test paths equals to the cyclomatic complexity of program defined by McCabe. Traditional test generation methods select the paths either without consideration of the constraints of variables or interactively. In this note, an efficient method is presented to generate a set of feasible basis paths. The experiments show that this method can generate feasible basis paths for real-world C programs automatically in acceptable time.

automated test case generation for the stress testing of multimedia systems

With the advancement in network bandwidth and computing power, multimedia systems have become a popular means for information delivery. However, general principles of system testing cannot be directly applied to testing of multimedia systems on account of their stringent temporal and synchronization requirements. In particular, few studies have been made on the stress testing of multimedia systems with respect to their temporal requirements under resource saturation. Stress testing is important because erroneous behavior is most likely to occur under resource saturation. This paper presents an automatable method of test case generation for the stress testing of multimedia systems. It adapts constraint solving techniques to generate test cases that lead to potential resource saturation in a multimedia system. Coverage of the test cases is defined upon the reachability graph of a multimedia system. The proposed stress testing technique is supported by tools and has been successfully applied to a real-life commercial multimedia system. Although our technique focuses on the stress testing of multimedia systems, the underlying issues and concepts are applicable to other types of real-time systems.

Real-time non-destructive testing of dynamic holograms in doubly-doped LiNbO3 crystals using phase-conjugate technique

Nankai University

Aspheric surface testing with a liquid compensatory interferometer

A simple method of testing deep aspheric surfaces is presented. The apparatus consists of a Twyman-Green interferometer and a liquid compensatory container. Two lenses, one with spherical surfaces and the other with a spherical surface and an aspheric surface, were tested by using this method. The device is very simple and easy to assemble. (C) 1998 Society of Photo-Optical Instrumentation Engineers.

Design,Fabrication,and Testing of Single-Side Alignment of 16×0.8nm Arrayed-Waveguide Grating

A novel design of 100GHz-spaced 16channel arrayed-waveguide grating (AWG) based on silica-on-silicon chip is reported.AWG is achieved by adding a Y-branch to the AWG and arranging the input/output channel in a neat row,so the whole configuration can be aligned and packaged using only one fiber-array.This configuration can decrease the device's size,enlarge the minimum radius of curvature,save time on polishing and alignment,and reduce the chip's fabrication cost.

Design, simulation and testing of large area silicon drift detectors and detector array for X-ray spectroscopy

Large area (25 mm(2)) silicon drift detectors and detector arrays (5x5) have been designed, simulated, and fabricated for X-ray spectroscopy. On the anode side, the hexagonal drift detector was designed with self-biasing spiral cathode rings (p(+)) of fixed resistance between rings and with a grounded guard anode to separate surface current from the anode current. Two designs have been used for the P-side: symmetric self-biasing spiral cathode rings (p(+)) and a uniform backside p(+) implant. Only 3 to 5 electrodes are needed to bias the detector plus an anode for signal collection. With graded electrical potential, a sub-nanoamper anode current, and a very small anode capacitance, an initial FWHM of 1.3 keV, without optimization of all parameters, has been obtained for 5.9 keV Fe-55 X-ray at RT using a uniform backside detector.

Reduction-Based Model Updating of a Scaled Offshore Platform Structure

This paper attempts to develop a reduction-based model updating technique for jacket offshore platform structure. A reduced model is used instead of the direct finite-element model of the real structure in order to circumvent such difficulties as huge degrees of freedom and incomplete experimental data that are usually civil engineers' trouble during the model updating. The whole process consists of three steps: reduction of FE model, the first model updating to minimize the reduction error, and the second model updating to minimize the modeling error of the reduced model and the real structure. According to the performance of jacket platforms, a local-rigidity assumption is employed to obtain the reduced model. The technique is applied in a downscale model of a four-legged offshore platform where its effectiveness is well proven. Furthermore, a comparison between the real structure and its numerical models in the following model validation shows that the updated models have good approximation to the real structure. Besides, some difficulties in the field of model updating are also discussed.

Testing a single-aliquot protocol for recuperated OSL dating

IEECAS SKLLQG