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.     

Deterioration of Concrete by the Oxidation of Sulphide Minerals in the Aggregate

Cases of degradation of concrete associated to iron sulphides in aggregates were recently recognized in the Trois-Rivi6res area, Canada. The aggregate used to produce concrete was an anorthositic gabbro containing various proportions of pyrite, pyrrhotite, chalcopyrite and pentlandite. Quantitative microanalysis on sulphide minerals show that pyrrhotite contains small amount of Ni, Co, Cu and As substituting for Fe in the mineral structure. Considering element substitution, x value in the chemical formula （Fe~.xS） was calculated to 0.099 in the pyrrhotite studied. Petrographic examination of damaged concretes showed the presence of oxidized pyrrhotite. The observation of polished samples shows, in several cases, that the pyrite is intact while the pyrrhotite presents evident signs of oxidation. In the presence of water and oxygen, pyrrhotite oxidizes to form iron oxyhydroxides and sulphuric acid. The acid then reacts with the phases of the cement paste and provokes the formation of gypsum and ettringite. These minerals were observed by SEM-EDS （scanning electron microscope/energy dispersive x-ray spectrometer） and their precipitation causes a volume increase that creates expansion and cracking of the concrete.     

Investigation of polymerizability of ω-alkenyldioxolanes with α-olefins and alkyl vinyl ethers by modified ziegler-natta catalysts

Results are presented of an investigation on the polymerizability of functional olefins, such as allylisopropylidene glycerol (AIPG) and undecenylisopropylidene glycerol (UIPG), in the presence of conventional and modified Ziegler-Natta catalysts based on TiCl₄ or MgCl₂-supported titanium and triisobutylaluminum, hexaisobutyltetraalumoxane, or bisdiethyl-aluminum sulfate. Homopolymerization experiments were performed on AIGP at temperatures of -78, 25, and 50°C; only these at 50°C provided appreciable amounts of polymeric materials insoluble in methanol, whose structures comprise monomeric units derived from opening both dioxolane rings and vinyl double bonds. In spite of all attempts and precautions, polymerization experiments carried out on mixtures of the functional olefins AIPG and UIPG with either 4-methyl-1-pentene or isopropyl vinyl ether gave rise to the homopolymers of the nonfunctional α-olefin and of the vinyl ether, without any appreciable amount of either copolymers or homopolymers of the dioxolane containing monomers. © 1996 John Wiley & Sons, Inc.     

Amphiphilic Pentablock Copolymers Prepared from Pluronic and ε-Caprolactone by Enzymatic Ring Opening Polymerization

Amphiphilic copolymers are appealing materials because of their interesting architecture and tunable properties. In view of their application in the biomedical field, the preparation of these materials should avoid the use of toxic compounds as catalysts. Therefore, enzymatic catalysis is a suitable alternative to common synthetic routes. Pentablock copolymers (CUC) were synthesized with high yields by ring-opening polymerization of ε-caprolactone (ε-CL) initiated by Pluronic (EPE) and catalyzed by Candida antarctica lipase B enzyme. The variables to study the structure–property relationship were EPEs’ molecular weight and molar ratios between ε-CL monomer and EPE macro-initiator (M/In). The obtained copolymers were chemically characterized, the molecular weight determined, and morphologies evaluated. The results suggest an interaction between the reaction time and M/In variables. There was a correlation between the differential scanning calorimetry data with those of X-ray diffraction (WAXD). The length of the central block of CUC copolymers may have an important role in the crystal formation. WAXD analyses indicated that a micro-phase separation takes place in all the prepared copolymers. Preliminary cytotoxicity experiments on the extracts of the polymer confirmed that these materials are nontoxic.     

Formation of pesticide nonextractable (bound) residues in soil: magnitude, controlling factors and reversibility

