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.

Universal Biot number determining stress duration and susceptibility of ceramic cylinders to quenching

A universal Biot number, which not only describes the susceptibility of ceramic cylinders to quenching but also determines the duration that ceramic cylinders are subjected to thermal stress during thermal shock, is theoretically obtained. The analysis proves that thermal shock failure of ceramic cylinders with a Biot number greater than the critical value is a rapid process, which only occurs in the initial heat conduction regime. The results provide a guide to the selection of ceramic materials for thermostructural engineering, with particular reference to thermal shock.

Roles of sorting and chemical weathering in the geochemistry and magnetic susceptibility of Xiashu loess；East China

IEECAS SKLLQG