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.

基于形式描述的编译优化自动测试方法与技术研究

编译优化是现代编译器不可缺少的重要功能。编译优化技术在过去几十年里取得了显著进展，对提升程序运行速度、节省存储空间、节省能耗等起到了不可替代的作用。然而，编译优化的可靠性却不尽人意。编译优化技术种类多、处理复杂而且可复用性弱，容易出错，即便是成熟的编译器，也不断有与编译优化相关的bug被发现出来。编译器的可靠性对软件产品的可靠性和安全性有直接影响，随着编译优化在现代编译器中的比重不断增加，编译优化的可靠性也日益受到人们的关注。 软件测试是保障编译优化可靠性的基本技术手段之一，然而，编译优化测试涉及测试程序编写、测试执行等过程，人工完成相当费时费力，因此有必要研究编译优化自动测试方法，以提高编译优化测试的效率。基于这一实际需求，Intel、MEI (Matsushita Electric Industrial)、DaimlerChrysler AG等业界产商近年来也相继与有关研究机构开展合作，研究编译优化自动测试方法。 目前已有的编译器自动测试方法中大多数都是以程序设计语言的语法和语义为主要依据，适用于测试语法检查、语义检查、代码生成等基本编译功能，对于编译优化的测试则缺乏针对性，测试效率较低，而已有的若干种面向编译优化的自动测试方法也存在着对编译优化刻画不够准确、自动化程度不高等缺陷。 本文提出一种基于形式描述的编译优化自动测试方法(TEMCOFS)，其实现过程分为四个阶段，即：(1) 建立编译优化形式描述；(2) 分析编译优化描述的正确性；(3) 基于编译优化形式描述自动生成测试程序；(4) 自动执行测试。在TEMCOFS方法框架下，本文分别研究了编译优化形式化描述方法、编译优化描述正确性分析方法和基于形式描述的两种自动测试方法，实现了三类典型优化—表达式优化、数据流优化、循环优化的自动测试，主要工作包括： (1) 在编译优化形式描述方面，除了应用前人研究成果—TRANS语言描述了表达式优化和数据流优化之外，还对TRANS语言进行了扩展，建立了循环优化的形式描述机制； (2) 在编译优化正确性分析方面，首先证明了揭示程序数据依赖关系对程序变换正确性影响的依赖基础定理，为循环优化正确性分析提供了基础，然后探讨了编译优化正确性分析的一般方法； (3) 在测试自动执行方面，提出了编译优化自动变形测试执行方法，该方法将变形测试思想引入编译优化测试中，利用测试程序等价性质实现测试结果的自动判定，能够避免传统方法中测试结果判定所存在的问题； (4) 在测试程序自动生成方面，分别对应两种测试自动执行方法—比照法和变形法提出了基于编译优化形式描述的测试程序自动生成方法，能够根据表达式优化、数据流优化、循环优化的形式描述自动生成测试程序集。 在GCC编译器上的实验表明，基于本文方法自动生成的测试程序集可使GCC的编译优化模块较快达到较高的测试覆盖率。与其他编译器自动测试方法相比，本文方法对编译优化测试的针对性较好，自动化程度也较高。总而言之，本文方法对于提高编译优化测试效率、保障优化编译器的质量具有较好的实用和参考价值。

Optical response in a quantum dot superlattice nanoring under a lateral electric field

The optical absorption of a GaAs/AlGaAs quantum dot superlattice nanoring (QDSLNR) under a lateral dc electric field and with magnetic flux threading the ring is investigated. This structure and configuration provides a unique opportunity to study the optical response of a superlattice under an inhomogeneous electric field, which is not easily realized for general quantum well superlattices (QWSLs) but naturally realized for QDSLNRs under a homogeneous lateral electric field. It has been shown that a lateral dc electric field gives rise to a substantial change of the optical absorption spectra. Under a low field, the excitonic optical absorption is dominated by a 1s exciton. And with the electric field increasing, the optical absorption undergoes a transition from 1s excitonic absorption to 0 excitronic WSL absorption. (The number of 0, and -1 and +1 below are WSLs index.) The -1 and the +1 WSLs corresponding to the maximum effective field can also be identified. Due to the inhomogeneity of the electric field, the peaks of the -1 and the +1 WSLs are diminished and between them there exist rich and complicated structures. This is in contrast to the general QWSLs under a homogenous electric field. The complicated structures can be understood by considering the inhomogeneity of the electric field along the ring, which results in the nearest-neighbor transition, the next-nearest-neighbor transition, etc., have a different value repectively, at different sites along the ring. This may give rise to multiple WSLs. We have also shown that the line shape of the optical absorption is not sensitive to the threading magnetic flux. The threading magnetic flux only gives rise to a slight diamagnetic shift. Thus the enhancement of the sensitivity to the flux allowing for observation of the excitonic Aharanov-Bohm effect in the plain nanoring is not expected in QDSLNRs.

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.

Reduce of threshold of laser inducing breakdown in atmosphere by introducing an electric spark

We report laser-generated plasmas in atmosphere with electrical spark generated by a synchronization circuit. The breakdown thresholds under the conditions that the electrical spark is used and not used are compared. The breakdown threshold has a distinct decrease after the electrical spark is used. Breakdown thresholds as a function of atmosphere pressure have also been measured at laser wavelengths 532 nm and 1064 rim for the laser pulse width of 15ns. We also discuss the principle and performances of the ionized atmosphere by Nd:YAG laser under the condition of electrical spark introduction. Multiphoton ionization and cascade ionization play important roles in the whole process of atmosphere ionization. The free electron induced by electrical spark can supply the initialization free electron number for multiphoton ionization and cascade ionization. A model for breakdown in atmosphere, which is in good agreement with the experimental results, is described.

NEW FORMATION MECHANISM OF ELECTRIC-FIELD DOMAIN DUE TO GAMMA-X SEQUENTIAL TUNNELING IN GAAS/ALAS SUPERLATTICES

We have studied the sequential tunneling of doped weakly coupled GaAs/ALAs superlattices (SLs), whose ground state of the X valley in AlAS layers is designed to be located between the ground state (E(GAMMA1)) and the first excited state (E(GAMMA2)) of the GAMMA valley in GaAs wells. The experimental results demonstrate that the high electric field domain in these SLs is attributed to the GAMMA-X sequential tunneling instead of the usual sequential resonant tunneling between subbands in adjacent wells. Within this kind of high field domain, electrons from the ground state in the GaAs well tunnel to the ground state of the X valley in the nearest AlAs layer, then through very rapid real-space transfer relax from the X valley in the AlAs layer to the ground state of the GAMMA valley of the next GaAs well.