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.

Parallel Fully-Implicit Computation of Magnetohydrodynamics Acceleration Experiments

A three-dimensional MHD solver is described in the paper. The solver simulates reacting flows with nonequilibrium between translational-rotational, vibrational and electron translational modes. The conservation equations are discretized with implicit time marching and the second-order modified Steger-Warming scheme, and the resulted linear system is solved iteratively with Newton-Krylov-Schwarz method that is implemented by PETS,: package. The results of convergence tests arc plotted, which show good scalability and convergence around twice faster when compared with the DPLR method. Then five test runs are conducted simulating the experiments done at the NASA Ames MHD channel, and the calculated pressures, temperatures, electrical conductivity, back EMF, load factors and flow accelerations are shown to agree with the experimental data. Our computation shows that the electrical conductivity distribution is not uniform in the powered section of the MHD channel, and that it is important to include Joule heating in order to calculate the correct conductivity and the MHD acceleration.

automated test program generation for an industrial optimizing compiler

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

Efficient and Divergent Synthesis of Fully Substituted 1H-Pyrazoles and

Efficient and divergent one-pot synthesis of fully substituted 1H-pyrazoles and isoxazoles from cyclopropyl oximes based on reaction conditions selection is reported. Under Vilsmeier conditions (POCl3/DMF), substituted 1H-pyrazoles were synthesized from 1-carbamoyl, 1-oximyl cyclopropanes via sequential ring-opening, chlorovinylation, and intramolecular aza-cyclization. In the presence of POCl3/CH2Cl2, substituted isoxazoles were obtained from the cyclopropyl oximes via ring-opening and intramolecular nucleophilic vinylic substitution (SNV) reactions

Thermal properties and crystallization behavior of ultrafine fully-vulcanized powdered rubber particle toughened polypropylene

Thermal properties and crystallization-behavior of ultrafine fully-vulcanized powdered rubber (UFPR) toughened poly propylene (PP) were studied by Differential scanning calorimetry (DSC) and Wide angle X-ray diffraction (WAXD) measurements. It was found that the fraction of beta-form in the PP crystal increased at first, then sharply deceased up to zero with increasing UFPR content