一种基于过程图模型的编译优化测试程序自动生成方法

近年来,以数据依赖分析为基础的高级编译优化成为现代编译器的重要研发内容.针对这类编译优化的测试问题提出了一种测试程序自动生成方法,能够根据指定的数据依赖特征生成测试程序.首先设计了LoSpec语言用以描述测试程序,然后采用一种便于表示数据依赖关系的模型——过程图作为中间表示模型实现了测试程序的自动生成,并开发了自动测试工具LoTester.与已有方法相比,该方法对高级优化更具针对性,自动化程度较高.LoTester目前在一款面向多媒体应用的优化编译器EECC的开发中得到应用并获得了良好效果.

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.

Fracture properties of silicon carbide thin films by bulge test of long rectangular membrane

This paper reports the mechanical properties and fracture behavior of silicon carbide (3C-SiC) thin films grown on silicon substrates. Using bulge testing combined with a refined load-deflection model of long rectangular membranes, which takes into account the bending stiffness and prestress of the membrane material, the Young's modulus, prestress, and fracture strength for the 3C-SiC thin films with thicknesses of 0.40 and 1.42 mu m were extracted. The stress distribution in the membranes under a load was calculated analytically. The prestresses for the two films were 322 +/- 47 and 201 +/- 34 MPa, respectively. The thinner 3C-SiC film with a strong (111) orientation has a plane-gstrain moduli of 415 +/- 61 GPa, whereas the thicker film with a mixture of both (111) and (110) orientations exhibited a plane-strain moduli of 329 +/- 49 GPa. The corresponding fracture strengths for the two kinds of SiC films were 6.49 +/- 0.88 and 3.16 +/- 0.38 GPa, respectively. The reference stresses were computed by integrating the local stress of the membrane at the fracture over edge, surface, and volume of the specimens and were fitted with Weibull distribution function. For the 0.40-mu m-thick membranes, the surface integration has a better agreement between the data and the model, implying that the surface flaws are the dominant fracture origin. For the 1.42-mu m-thick membranes, the surface integration presented only a slightly better fitting quality than the other two, and therefore, it is difficult to rule out unambiguously the effects of the volume and edge flaws.

Bulge testing and fracture properties of plasma-enhanced chemical vapor deposited silicon nitride thin films

The mechanical properties and fracture behavior of silicon nitride (SiNx) thin film fabricated by plasma-enhanced chemical vapor deposition is reported. Plane-strain moduli, prestresses, and fracture strengths of silicon nitride thin film; deposited both oil a bare Si substrate and oil a thermally oxidized Si substrate were extracted using bulge testing combined with a refined load-deflection model of long rectangular membranes. The plane-strain modu i and prestresses of SiNx thin films have little dependence on the substrates, that is, for the bare Si substrate, they are 133 +/- 19 GPa and 178 +/- 22 MPa, respectively, while for the thermally oxidized substrate, they are 140 +/- 26 Gila and 194 +/- 34 MPa, respectively. However, the fracture strength values of SiNx films grown on the two substrates are quite different, i.e., 1.53 +/- 0.33 Gila and 3.08 +/- 0.79 GPa for the bare Si substrate a A the oxidized Si substrate, respectively. The reference stresses were computed by integrating the local stress of the membrane at the fracture over the edge, Surface, and volume of the specimens and fitted with the Weibull distribution function. For SiNx thin film produced oil the bare Si Substrate, the Volume integration gave a significantly better agreement between data and model, implying that the volume flaws re the dominant fracture origin. For SiNx thin film grown on the oxidized Si substrate, the fit quality of surface and edge integration was significantly better than the Volume integration, and the dominant surface and edge flaws could be caused by buffered HF attacking the SiNx layer during SiO2 removal. Crown Copyright (C) 2008 Published by Elsevier B.V. All rights reserved.

Electron beam and laser testing on the novel stripixel detectors

The novel Si stripixel detector, developed at BNL (Brookhaven National Laboratory), has been applied in the development of a prototype Si strip detector system for the PHENIX Upgrade at RHIC. The Si stripixel detector can generate X-Y two-dimensional (2D) position sensitivity with single-sided processing and readout. Test stripixel detectors with pitches of 85 and 560 mu m have been subjected to the electron beam test in a SEM set-up, and to the laser beam test in a lab test fixture with an X-Y-Z table for laser scanning. Test results have shown that the X and Y strips are well isolated from each other, and 2D position sensitivity has been well demonstrated in the novel stripixel detectors. (c) 2005 Elsevier B.V. All rights reserved.

Fracture properties of silicon carbide thin films charcterized by bulge test of long membranes

The mechanical properties and fracture behavior of silicon carbide (3C-SiC) thin films grown on silicon substrates were characterized using bulge testing combined with a refined load-deflection model for long rectangular membranes. Plane-strain modulus E-ps, prestress so, and fracture strength s(max) for 3C-SiC thin films with thickness of 0.40 mu m and 1.42 mu m were extracted. The E, values of SiC are strongly dependent on grain orientation. The thicker SIC film presents lower so than the thinner film due to stress relaxation. The s(max) values decrease with increasing film thickness. The statistical analysis of the fracture strength data were achieved by Weibull distribution function and the fracture origins were predicted.