The analysis of the coherent data on nonextractable (bound) residues (NER) from the literature and EU pesticide registration dossiers allows the identification of general trends, in spite of the large variability and heterogeneity of data. About 50% of the pesticides reviewed exhibit a low proportion of NER (less than 30% of the initial amount) while only 12% of pesticides have a proportion of NER exceeding 70%. The lowest proportion of NER was found for dinitroanilines (<20%), and the largest value was obtained for carbamates, and in particular dithiocarbamates. The presence of chemical reactive groups, such as aniline or phenol, tends to yield a larger proportion of NER. NER originating from N-heteroatomic ring were found to be lower than those from phenyl-ring structures. Among the environmental factors affecting the formation of NER, microbial activity has a direct and significant effect. Concerning the NER uptake or their bioavailability, consistent data suggest that only a small percentage of the total amounts of NER can be released. The analysis of NER formation kinetics showed that incubation experiments are often stopped too early to allow a correct evaluation of the NER maturation phase. Therefore, there is a need for longer term experiments to evaluate the tail of the NER formation kinetics. Still, the heterogeneity of the NER data between pesticides and for specific pesticides calls for great care in the interpretation of the data and their generalization.     

Experimental investigation of solid particles flow in a conical spouted bed using radioactive particle tracking

Solid particles flow in a conical spouted bed is characterized by radioactive particle tracking. The influence of operating conditions on key parameters of this flow is evaluated and discussed: the morphology of the solid bed is not strongly influenced by the forces exerted by the gas on the solid particles, but rather by geometrical considerations; the particles spend approximately 8% of their time in the spout in all experiments; it is the force exerted on the solid particles by the gas that directly controls the volumetric flow rate between adjacent regions, and not the amount of particles in the bed; as U/U_ms increases, the volume of solid particles in the annulus decreases, the volume of solid particles in the fountain increases and the volume of solid particles in the spout remains constant. Correlations to predict key flow parameters as functions of operating conditions are also established and discussed. © 2015 American Institute of Chemical Engineers AIChE J, 62: 26–37, 2016     

Rapid and direct lodine value and saponification number determination of fats and oils by attenuated total reflectance/fourier transform infrared spectroscopy

A simple, rapid and reproducible method of determining the iodine value (IV) and saponification number (SN) for fats and oils was developed with an attenuated total reflectance/Fourier transform infrared spectrometer and commercially available triglycerides as calibration standards. Partial least squares was used to determine the spectral regions correlating with the known chemical IV and SN values, and the calibration set was augmented with additional standards generated by spectral co-adding techniques. The calibration model obtained was used to analyze commercially available fats and oils with a wide range of IV and SN values, and the results were compared to the values obtained by American Oil Chemists’ Society methods. With the spectrometer calibrated and programmed, IV and SN results could be obtained within 2–3 min per sample, a major improvement over conventional wet chemical methods.     

Development and numerical validation of a new model for walls with phase change materials implemented in TRNSYS

This paper presents a model of a wall with variable properties dedicated to modelling phase change materials (PCMs) in building envelopes. The model is implemented in the TRNSYS simulation tool and referred to as Type 3258. The 1-D conduction heat transfer equation is solved using an explicit finite-difference method coupled with an enthalpy method to consider the variable PCM thermal capacity. This model includes temperature-dependent thermal conductivity and PCM-specific effects like hysteresis and supercooling. The stability conditions are discussed and the algorithm implemented in TRNSYS is described. A numerical validation performed on wall test cases proposed by the International Energy Agency is presented, showing that the developed model is in agreement with reference models. The paper also discusses the impact of temporal and spatial discretization on the model performance. Modelling problems encountered when using an effective heat capacity method (compared to an enthalpy method) and when representing supercooling are also discussed.     

两类典型碱活性岩石试体在碱溶液中的膨胀行为

为确定以Spratt硅质灰岩(SL岩石)和Pittsburg泥质白云质灰岩(PL岩石)为代表的两类典型碱活性岩石试体在碱性环境中的膨胀来源和发展评定岩石碱活性的方法,研究了不同条件下SL和PL岩石在砂浆和混凝土中的膨胀行为.研究结果表明:SL岩石在砂浆和混凝土中均呈高ASR膨胀性,尽管其中的少量白云石可发生去白云石化反应;决定PL岩石高膨胀性的机制是ACR,与传统的ASR有本质不同,尽管其中含有的少量微晶石英可参与与碱的反应并可能对岩石的膨胀有一定贡献.采用能保持岩石微观结构构造特征的颗粒尺寸是正确评估PL岩石碱活性的关键.利用ASR和ACR对粉煤灰等混合材及含锂化合物的不同响应,特别是LiOH的抑制ASR膨胀和引发ACR膨胀的双重效应,在实验室可以快速区别同时含有白云石和石英的灰岩类集料的活性来源.