Pairwise testing for software product lines: comparison of two approaches

Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability, which in turn leads to combinatorial explosion of the number of derivable products. Exhaustive testing in such a large products space is hardly feasible. Hence, one possible option is to test SPLs by generating test configurations that cover all possible t feature interactions (t-wise). It dramatically reduces the number of test products while ensuring reasonable SPL coverage. In this paper, we report our experience on applying t-wise techniques for SPL with two independent toolsets developed by the authors. One focuses on generality and splits the generation problem according to strategies. The other emphasizes providing efficient generation. To evaluate the respective merits of the approaches, measures such as the number of generated test configurations and the similarity between them are provided. By applying these measures, we were able to derive useful insights for pairwise and t-wise testing of product lines.     

The multiobjective multidimensional knapsack problem: a survey and a new approach

The knapsack problem (KP) and its multidimensional version (MKP) are basic problems in combinatorial optimization. In this paper, we consider their multiobjective extension (MOKP and MOMKP), for which the aim is to obtain or approximate the set of efficient solutions. In the first step, we classify and briefly describe the existing works that are essentially based on the use of metaheuristics. In the second step, we propose the adaptation of the two‐phase Pareto local search (2PPLS) to the resolution of the MOMKP. With this aim, we use a very large scale neighborhood in the second phase of the method, that is the PLS. We compare our results with state‐of‐the‐art results and show that the results we obtained were never reached before by heuristics for biobjective instances. Finally, we consider the extension to three‐objective instances.     

Do personality problems improve during psychodynamic supportive–expressive psychotherapy? Secondary outcome results from a randomized controlled trial for psychiatric outpatients with personality disorders.

Studies involving patients with personality disorders (PDs) have not focused on improvement of core aspects of the PD. The authors examined changes in quality of object relations, interpersonal problems, psychological mindedness, and personality traits in a sample of 156 patients with Diagnostic and Statistical Manual of Mental Disorders (4th ed.) PD diagnoses being randomized to either manualized or nonmanualized dynamic psychotherapy. Effect sizes adjusted for symptomatic change and reliable change indices were calculated. The authors found that both treatments were equally effective at reducing personality pathology. Only in neuroticism did the nonmanualized group do better during the follow-up period. The largest improvement was found in quality of object relations. For the remaining variables, only small and clinically insignificant magnitudes of change were found. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

MINIATURE PULSE TUBE FOR THE COOLING OF ELECTRONIC DEVICES: FUNCTIONING PRINCIPLES AND PRACTICAL MODELING

The miniaturization of refrigerating systems represents a very current scientific and technical challenge to improve the performances of numerous electronic components. This work presents a global approach to the problem and suggests studying the cooling by means of small channels filled with an oscillating gas: the double inlet pulse tube refrigerator (DIPTR). A great level of miniaturization based on the technology of carving silicon is exposed. This study proposes to apply an electric analogy for modeling both hydrodynamic and thermal phenomena. Considering the complexity of the theoretical problem including mechanical, thermal, thermodynamical, and acoustic considerations, the authors take care to summarize the main governing equations in a particular form so any scientific engineer could understand the DIPTR principle.     

Path resolution for nested recursive modules

The ML module system facilitates the modular development of large programs, through decomposition, abstraction and reuse. To increase its flexibility, a lot of work has been devoted to extending it with recursion, which is currently prohibited. The introduction of recursion adds expressivity to the module system. However it also creates problems that a non-recursive module system does not have. In this paper, we address one such problem, namely resolution of path references. Paths are how one refers to nested modules in ML. Without recursion, well-typedness guarantees termination of path resolution, in other words, we can statically determine the module that a path refers to. This does not always hold with recursive module extensions, since the module system then can encode a lambda-calculus with recursion, whose termination is undecidable regardless of well-typedness. We formalize this problem of path resolution by means of a rewrite system on paths and prove that the problem is undecidable even without higher-order functors, via an encoding of the Turing machine into a calculus with just recursive modules, first-order functors, and nesting. Motivated by this result, we introduce a further restriction on first-order functors, limiting polymorphism on functor parameters by requiring signatures for functor parameters to be non-recursive, and show that this restriction is decidable and admits terminating path resolution.     

