Dynamic test planning: a study in an industrial context

Testing accounts for a relevant part of the production cost of complex or critical software systems. Nevertheless, time and resources budgeted to testing are often underestimated with respect to the target quality goals. Test managers need engineering methods to perform appropriate choices in spending testing resources, so as to maximize the outcome. We present a method to dynamically allocate testing resources to software components minimizing the estimated number of residual defects and/or the estimated residual defect density. We discuss the application to a real-world critical system in the homeland security domain. We describe a support tool aimed at easing industrial technology transfer by hiding to practitioners the mathematical details of the method application.     

A hypergraph model for constraint logic programming and applications to bus drivers' scheduling

In a previous paper, a hypergraph model for the satisfiability of Datalog formulas was proposed. Here, we extend that approach in order to deal with a class ofconstraint logic programming (CLP) formulas, that is, Datalog formulas in the presence of constraints. A CLP formula is represented by means of a weighted hypergraph and the problem of evaluating this formula is reduced to a sequence of shortest path computations on hypergraphs. To evaluate the performance of this approach, the bus drivers' scheduling problem is formulated as the problem of checking the satisfiability of a CLP formula and it is solved by means of the hypergraph-based algorithm embedded within a local search procedure. Preliminary experimental results are quite encouraging and suggest that the proposed approach may provide an efficient way to tackle hard real-life combinatorial problems.This research was partially supported by the Progetto Finalizzato Trasporti 2 of the Italian National Research Council, under Contract No. 91.02479.PF74.     

A tabu search heuristic for a sequence-dependent and time-dependent scheduling problem on a single machine

This paper introduces a tabu search heuristic for a production scheduling problem with sequence-dependent and time-dependent setup times on a single machine. The problem consists in scheduling a set of dependent jobs, where the transition between two jobs comprises an unrestricted setup that can be performed at any time, and a restricted setup that must be performed outside of a given time interval which repeats daily in the same position. The setup time between two jobs is thus a function of the completion time of the first job. The tabu search heuristic relies on shift and swap moves, and a surrogate objective function is used to speed-up the neighborhood evaluation. Computational experiments show that the proposed heuristic consistently finds better solutions in less computation time than a recent branch-and-cut algorithm. Furthermore, on instances where the branch-and-cut algorithm cannot find the optimal solution, the heuristic always identifies a better solution.     

Setting up a competition framework for the evaluation of structure extraction from OCR-ed books

This paper describes the setup of the Book Structure Extraction competition run at ICDAR 2009. The goal of the competition was to evaluate and compare automatic techniques for deriving structure information from digitized books, which could then be used to aid navigation inside the books. More specifically, the task that participants faced was to construct hyperlinked tables of contents for a collection of 1,000 digitized books. This paper describes the setup of the competition and its challenges. It introduces and discusses the book collection used in the task, the collaborative construction of the ground truth, the evaluation measures, and the evaluation results. The paper also introduces a data set to be used freely for research evaluation purposes.     

Comparative evaluation of the olive oil given by a new processing system

To evaluate the level of quality of the olive oil given by a new processing system we compared it with the percolation oil, which is known to be of high quality. The new product was characterized by the following: (i) higher contents of tocopherols, tyrosol- and hydroxytyrosol-aglycones, volatile aromatic substances, sterols, triterpene alcohols and lipochromes, and higher values of 1,2-diglycerides/1,3-diglycerides and campesterol/stigmasterol ratios, colour indices and turbidity; (ii) lower contents of waxes and triterpene dialcohols, and lower values for spectrophotometric indices, carbonyl index, Wolff's ratio (K₂₃₂/K₂₇₀), acidity, and peroxide number; (iii) similar contents of phenols, o- diphenols, free tyrosol, free hydroxytyrosol, triglycerides, stigmastadienes, and aliphatic alcohols, similar sensory score, and similar value of resistance to autoxidation, alcohol index, overall quality indices, and fatty acid composition.     

Nutritional and commercial quality of the striped venus clam, Chamelea gallina, from the Adriatic sea