Thermal test and analysis of concentrator solar cells - art. no. 684117

Under high concentration the temperature of photovoltaic solar cells is very high. It is well known that the efficiency and performance of photovoltaic solar cells decrease with the increase of temperature. So cooling is indispensable for a concentrator photovoltaic solar cell at high concentration. Usually passive cooling is widely considered in a concentrator system. However, the thermal conduction principle of concentrator solar cells under passive cooling is seldom reported. In this paper, GaInP/GaAs/Ge triple junction solar cells were fabricated using metal organic chemical vapor deposition technique. The thermal conductivity performance of monolithic concentrator GaInP/GaAs/Ge cascade solar cells under 400X concentration with a heat sink were studied by testing the surface and backside temperatures of solar cells. The tested result shows that temperature difference between both sides of the solar cells is about 1K. A theoretical model of the thermal conductivity and thermal resistance of the GaInP/GaAs/Ge triple junction solar cells was built, and the calculation temperature difference between both sides of the solar cells is about 0.724K which is consistent with the result of practical test. Combining the theoretical model and the practical testing with the upper surface temperature of tested 310K, the temperature distribution of the solar cells was researched.

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.

a backtracking search tool for constructing combinatorial test suites

Combinatorial testing is an important testing method. It requires the test cases to cover various combinations of parameters of the system under test. The test generation problem for combinatorial testing can be modeled as constructing a matrix which has certain properties. This paper first discusses two combinatorial testing criteria: covering array and orthogonal array, and then proposes a backtracking search algorithm to construct matrices satisfying them. Several search heuristics and symmetry breaking techniques are used to reduce the search time. This paper also introduces some techniques to generate large covering array instances from smaller ones. All the techniques have been implemented in a tool called EXACT (EXhaustive seArch of Combinatorial Test suites). A new optimal covering array is found by this tool.

automated test program generation for an industrial optimizing compiler

Association for Computing Machinery, ACM; IEEE; IEEE Computer Society; SIGSOFT

Application of Neomysis awatschensis as a standard marine toxicity test organism in China

The small mysid crustacean Neomysis awatschensis was collected in the west coast of Jiaozhou Bay, Qingdao, China in 1992 and acclimated and cultured in laboratory conditions since then. Standard acute toxicity tests using 4-6 d juvenile mysids of this species were conducted and the results were compared with Mysidopsis bahia, a standard toxicity test organism used in the US in terms of their sensitivities to reference toxins, as well as their taxonomy, morphology and geographic distributions. Because of its wide distribution along the Chinese coast, similar sensitivity to pollutants as M. bahia, short life history, small size and the case of handling, this study intended to use N. awatschensis as one of the standard marine organisms for toxicity testing in China. The species were applied to acute toxicity evaluations of drilling fluid and its additives I organotin TPT and toxic algae, and to chronic ( life cycle) toxicity assays of organotin TPT and a toxic dinofalgellate Alexandrium tamarense, respectively. Using N, awatschensis as a standard toxicity testing organism in marine pollution assessment in China is suggested.

Development of an in vitro multicellular tumor spheroid model using microencapsulation and its application in anticancer drug screening and testing

In this study, an in vitro multicellular tumor spheroid model was developed using microencapsulation, and the feasibility of using the microencapsulated. multicellular tumor spheroid (MMTS) to test the effect of chemotherapeutic drugs was investigated. Human MCF-7 breast cancer cells were encapsulated in alginate-poly-L-lysine-alginate (APA) microcapsules, and a single multicellular spheroid 150 mu m in diameter was formed in the microcapsule after 5 days of cultivation. The cell morphology, proliferation, and viability of the MMTS were characterized using phase contrast microscopy, BrdU-Iabeling, MTT stain, calcein AM/ED-2 stain, and H&E stain. It demonstrated that the MMTS was viable and that the proliferating cells were mainly localized to the periphery of the cell spheroid and the apoptotic cells were in the core. The MCF-7 MMTS was treated with mitomycin C (MC) at a concentration of 0.1, 1, or 10 times that of peak plasma concentration (ppc) for up to 72 h. The cytotoxicity was demonstrated. clearly by the reduction in cell spheroid size and the decrease in cell viability. The MMTS was further used to screen the anticancer effect of chemotherapeutic drugs, treated with MC, adriamycin (ADM) and 5-fluorouracil (5-FU) at concentrations of 0.1, 1, and 10 ppc for 24, 48, and 72 h. MCF-7 monolayer culture was used as control. Similar to monolayer culture, the cell viability of MMTS was reduced after treatment with anticancer drugs. However, the inhibition rate of cell viability in MMTS was much lower than that in monolayer culture. The MMTS was more resistant to anticancer drugs than monolayer culture. The inhibition rates of cell viability were 68.1%, 45.1%, and 46.8% in MMTS and 95.1%, 86.8%, and 91.6% in monolayer culture treated with MC, ADM, and 5-FU at 10 ppc for 72 h, respectively. MC showed the strongest cytotoxicity in both MMTS and monolayer, followed by 5-FU and ADM. It demonstrated that the MMTS has the potential to be a rapid and valid in vitro model to screen chemotherapeutic drugs with a feature to mimic in vivo three-dimensional (3-D) cell growth pattern.