Role of strain induced crystallization and oxidative crosslinking in fracture properties of rubbers

Tensile properties and crack propagation properties, especially critical strain energy release rate in mode I, G_IC, have been used to investigate fracture properties of elastomers and their relationships with microstructure. These investigations were mainly based on a series of comparisons: first, the behaviour of polychloroprene rubber (CR), undergoing stress hardening due to strain induced crystallization (SIC) and oxidative crosslinking (OCL) was compared with that of chlorinated polyethylene (CPE), which undergoes SIC but not OCL, and with a polyurethane based on hydroxyl terminated polybutadiene (PU) which undergoes OCL but not SIC. Comparisons were also made on CR between fracture behaviour at ambient temperature, where SIC occurs and at 100 °C where there is no SIC. Finally, oxidative crosslinking was used to vary in a continuous way the crosslink density in CR and PU, in order to evaluate the role of crosslinking in fracture behaviour.     

Chemometric analysis of combined NIR and MIR spectra to characterize French olives

Chemometric treatment of near‐infrared (NIR) and mid‐infrared (MIR) combined spectra was used firstly to predict oil and water contents in fresh olive fruit samples (n = 223) and secondly to classify these samples into five principal French cultivar origins (Aglandau, Cailletier, Olivière, Salonenque, and Tanche). The study was carried out during four crop years (2005/2006 to 2008/2009) to take into account the seasonal variations. The comparison of the results obtained in the combined range (REP = 2.6% for the water content and 3.5% for the oil content) provides an obvious advantage compared to the NIR and MIR techniques used separately. Fresh olive fruit cultivars were satisfactorily classified with the partial least squares‐discriminant analysis (PLS‐DA) method in the combined range. After use of the K‐means clustering on the PLS‐DA scores, all the samples were well classified into their five groups of origin. The use of infrared combined spectra allows a considerable improvement in estimating olive fruit quality (oil and water contents, varietal origins).     

Naturalistic study of rider's behaviour in initial training in France: Evidence of limitations in the educational content

This paper analyses motorcycle educational content in a number of French motorcycle schools on the basis of a naturalistic study of riders’ and trainers’ behaviour. The aim is to specify the situations delivered in motorcycle schools and to study the rider's activity in these situations. The methodology includes ethnographic observation within the motorcycle schools and the longitudinal monitoring of 14 trainee motorcyclists during their initial training. The training situations were described by the combination of audio–visual recordings and interviews data (i.e. concomitant or interruptive verbalization, and self-confrontation data). The results permit to (1) compare the “real” and “official” durations of track and on-road training, (2) characterize the real training situations, (3) describe the preferred forms of instruction, and (4) conduct an in-depth analysis of the situations used during training in traffic. The discussion show, in first, the poverty of the training situations which are based on the repetition of the exercises in the test, and, in second, disparities between the riding situations encountered during training and the demands made by riding in natural traffic. The usefulness and the applications of this type of approach – based on the integration of the rider's point of view notably by self-confrontation interview – for understanding real riding behaviours and how such approaches could supplement vehicle-based data are discussed in a large conclusion.     

Statistical analysis of concrete transport properties

Results of a statistical analysis of transport properties measurements carried out on a number of concrete mixtures are presented. Migration and drying experiments were performed to evaluate the ionic diffusion coefficients and permeability of concrete mixtures. Seven concrete mixtures were tested. The mixtures were either batched under laboratory conditions or sampled from construction sites. For each mixture, approximately eighty concrete samples from a single batch were tested. Ionic diffusion coefficients were calculated by analyzing the evolution of the electrical current passing through concrete samples during the migration tests. Calculations took into account the volume of permeable pores of the materials and the pore solution chemistry. Permeability was calculated from mass loss measured during drying tests. The study indicates that the coefficient of variation of ionic diffusion coefficients is 11.1 % on average, with a maximum of 23.5 %, and that the coefficient of variation of permeability is 20.6 % on average, with a maximum of 37.3 %.