Nutritional quality parameters (proximate and mineral composition, contents of glycogen, fatty acids, cholesterol, plant sterols, fat-soluble vitamins, carotenes) and ecophysiological and commercial quality indicators (Condition Index, percent content of meat and intervalvar fluid) of the striped venus clam, Chamelea gallina, from the central Adriatic coast of Italy were studied at seasonal intervals over a 1-year period. Contents of protein (8.55–10.7 g/100 g), total lipid (0.73–1.59 g/100 g), glycogen (2.25–4.96 g/100 g) and non-protein nitrogen (0.54–0.78 g/100 g) varied significantly during the year, reaching the highest values in winter, in coincidence with a peak of Condition Index. Gas chromatography of total lipids showed high percentages of n − 3 polyunsaturated fatty acids (33.7–41.9% of total fatty acids), in particular eicosapentaenoic (8.16–20.0% of total fatty acids) and docosahexaenoic acids (12.5–20.3% of total fatty acids) and low levels of total n − 6 polyunsaturated fatty acids (3.61–7.87% of total fatty acids). HPLC analysis of the unsaponifiable lipids showed low levels of cholesterol, the dominant sterol (28.3–34.2 mg/ 100 g), and variable amounts of plant sterols (stigmasterol + campesterol, β-sitosterol, fucosterol + brassicasterol), α-tocopherol and carotenes.     

Association of LTA and SOD Gene Polymorphisms with Cerebral White Matter Hyperintensities in Migraine Patients

White matter hyperintensities (WMHs) in migraine could be related to inflammatory and antioxidant events. The aim of this study is to verify whether migraine patients with WMHs carry a genetic pro-inflammatory/pro-oxidative status. To test this hypothesis, we analyzed lymphotoxin alpha (LTA; rs2071590T and rs2844482G) and superoxide dismutase 1 (SOD1; rs2234694C) and 2 (SOD2; rs4880T) gene polymorphisms (SNPs) in 370 consecutive patients affected by episodic (EM; n = 251) and chronic (CM; n = 119) migraine and in unrelated healthy controls (n = 100). Brain magnetic resonance was available in 183/370 patients. The results obtained show that genotypes and allele frequencies for all tested SNPs did not differ between patients and controls. No association was found between single SNPs or haplotypes and sex, migraine type, cardiovascular risk factors or disorders. Conversely, the LTA rs2071590T (OR = 2.2) and the SOD1 rs2234694C (OR = 4.9) alleles were both associated with WMHs. A four-loci haplotype (TGCT haplotype: rs2071590T/rs2844482G/rs2234694C/rs4880T) was significantly more frequent in migraineurs with WMHs (7 of 38) compared to those without WMHs (4 of 134; OR = 8.7). We may, therefore, conclude by suggesting that that an imbalance between pro-inflammatory/pro-oxidative and antioxidant events in genetically predisposed individuals may influence the development of WMHs.     

Thiol–Ene Clickable Gelatin: A Platform Bioink for Multiple 3D Biofabrication Technologies

Bioprinting can be defined as the art of combining materials and cells to fabricate designed, hierarchical 3D hybrid constructs. Suitable materials, so called bioinks, have to comply with challenging rheological processing demands and rapidly form a stable hydrogel postprinting in a cytocompatible manner. Gelatin is often adopted for this purpose, usually modified with (meth‐)acryloyl functionalities for postfabrication curing by free radical photopolymerization, resulting in a hydrogel that is cross‐linked via nondegradable polymer chains of uncontrolled length. The application of allylated gelatin (GelAGE) as a thiol–ene clickable bioink for distinct biofabrication applications is reported. Curing of this system occurs via dimerization and yields a network with flexible properties that offer a wider biofabrication window than (meth‐)acryloyl chemistry, and without additional nondegradable components. An in‐depth analysis of GelAGE synthesis is conducted, and standard UV‐initiation is further compared with a recently described visible‐light‐initiator system for GelAGE hydrogel formation. It is demonstrated that GelAGE may serve as a platform bioink for several biofabrication technologies by fabricating constructs with high shape fidelity via lithography‐based (digital light processing) 3D printing and extrusion‐based 3D bioprinting, the latter supporting long‐term viability postprinting of encapsulated chondrocytes.