Applying black-box testing to UML/OCL database models

Most Unified Modeling Language (UML) computer-aided software engineering tools have been insufficient in the development process because they provide little support for conceptual model testing. Model testing aims to ensure the correctness of a UML/OCL class diagram, or, in other words, that a given class diagram can perfectly meet the user’s requirements. This study proposes the validation of class diagrams with black-box testing, a technique used to test software without focusing on the software’s implementation or structure. An approach is proposed for the automatic transformation of the constraints of a UML/OCL class diagram into test cases. Following the creation of the test cases, they are executed with JUnit and the results produced are shown to the tester. To demonstrate the applicability of this approach, an effectiveness evaluation and an efficiency evaluation are performed here. Evaluation studies show that all faults included in a class diagram have been detected within an efficient time.     

Comparative study of homogeneous and heterogeneous styrene polymerizations with Ni(acac)2/MAO catalytic system

Styrene polymerization was carried out with Ni(acac)₂/MAO and Ni(acac)₂/SiO₂/MAO. The influence of reaction parameters (Al/Ni mole ratio, catalyst concentration, temperature and time polymerization) on styrene polymerization was evaluated. It was observed that both catalytic systems were affected by reaction parameters and that the heterogeneous catalyst presented higher activity than the homogeneous one. Polystyrenes with different molecular weight, stereoregularity and polydispersity were obtained. These results suggest that different active catalyst species could have been present. In addition, two types of methylaluminoxane (MAO) with different molecular weights were also evaluated as cocatalyst. As a result, the catalyst activity and stereospecificity were strongly affected by the MAO type.     

A Context-Aware Interaction Model for the Analysis of Users’ QoE in Mobile Environments

This article describes a novel approach to model the quality of experience (QoE) of users in mobile environments. The context-aware and ratings interaction model (CARIM) addresses the open questions of how to quantify user experiences from the analysis of interaction in mobile scenarios, and how to compare different QoE records to each other. A set of parameters are used to dynamically describe the interaction between the user and the system, the context in which it is performed and the perceived quality of users. CARIM structures these parameters into a uniform representation, supporting the dynamic analysis of interaction to determine QoE of users and enabling the comparison between different interaction records. Its run-time nature allows applications to make context- and QoE-based decisions in real time to adapt themselves, and thus provide a better experience to users. As a result, CARIM provides unified criteria for the inference and analysis of QoE in mobile scenarios. Its design and implementation can be integrated (and easily extended if needed) into many different development environments. An experiment with real users comparing two different interaction designs and validating user behavior hypotheses proved the effectiveness of applying CARIM for the assessment of QoE in mobile applications.     

Nutritional recovery of mild and moderately malnourished children under two different treatment approaches (ambulatory versus day-care)

This retrospective analysis was conducted between May 1997 and May 2000 at the Centro de Atención Nutricional Infantil de Antímano, CANIA, in Caracas, Venezuela to assess the efficacy of two treatments (ambulatory versus day-care) of mild and moderate malnourished children. Inclusion criteria were: children under 10 years old with mild and moderate malnourishment, who attended a minimum of 3 control visits during a period of 12 months. One hundred fourteen malnourished children were included: fifty seven in ambulatory treatment and fifty seven in day-care treatment paired per nutritional diagnosis, gender and age (thirty nine mild and eighteen moderate malnourished children). The nutritional recovery criterion was weight for height above tenth percentile. No relation was found between treatment approaches and nutritional recovery at 3 and 6 months of treatment. In the group of mild malnourished children, the percentage of recovered patients at 3 months of treatment, that kept their recovered condition at 6 months was 83% (15/18) in the ambulatory treatment and 82% (18/22) in the day-care treatment Age of children, associated disease, acute morbidity, dietetic risk and mother's education and age were not associated with nutritional recovery at 6 months of treatment (p > 0.05). The day-care approach resulted as effective as ambulatory in mild malnourished children. In moderate malnourished new studies will need to be conducted with greater number of patients.     

