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.

Proteomic analysis of differentially expressed proteins in lymphoid organ of Fenneropenaeus chinensis response to Vibrio anguillarum stimulation

To gain an insight into the function of shrimp lymphoid organ at protein level, we analyzed the proteome of lymphoid organ in healthy Chinese shrimp Fenneropenaeus chinensis (F. chinensis) through two-dimensional gel electrophoresis (2-DE) based proteomic approach. A total of 95 spots representing 75 protein entries were identified by liquid chromatography tandem mass spectrometry (LC-MS/MS) with both online and in-house database. According to Gene Ontology (GO) annotation of biological process, the identified proteins were classified into 13 categories. Among them, approximately 36% of proteins related to cytoskeleton are noticeable. Then, a comparative proteomic approach was employed to investigate the differentially expressed proteins in lymphoid organ of Vibrio anguillarum-challenged F. chinensis. At 24 h post-injection (hpi), 17 differentially expressed protein spots were successfully identified, including 4 up-regulated protein spots (represent 4 proteins: cathepsin L protein similar to squid CG16901-PC, protein kinase C and protein similar to T-complex Chaperonin 5 CG8439-PA), and 13 down-regulated protein spots (represent 9 proteins: actin, beta-actin, cytoplasmic actin CyII, alpha tubulin, beta tubulin, protein similar to proteasome delta, vacuolar ATP synthase subunit B, elongation factor 2, carboxypeptidase B). These data may help us to understand the function of lymphoid organ and the molecular immune mechanism of shrimp responsive to pathogen infection. (C) 2010 Elsevier Ltd. All rights reserved.

Flow pattern in chandler loop - the artificial thrombus formation

In this paper a hydrodynamic approach is used to analyse carefully the flow field inChandler loop--the artificial thrombus formation. The results obtained show that near thelower meniscus where the thrombus is formed, there is a back flow accompanied with asecondary flow and its mainflow is toward the meniscus, thus providing a favourable condi-tion for corpuscle aggregation. Our finding is valuable for studying the mechanism ofthrombus formation in artificial organ and in vivo.

凝胶-燃烧法合成YAG：Eu^3＋纳米荧光材料的结构和发光性能

Y3Al5O12:Eu nanophosphors were synthesized by a gel combustion method. The structure of phosphors was characterized by XRD and FTIR. YAG phase came to occur when YAG:Eu precursors were sintered at 800 ℃, although the phase was mainly amorphous. The organ