Coverage criteria and test requirement reduction for component-based web application

In order to analyze and test the component-based web application and decide when to stop the testing process, the concept of coverage criteria and test requirement reduction approach are proposed. First, four adequacy criteria are defined and subsumption relationships among them are proved. Then, a translation algorithm is presented to transfer the test model into a web application decision-to-decision graph（WADDGraph）which is used to reduce testing requirements. Finally, different sets of test requirements can be generated from WADDGraph by analyzing subsumption and equivalence relationships among edges based on different coverage criteria, and testers can select different test requirements according to different testing environments. The case study indicates that coverage criteria follow linear subsumption relationships in real web applications. Test requirements can be reduced more than 55% on average based on different coverage criteria and the size of test requirements increases with the increase in the complexity of the coverage criteria.

Load Reduction Test Method of Similarity Theory and BP Neural Networks of Large Cranes

Static load tests are an important means of supervising and detecting a crane＇s lift capacity. Due to space restrictions, however, there are difficulties and potential danger when testing large bridge cranes. To solve the loading problems of large-tonnage cranes during testing, an equivalency test is proposed based on the similarity theory and BP neural networks. The maximum stress and displacement of a large bridge crane is tested in small loads, combined with the training neural network of a similar structure crane through stress and displacement data which is collected by a physics simulation progressively loaded to a static load test load within the material scope of work. The maximum stress and displacement of a crane under a static load test load can be predicted through the relationship of stress, displacement, and load. By measuring the stress and displacement of small tonnage weights, the stress and displacement of large loads can be predicted, such as the maximum load capacity, which is 1.25 times the rated capacity. Experimental study shows that the load reduction test method can reflect the lift capacity of large bridge cranes. The load shedding predictive analysis for Sanxia 1200 t bridge crane test data indicates that when the load is 1.25 times the rated lifting capacity, the predicted displacement and actual displacement error is zero. The method solves the problem that lifting capacities are difficult to obtain and testing accidents are easily possible when 1.25 times related weight loads are tested for large tonnage cranes.

Multi-Objective Modified Particle Swarm Optimization for Test Suite Reduction(MOMPSO)

Software testing plays a pivotal role in entire software development lifecycle.It provides researchers with extensive opportunities to develop novel methods for the optimized and cost-effective test suite Although implementation of such a cost-effective test suite with regression testing is being under exploration still it contains lot of challenges and flaws while incorporating with any of the new regression testing algorithm due to irrelevant test cases in the test suite which are not required.These kinds of irrelevant test cases might create certain challenges such as code-coverage in the test suite,fault-tolerance,defects due to uncovered-statements and overall-performance at the time of execution.With this objective,the proposed a new Modified Particle Swarm optimization used for multi-objective test suite optimization.The experiment results involving six subject programs show that MOMPSO method can outer perform with respect to both reduction rate(90.78%to 100%)and failure detection rate(44.56%to 55.01%).Results proved MOMPSO outperformed the other stated algorithms.

Serological Investigation into the Infected Genotypes of Patients with Japanese Encephalitis in the Coastal Provinces of China

Objective Genotypes(G)1,3,and 5 of the Japanese encephalitis virus(JEV)have been isolated in China,but the dominant genotype circulating in Chinese coastal areas remains unknown.We searched for G5 JEV-infected cases and attempted to elucidate which JEV genotype was most closely related to human Japanese encephalitis(JE)in the coastal provinces of China.Methods In this study,we collected serum specimens from patients with JE in three coastal provinces of China(Guangdong,Zhejiang,and Shandong)from 2018 to 2020 and conducted JEV cross-neutralization tests against G1,G3,and G5.Results Acute serum specimens from clinically reported JE cases were obtained for laboratory confirmation from hospitals in Shandong(92 patients),Zhejiang(192 patients),and Guangdong(77 patients),China,from 2018 to 2020.Seventy of the 361 serum specimens were laboratory-confirmed to be infected with JEV.Two cases were confirmed to be infected with G1 JEV,32 with G3 JEV,and two with G5 JEV.Conclusion G3 was the primary infection genotype among JE cases with a definite infection genotype,and the infection caused by G5 JEV was confirmed serologically in China.

