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 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.

An automatic step adjustment method for average power analysis technique used in fiber amplifiers

An automatic step adjustment (ASA) method for average power analysis (APA) technique used in fiber amplifiers is proposed in this paper for the first time. In comparison with the traditional APA technique, the proposed method has suggested two unique merits such as a higher order accuracy and an ASA mechanism, so that it can significantly shorten the computing time and improve the solution accuracy. A test example demonstrates that, by comparing to the APA technique, the proposed method increases the computing speed by more than a hundredfold under the same errors. By computing the model equations of erbium-doped fiber amplifiers, the numerical results show that our method can improve the solution accuracy by over two orders of magnitude at the same amplifying section number. The proposed method has the capacity to rapidly and effectively compute the model equations of fiber Raman amplifiers and semiconductor lasers. (c) 2006 Optical Society of America

CALCULATION OF DIELECTRIC-CONSTANTS FOR SEMICONDUCTORS - AN APPLICATION OF ABINITIO PSEUDOPOTENTIAL METHOD

We have used ab initio pseudopotential method to generate basis wavefunctions and eigen energies to carry out first principle calculations of the static macroscopic dielectric constant for GaAs and GaP. The resulted converged random phase approximation (RPA) value is 12.55 and 10.71, in excellent agreement to the experimental value of 12.4 and 10.86, respectively. The inclusion of the exchange correlation contribution makes the calculated result slightly worsen. A convergence test with respect to the number of k points in Brillouin zone (BZ) integration was carried out. Sixty irreducible BZ k points were used to achieve the converged results. Integration with only 10 special k points increased the RPA value by 15%.

Choice of calibration equations of the TSM method

For the reciprocal-test fixtures, there are six independent S-parameters to. be determined, and the thru-short-match (TSM) calibration can provide eight calibration equations. In this paper, the relation of calibration equations is investigated. It has been shown that the four equations obtained from the measurement with a transmission standard can be used simultaneously in the calibration. Experimental results show that the different choice of equations will lead to quite different solution, and the calibration accuracy can be improved by taking advantages of the established relation among the calibration equations and properly choosing calibration equations.

Study on the forecast effects of PI method to the north and southwest China

In this paper, the codes of Pattern Informatics (PI) method put forward by Rundle et al. have been worked out according to their algorithm published, and the retrospective forecast of PI method to North China (28.0 degrees-42.0 degrees N, 108.0 degrees-125.0 degrees E) and to Southwest China (22.0 degrees-28.3 degrees N, 98.0 degrees-106.0 degrees E) has been tested. The results show that the hit rates in different regions show a great difference. In Southwest China, 32 earthquakes with M(L)5.0 or larger have occurred during the predicted time period 2000-2007, and 26 out of the 32 earthquakes occurred in or near the hot spots. In North China, the total number of M(L)5.0 or larger was 12 during the predicted time period 2000-2007, and only 3 out of the 12 earthquakes occurred in or near the hot spots. From our results, we hold that if the PI method could be applied to all kinds of regions, the parameters associated with time points and time windows should be chosen carefully to obtain the higher hit rate. We also found that the aftershocks in a strong earthquake sequence affect the PI results obviously. Copyright (c) 2009 John Wiley & Sons, Ltd.

Study on the forecast effects of PI method to the north and southwest China

In this paper, the codes of Pattern Informatics (PI) method put forward by Rundle et al. have been worked out according to their algorithm published, and the retrospective forecast of PI method to North China (28.0 degrees-42.0 degrees N, 108.0 degrees-125.0 degrees E) and to Southwest China (22.0 degrees-28.3 degrees N, 98.0 degrees-106.0 degrees E) has been tested. The results show that the hit rates in different regions show a great difference. In Southwest China, 32 earthquakes with M(L)5.0 or larger have occurred during the predicted time period 2000-2007, and 26 out of the 32 earthquakes occurred in or near the hot spots. In North China, the total number of M(L)5.0 or larger was 12 during the predicted time period 2000-2007, and only 3 out of the 12 earthquakes occurred in or near the hot spots. From our results, we hold that if the PI method could be applied to all kinds of regions, the parameters associated with time points and time windows should be chosen carefully to obtain the higher hit rate. We also found that the aftershocks in a strong earthquake sequence affect the PI results obviously. Copyright (c) 2009 John Wiley & Sons, Ltd.

Application of the characteristic CIP method to a shallow water model on the sphere

Semi-implicit algorithms are popularly used to deal with the gravitational term in numerical models. In this paper, we adopt the method of characteristics to compute the solutions for gravity waves on a sphere directly using a semi-Lagrangian advection scheme instead of the semi-implicit method in a shallow water model, to avoid expensive matrix inversions. Adoption of the semi-Lagrangian scheme renders the numerical model always stable for any Courant number, and which saves CPU time. To illustrate the efficiency of the characteristic constrained interpolation profile (CIP) method, some numerical results are shown for idealized test cases on a sphere in the Yin-Yang grid system.

