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.     

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

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

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     

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.     

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.     

Reinforcement of single-walled carbon nanotube bundles by intertube bridging

During their production, single-walled carbon nanotubes form bundles. Owing to the weak van der Waals interaction that holds them together in the bundle, the tubes can easily slide on each other, resulting in a shear modulus comparable to that of graphite. This low shear modulus is also a major obstacle in the fabrication of macroscopic fibres composed of carbon nanotubes. Here, we have introduced stable links between neighbouring carbon nanotubes within bundles, using moderate electron-beam irradiation inside a transmission electron microscope. Concurrent measurements of the mechanical properties using an atomic force microscope show a 30-fold increase of the bending modulus, due to the formation of stable crosslinks that effectively eliminate sliding between the nanotubes. Crosslinks were modelled using first-principles calculations, showing that interstitial carbon atoms formed during irradiation in addition to carboxyl groups, can independently lead to bridge formation between neighbouring nanotubes.     

Design theory at Bauhaus: teaching “splitting” knowledge

Recent advances in design theory help clarify the logic, forms and conditions of generativity. In particular, the formal model of forcing predicts that high-level generativity (so-called generic generativity) can only be reached if the knowledge structure meets the ‘splitting condition’. We test this hypothesis for the case of Bauhaus (1919–1933), where we can expect strong generativity and where we have access to the structures of knowledge provided by teaching. We analyse teaching at Bauhaus by focusing on the courses of Itten and Klee. We show that these courses aimed to increase students’ creative design capabilities by providing the students with methods of building a knowledge base with two critical features: (1) a knowledge structure that is characterized by non-determinism and non-modularity and (2) a design process that helps students progressively ‘superimpose’ languages on the object. From the results of the study, we confirm the hypothesis deduced from design theory; we reveal unexpected conditions on the knowledge structure required for generativity and show that the structure is different from the knowledge structure and design process of engineering systematic design and show that the conditions required for generativity, which can appear as a limit on generativity, can also be positively interpreted. The example of Bauhaus shows that enabling a splitting condition is a powerful way to increase designers’ generativity.     

Drag Forces on Large Cylinders

Introducing large woody debris into streams is a common practice in restoration projects. Beyond the complexity of flow patterns and sediment movements in streams where woody debris are found or placed, it seems that our understanding of the basic hydraulics of large roughness elements in small channels remains limited. Underestimating the drag force affecting large roughness elements can compromise the success of stream restoration projects. Results from a simple experimental setting confirm that drag force estimates based on approaches developed for small cylinders are not valid when applied to large cylinders. Indeed, the classic drag force equation that uses an empirical drag coefficient is found to significantly underestimate measured drag forces, even when corrected for the ‘blockage ratio’. In contrast, application of specific momentum can yield good estimates of the drag force. A dimensionless depth is defined in a 1D context as a function of the flow depth, critical flow depth and cylinder diameter. A cylinder is considered to be ‘large’ when this dimensionless depth is smaller than 2. In this instance, a relationship is established to estimate the upstream flow depth and the drag force acting on the cylinder. This research bridges the small roughness element theory widely recognized in hydraulic engineering with the theory applicable to large, flow controlling structures such as weirs. From a practical perspective, this research can be used to assist in the design of engineered large woody debris structures. Copyright © 2015 John Wiley & Sons, Ltd.