SPIDER:Speeding up Side-Channel Vulnerability Detection via Test Suite Reduction

Side-channel attacks allow adversaries to infer sensitive information,such as cryptographic keys or private user data,by monitoring unintentional information leaks of running programs.Prior side-channel detection methods can identify numerous potential vulnerabilities in cryptographic implementations with a small amount of execution traces due to the high diffusion of secret inputs in crypto primitives.However,because non-cryptographic programs cover different paths under various sensitive inputs,extending existing tools for identifying information leaks to non-cryptographic applications suffers from either insufficient path coverage or redundant testing.To address these limitations,we propose a new dynamic analysis framework named SPIDER that uses fuzzing,execution profiling,and clustering for a high path coverage and test suite reduction,and then speeds up the dynamic analysis of side-channel vulnerability detection in non-cryptographic programs.We analyze eight non-cryptographic programs and ten cryptographic algorithms under SPIDER in a fully automated way,and our results confirm the effectiveness of test suite reduction and the vulnerability detection accuracy of the whole framework.

Recent Developments in SARS-CoV-2 Neutralizing Antibody Detection Methods

The ongoing Coronavirus disease 19 pandemic has likely changed the world in ways not seen in the past.Neutralizing antibody(NAb)assays play an important role in the management of the severe acute respiratory syndrome coronavirus-2(SARS-CoV-2)outbreak.Using these tools,we can assess the presence and duration of antibody-mediated protection in naturally infected individuals,screen convalescent plasma preparations for donation,test the efficacy of immunotherapy,and analyze NAb titers and persistence after vaccination to predict vaccine-induced protective effects.This review briefly summarizes the various methods used for the detection of SARS-CoV-2 NAbs and compares their advantages and disadvantages to facilitate their development and clinical application.

Serological Survey of Zika Virus in Humans and Animals in Dejiang Prefecture, Guizhou Province,China

Objective The current outbreak of Zika virus(ZIKV)poses a severe threat to human health.Two ZIKV strains were isolated from mosquitoes collected from the Dejiang prefecture in China in 2016,which was the first isolation of ZIKV in nature in China.Methods In this study,serum samples were collected from 366 healthy individuals and 104 animals from Dejiang prefecture in 2017,and the plaque reduction neutralization test(PRNT)was used to evaluate the seroprevalence of ZIKV.Results None of the 366 residents from whom the samples were collected were seropositive for ZIKV.None of the 11 pigs from whom the samples were collected were seropositive for ZIKV,while 1 of 63(1.59%)chickens and 2 of 30(6.67%)sheep were seropositive for ZIKV.Conclusions The extremely low seropositivity rate of ZIKV antibodies in animals in the Dejiang prefecture,Guizhou province in this study indicates that ZIKV can infect animals;however,there is a low risk of ZIKV circulating in the local population.

A Usable Selection Range Standard Based on Test Suite Reduction Algorithms

In this paper, we analyze the features and distinctions of 6 classical algorithms： greedy algorithm （G）, greedy evolution algorithm （GE）, heuristics algorithm （H）, greedy heuristic G （GRE）, integer linear programming algorithm （ILP） and genetic algorithm （GA） to ensure the main influencing factors-the performance of algorithms and the running time of algorithms. What＇s more, we would not only present a research design that aims at gaining deeper understanding about the algorithm classification and its function as well as their distinction, but also make an empirical study in order to obtain a practical range standard that can guide the selection of reduction algorithms. When the size of a test object （product of test requirements and test cases） is smaller than 2000×2000, G algorithm is the commonly recommended algorithm. With the growth of test size, the usage of GE and GRE becomes more general.

Suspected Resistance against Moxidectin in Sheep Strongylid Nematodes in Austria