Design Study of a Heavily Loaded Ice Class Propeller Using an Advance Panel Method

A design and optimization procedure developed and used for a propeller installed on a twin-semitunnel-hull ship navigating in very shallow and icy water under heavy load conditions is presented. The base propeller for this vessel was first determined using classic design routines under open-water condition with existing model test data. In the optimization process, a panel method code (PROPELLA) was used to vary the pitch values and distributions and take into account the inflow wake distribution, tunnel gap, and cavitation effects. The optimized propeller was able to improve a ship speed of 0.02 knots higher than the desired speed and 0.06 knots higher than the classic B-series propeller. The analysis of the effect of inflow wake, hull tunnel, cavitation, and blade rake angle on propulsive performance is the focus of this paper.

Excretion pattern investigation of urinary normal and modified nucleosides of breast cancer patients by RP-HPLC and factor analysis method

Modified nucleosides, formed post-transcriptionally in RNA by a number of modification enzymes, are excreted in abnormal levels in the urine of patients with malignant tumors. To test their usefulness as tumor markers, and to compare them with the conventional tumor markers, a reversed-phase high-performance liquid chromatographic (RP-HPLC) method and a factor analysis method have been used to study the excretion pattern of nucleosides of breast cancer patients. A clear cut differentiation of the breast cancer group and the healthy individuals in two clusters without overlapping was obtained. Copyright (C) 2000 John Wiley & Sons, Ltd.

Novel Method for Preparation of Polypropylene Blends with High Melt Strength by Reactive Compounding

Ultrafine full-vulcanized polybutadiene rubber(UFBR) with particle sizes of ca. 50-100 nm were used for modifying mechanical and processing performances of polypropylene(PP) with PP-g-maleic anhydride(PP-g-MA) as a compatibilizer for enhancing the interfacial adhesion between the two components. The morphology, dynamical rheology response and mechanical properties of the blends were characterized by means of SEM, rheometer and tensile test, respectively.

A double logarithmic method for studying the adsorption effects in an irreversible electrochemical process

The adsorption of an electroinactive product greatly influences an irreversible electrochemical reaction in three ways, including self-block, self-inhibition, and self-acceleration, and changes not only the heterogeneous electron-transfer rate constant but also the modified formal potential and electron-transfer coefficient of the electrochemical reaction. In order to study these adsorption effects, a double logarithmic method was suggested to be used in processing the potential-controlled thin layer spectroelectrochemical data. The result shows three types of double logarithmic plots for three kinds of adsorption effects. These double logarithmic plots can be a diagnostic criterion of the adsorption effects and enable us to determine some thermodynamic and kinetic parameters. The combination of nonlinear regression with double logarithmic method is a convenient way to examine the suggested mechanism and to extract more information from the limited experimental data. Some examples are given to test the theoretical results. (C) 1999 The Electrochemical Society. S0013-4651(98)05-012-5. All rights reserved.

Genetic analysis of the gametophytes of Undaria pinnatifida (Phaeophyceae) with ISSR method

Inter-simple sequence repeat (ISSR) analysis was used to assess eleven pairs of Undaria pinnatifida (Harv.) Suringar male and female gametophytes. After screening fifty primers, 18 ISSR primers were selected for final analysis. A total of 104 loci were obtained, of which 77 were polymorphic, among the gametophytes studied. Genetic relationships were analyzed with simple matching (S), Jaccard's (J) and Dice's (D) distance coefficients. Little genetic variations were found among the selected Undaria gametophytes, for instance, the genetic distances ranging from 0.010 to 0.125 with Dice coefficients. UPGMA dendrograms showed that 11 pairs of Undaria gametophytes were distributed into five groups. Most Undaria strains cultivated in China exhibited closely genetic relationships with the strains from Japan. However, gametophytes from Qingdao appeared as distinct clades from other Undaria strains with all three distance coefficients used. Mantel test showed that the three distance measurements generated congruent clustering patterns on the same data. Our results demonstrated the feasibility of applying ISSR markers for genetic analysis of Undaria gametophytes. (c) 2006 Elsevier B.V. All rights reserved.

A HYBRID METHOD OF FRACTIONAL STEPS WITH PREDICTOR-CORRECTOR DIFFERENCE-PSEUDOSPECTRUM FOR NUMERICAL-SOLUTION OF THE CONVECTION-DOMINATED FLOW PROBLEMS

A fractional-step method of predictor-corrector difference-pseudospectrum with unconditional L(2)-stability and exponential convergence is presented. The stability and convergence of this method is strictly proved mathematically for a nonlinear convection-dominated flow. The error estimation is given and the superiority of this method is verified by numerical test.