Crosslink reaction of natural rubber with thiuram sulphur donors in the presence of a thiuram monosulfide

The vulcanization of natural rubber was studied with the sulfurating agents dipentamethylene thiuram tetrasulfide (DPTT) and tetramethylene thiuram disulfide (TMTD) in the presence of tetramethyl thiuram monosulfide (TMTM). This last accelerant affects the rate and efficiency of the vulcanization as well as the structures of crosslinks formed by the two sulphur donors. It may give rise to a polymerization between adjacent double bonds and generate a inhomogeneous crosslink distribution with an adverse effect on physical properties. © 2002 Wiley Periodicals, Inc. J Appl Polym Sci 85: 491–499, 2002     

Effect of low-sulfur fuels upon NH3 and N2O emission during operation of commercial three-way catalytic converters

The use of low-sulfur fuel is known to improve the performance of the three-way catalytic converter (TWC). However, in this work we report how low-sulfur operation of commercial TWC also favors formation of N₂O and NH₃ as by products. We found that low-sulfur rich operation above 300 °C increases the production of NH₃, inhibiting the formation of N₂O characteristic of high-sulfur operation. During lean operation, the production of N₂O near the stoichiometric point is not significantly affected by the sulfur level. The large production of N₂O observed during light-off is not affected by SO₂ when the operation is lean, but under rich conditions N₂O is produced up to 575 °C. The increased production of NH₃ and N₂O in TWC as a result of the introduction of low-sulfur gasoline is an area that requires further analysis because of its implication upon public health in large urban settings.     

Suitability of the SWAT Model for Simulating Water Discharge and Sediment Load in a Karst Watershed of the Semiarid Mediterranean Basin

Water Resources Management - This paper presents a case study conducted in the Upper Argos River, in southeast Spain, to verify the applicability of the SWAT model for prediction of the water...     

Valorization of Al slag in the production of green ceramic tiles: Effect of experimental conditions on microstructure and crystalline phase composition

This work reports the results of an investigation aimed at the development of sintered glass-ceramic tiles by the sinter-crystallization of mixtures composed of aluminum slag and reclaimed packaging glass. The thermal behaviors of mixtures incorporating 50 and 60 wt% Al slag were established by differential thermal analysis (DTA). Green compacts were sintered in a temperature range of 800°C-1050°C and then soaked for 10-60 minutes. The mineralogical characterizations of the sintered materials were obtained by X-ray diffraction (XRD). The achieved results indicated that the sintering of aluminum slag and packaging glass reclaimed led to a glass-ceramic material composed mainly of needle-like crystals of wollastonite (CaSiO₃). The bloating of samples during firing was evaluated according to a Cougny predictive diagram. After initial observations and according to bending strength characterizations, sintered tiles prepared from aluminum slag and glassy sand are appropriate for floor pavement and wall covering.     

Lithium disilicate glass produced at high pressure: Characterization of structural,thermal and mechanical properties

In this work, high-density lithium disilicate (LS₂) vitreous systems were produced by melting and quenching under high pressure (7.7 GPa) following two distinct experimental routes. In the first case, LS₂ glass was remelted at 7.7 GPa and 1600°C and, then, quenched. In the second case, a stoichiometric mixture of precursor oxides (Li₂O and SiO₂) was melted at 1600°C and 7.7 GPa before quenching. A reference LS₂ glass sample was produced at atmospheric pressure using conventional melting and quenching procedure. The samples were characterized by X-ray diffraction, differential thermal analysis, and instrumented ultramicro hardness measurements. X-ray diffraction confirmed that all samples were amorphous and thermal analysis suggests that different glassy structures were produced depending on the route of synthesis. Hardness and elastic modulus of the glasses produced under high pressure were higher than those of the reference glass, reflecting the irreversible densification effect induced by the high-pressure processing.