Loss of efficacy due to resistance development against anthelmintics in livestock parasites is a growing concern worldwide. The aim of the present study was to determine the efficacy of moxidectin, a frequently-used macrocyclic lactone, against gastrointestinal nematodes of sheep in Austria. Individual faecal samples were collected from 243 adult sheep from 16 flocks in Styria and Salzburg before deworming and egg excretion （EPG （eggs per gram） of faeces） was determined using a modified McMaster technique. The animals were randomly assigned to a treatment group which received 0.2 mg/kg of body weight of moxidectin （Cydectin , Zoetis Schweiz GmbH, Zurich, Switzerland）, and an untreated control group. Fourteen days after deworming a FECRT （faecal egg count reduction test） for detection of anthelmintic resistance was performed. Before deworming, the infection rate for gastrointestinal strongylids was 94.7%, with EPG values of 0-5,800. The FECRT showed reduction rates between 93.08% and 99.78% and was sufficient in 15/16 flocks. The lower confidence interval was 70.0-100%. In 3/16 flocks this value was below the minimum for sufficient efficacy （70.0%, 79.0%, 85.0%）, and in two flocks the value （90,0%） was near the limit. These results indicated a （suspected） reduced efficacy of moxidectin in 5/16 examined flocks.

Establishment of animal model for potency evaluationof inactivated SARS virus experimental vaccine

The purpose of this study was to test the effectiveness of source virus strain for the manufacture of the inactivated SARS virus vaccine, and establish an experimental method and preliminary standard for potency evaluation. Mice were divided into groups for being immunized with corresponding serially diluted experimental SARS virus inactivated vaccine. And the rabbits were immunized with undiluted vaccine. Challenge assay was conducted with a heterologous SARS virus. And the neutralization antibody was determined with plaque reduction neutralization test (PRNT), to which the neutralization antibody in the convalescent serum of SARS patients was compared. The experimental vaccine viral strains were proved to be suitable for manufacturing the vaccine. Mice immunized by vaccines of serial dilutions were able to elicit neutralizing antibody. The antibody titer from mice immunized with the undiluted vaccine could reach up to 1∶495.2, while those of rabbits immunized with the undiluted vaccine could reach a GMT of 55.0-79.9. The capability of the antibody to neutralize the virus from Guangdong is more efficient than that from Beijing. The GMT of neutralizing antibody in SARS convalescents living in south and north China ranged from 50.12 to 54.95, and the titers of convalescents from north China were higher than those from south China. Mice and rabbits used as the model for evaluation of potency are of sensitivity, and the test is of reproducibility. The candidate challenge viral strains showed a relatively consistent effect on evaluating antibodies produced by various batches and different vaccine-source strains, hence they can be used to evaluate potency of the vaccine. The method for testing the vaccine potency and the evaluation standard was established preliminarily.

对中药方剂物质基础研究的思考

通过对中药方剂物质基础研究现状的分析 ,认为机械还原论和血清药理学思路存在问题 ,动物模型有待改进。提示研究应以经方为核心 ,以中医理论为指导 ,遵循整体性原则。

On Test Data Compression Using Selective Don＇t-Care Identification

This paper proposes an effective method for reducing test data volume undermultiple scan chain designs. The proposed method is based on reduction of distinct scan vectorsusing selective don't-care identification. Selective don't-care identification is repeatedlyexecuted under condition that each bit of frequent scan vectors is fixed to binary values (0 or 1).Besides, a code extension technique is adopted for improving compression efficiency with keepingdecompressor circuits simple in the manner that the code length for infrequent scan vectors isdesigned as double of that for frequent ones. The effectiveness of the proposed method is shownthrough experiments for ISCAS'89 and ITC'99 benchmark circuits.

Identification and Structure Selection for Nonlinear Stochastic Systems

A nonlinear model is proposed for effective adaptive control design. The model represents a natural way to describe input output nonlinear systems. A combined parameter off line estimation and structure detection algorithm is developed that can use an initial set of data. Then, an efficient model is obtained using orthogonal estimation with an error reduction test and other monitoring modifications. A recursive on line identification scheme is established based on the ELS algorithm to account for future time variations in the process of the parsimonious model.