A framework for specification-based testing

Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications-in this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process. Flexibility is preserved, so that many testing strategies can be used. Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles.

Fracture resistance of Class II glass-ionomer cement restorations

Purpose: To investigate in vitro the effect of retentive grooves, GIC type and insertion method on the fracture resistance of Class II glass-ionomer cement (GIC) restorations. Methods: Premolars were divided into 12 groups (n=10) according to three variables: retentive grooves [presence (PR) or absence AR)], GICs type [Ketac-Molar (KM), Fuji VIII (F8) and RelyX Luting (RX)], and insertion method [syringe injector (SI) or spoon excavator (SE)]. The specimens were subjected to fracture resistance test. Data were submitted to three-way ANOVA and multiple comparisons were performed using a Tukey test (P < 0.05). Results: Mean fracture resistance values (Kgf) +/- standard deviations (SD) were: KM (PR+SI) 65.66 +/- 2.5; KM (PR+SE) = 62.58 +/- 2.1; KM (AR+SI) = 57.11 +/- 1.9; KM (AR+SE) = 51.94 +/- 2.3; F8 (PR+SI) = 63.05 +/- 2.1; F8 (PR+SE) = 60.12 +/- 2.3; F8 (AR+SI) = 55.11 +/- 1.9; F8(AR+SE)=49.20 +/- 1.6; RX (PR+SI)=50.99 +/- 2.4; RX (PR+SE)=48.81 +/- 2.5; RX (AR+SI)=45.53 +/- 2.6; RX (AR+SE)=41.88 +/- 3.0. Statistically significant differences were observed among all the groups tested (P=0.001). There was significant difference when pooled means for GIC type were compared with retentive grooves (P=0.01) and when pooled means for retentive grooves were compared with insertion method (P=0.01).

Influence of differently oriented dentin surfaces and the regional variation of specimens on adhesive layer thickness and bond strength

Statement of the Problem: Adhesive systems can spread differently onto a substrate and, consequently, influence bonding. Purpose: The purpose of this study was to evaluate the effect of differently oriented dentin surfaces and the regional variation of specimens on adhesive layer thickness and microtensile bond strength (MTBS). Materials and Methods: Twenty-four molars were sectioned mesiodistally to expose flat buccal and lingual halves. Standardized drop volumes of adhesive systems (Single Bond [SB] and Prime & Bond 2.1 [PB2.1]) were applied to dentin according to the manufacturer`s instructions. Teeth halves were randomly divided into groups: 1A-SB/parallel to gravity; 1B-SB/perpendicular to gravity; 2A-PB2.1/parallel to gravity; and 2B-PB2.1/perpendicular to gravity. The bonded assemblies were stored in 37 degrees C distilled water for 24 hours and then sectioned to obtain dentin sticks (0.8 mm(2)). The adhesive layer thickness was determined in a light microscope (x200), and after 48 hours the specimens were subjected to MTBS test. Data were analyzed by one-way and two-way analysis of variance and Student-Newman-Keuls tests. Results: Mean values (MPa +/- SD) of MTBS were: 39.1 +/- 12.9 (1A); 32.9 +/- 12.4 (1B); 52.9 +/- 15.2 (2A); and 52.3 +/- 16.5 (2B). The adhesive systems` thicknesses (mu m +/- SD) were: 11.2 +/- 2.9 (1A); 18.1 +/- 7.3 (1B); 4.2 +/- 1.8 (2A); and 3.9 +/- 1.3 (2B). No correlation between bond strength and adhesive layer thickness for both SB and PB2.1 (r = -0.224, p = 0.112 and r = 0.099, p = 0.491, respectively) was observed. Conclusions: The differently oriented dentin surfaces and the regional variation of specimens on the adhesive layer thickness are material-dependent. These variables do not influence the adhesive systems` bond strength to dentin. CLINICAL SIGNIFICANCE Adhesive systems have different viscosities and spread differently onto a substrate, influencing the bond strength and also the adhesive layer thickness. Adhesive thickness does not influence dentin bond strength, but it may impair adequate solvent evaporation, polymer conversion, and may also determine water sorption and adhesive degradation over time. In the literature, many studies have shown that the adhesive layer is a permeable membrane and can fail over timebecause ofits continuous plasticizing and degradation when in contact with water. Therefore, avoiding thick adhesive layers may minimize these problems and provide long-term success for adhesive restorations.

Influence of curing rate on softening in ethanol, degree of conversion, and wear of resin composite

Purpose: To investigate the effect of curing rate on softening in ethanol, degree of conversion, and wear of resin composites. Methods: With a given energy density and for each of two different light-curing units (QTH or LED), the curing rate was reduced by modulating the curing mode. Thus, the irradiation of resin composite specimens (Filtek Z250, Tetric Ceram, Esthet-X) was performed in a continuous curing mode and in a pulse-delay curing mode. Wallace hardness was used to determine the softening of resin composite after storage in ethanol. Degree of conversion was determined by infrared spectroscopy (FTIR). Wear was assessed by a three-body test. Data were submitted to Levene`s test, one and three-way ANOVA, and Tukey HSD test (alpha= 0.05). Results: Immersion in ethanol, curing mode, and material all had significant effects on Wallace hardness. After ethanol storage, resin composites exposed to the pulse-delay curing mode were softer than resin composites exposed to continuous cure (P< 0.0001). Tetric Ceram was the softest material followed by Esthet-X and Filtek Z250 (P< 0.001). Only the restorative material had a significant effect on degree of conversion (P< 0.001): Esthet-X had the lowest degree of conversion followed by Filtek Z250 and Tetric Ceram. Curing mode (P= 0.007) and material (P< 0.001) had significant effect on wear. Higher wear resulted from the pulse-delay curing mode when compared to continuous curing, and Filtek Z250 showed the lowest wear followed by Esthet-X and Tetric Ceram. (Am J Dent 2011;24:115-118).

Developments in the understanding of South African style SAG mills

The South African style SAG (RoM) mills operate in a window that is almost exclusive from the operation of the Australian and North American mills that have been used for the development of SAG mill models. Combining good quality, test data from the RoM mills is extending and improving these models, and assisting in a practical manner in improving our understanding of SAG/AG milling. Data from high mill loads, both in absolute filling and ball loading, have been used to extend and improve the JK SAG mill model. This improved understanding has been successfully applied to increasing the throughput of a mill by 8%. Data is presented on relationships between power and load for high mill loading. Slurry pooling is common in closed-circuit RoM mills, and the detrimental effect of this has been dramatically demonstrated at ALCOA with a mill throughput increase of over 20%. Techniques for calculating the effects of slurry pooling have been developed and a new pulp lifter system designed to give optimal slurry discharge. The influence of mill speed in shifting the product size distribution has also been measured. (C) 2001 Elsevier Science Ltd. All rights reserved.

Applying discrete element modelling to vertical and horizontal shaft impact crushers

The PFC3D (particle flow code) that models the movement and interaction of particles by the DEM techniques was employed to simulate the particle movement and to calculate the velocity and energy distribution of collision in two types of impact crusher: the Canica vertical shaft crusher and the BJD horizontal shaft swing hammer mill. The distribution of collision energies was then converted into a product size distribution for a particular ore type using JKMRC impact breakage test data. Experimental data of the Canica VSI crusher treating quarry and the BJD hammer mill treating coal were used to verify the DEM simulation results. Upon the DEM procedures being validated, a detailed simulation study was conducted to investigate the effects of the machine design and operational conditions on velocity and energy distributions of collision inside the milling chamber and on the particle breakage behaviour. (C) 2003 Elsevier Ltd. All rights reserved.

The rheology of flotation froths

A literature review has highlighted the need to measure flotation froth rheology in order to fully characterise the role of the froth in the flotation process. The initial investigation using a coaxial cylinder viscometer for froth rheology measurement led to the development of a new device employing a vane measuring head. The modified rheometer was used in industrial scale flotation tests at Mt. Isa Copper Concentrator. The measured froth rheograms show a non-Newtonian nature for the flotation froths (pseudoplastic flow). The evidence of the non-Newtonian flow has questioned the validity of application of the Laplace equation in froth motion modelling as used by a number of researchers, since the assumption of irrotational flow is violated. Correlations between the froth rheology and the froth retention time, water hold-up in the froth and concentrate grades have been found. These correlations are independent of air flow rate (test data at various air flow rates fall on one similar trend line). This implies that froth rheology may be used as a lumped parameter for other operating variables in flotation modelling and scale up. (C) 2003 Elsevier Science B.V. All rights reserved.

A comparison of two methods for the calculation of accumulated oxygen deficit

The aim of this study was to compare accumulated oxygen deficit data derived using two different exercise protocols with the aim of producing a less time-consuming test specifically for use with athletes. Six road and four track male endurance cyclists performed two series of cycle ergometer tests. The first series involved five 10 min sub-maximal cycle exercise bouts, a (V) over dotO(2peak) test and a 115% (V) over dotO(2peak) test. Data from these tests were used to estimate the accumulated oxygen deficit according to the calculations of Medbo et al. (1988). In the second series of tests, participants performed a 15 min incremental cycle ergometer test followed, 2 min later, by a 2 min variable resistance test in which they completed as much work as possible while pedalling at a constant rate. Analysis revealed that the accumulated oxygen deficit calculated from the first series of tests was higher (P< 0.02) than that calculated from the second series: 52.3 +/- 11.7 and 43.9 +/- 6.4 ml . kg(-1), respectively (mean +/- s). Other significant differences between the two protocols were observed for (V) over dot O-2peak, total work and maximal heart rate; all were higher during the modified protocol (P

Strap repairs using embedded patches: numerical analysis and experimental results

Adhesively bonded repairs offer an attractive option for repair of aluminium structures, compared to more traditional methods such as fastening or welding. The single-strap (SS) and double-strap (DS) repairs are very straightforward to execute but stresses in the adhesive layer peak at the overlap ends. The DS repair requires both sides of the damaged structures to be reachable for repair, which is often not possible. In strap repairs, with the patches bonded at the outer surfaces, some limitations emerge such as the weight, aerodynamics and aesthetics. To minimize these effects, SS and DS repairs with embedded patches were evaluated in this work, such that the patches are flush with the adherends. For this purpose, in this work standard SS and DS repairs, and also with the patches embedded in the adherends, were tested under tension to allow the optimization of some repair variables such as the overlap length (LO) and type of adhesive, thus allowing the maximization of the repair strength. The effect of embedding the patch/patches on the fracture modes and failure loads was compared with finite elements (FE) analysis. The FE analysis was performed in ABAQUS® and cohesive zone modelling was used for the simulation of damage onset and growth in the adhesive layer. The comparison with the test data revealed an accurate prediction for all kinds of joints and provided some principles regarding this technique.

IgG recognizing 21-24 kDa and 30-33 kDa tachyzoite antigens show maximum avidity maturation during natural and accidental human toxoplasmosis

We describe the avidity maturation of IgGs in human toxoplasmosis using sequential serum samples from accidental and natural infections. In accidental cases, avidity increased continuously throughout infection while naturally infected patients showed a different profile. Twenty-five percent of sera from chronic patients having specific IgM positive results could be appropriately classified using exclusively the avidity test data. To take advantage of the potentiality of this technique, antigens recognized by IgG showing steeper avidity maturation were identified using immunoblot with KSCN elution. Two clusters of antigens, in the ranges of 21-24 kDa and 30-33 kDa, were identified as the ones that fulfill the aforementioned avidity characteristics.

Modeling assembly program with constraints. A contribution to WCET problem

Dissertação para obtenção do Grau de Mestre em Lógica Computacional

High strain rate constitutive modeling forhistorical structures subjected to blast loading

Doctoral Thesis Civil Engineering

Implementation and validation of a strain rate dependent anisotropic continuum model for masonry

A newly developed strain rate dependent anisotropic continuum model is proposed for impact and blast applications in masonry. The present model adopted the usual approach of considering different yield criteria in tension and compression. The analysis of unreinforced block work masonry walls subjected to impact is carried out to validate the capability of the model. Comparison of the numerical predictions and test data revealed good agreement. Next, a parametric study is conducted to evaluate the influence of the tensile strengths along the three orthogonal directions and of the wall thickness on the global behavior of masonry walls.

Dynamic interface model for masonry walls subjected to high strain rate out-of-plane loads

The present study proposes a dynamic constitutive material interface model that includes non-associated flow rule and high strain rate effects, implemented in the finite element code ABAQUS as a user subroutine. First, the model capability is validated with numerical simulations of unreinforced block work masonry walls subjected to low velocity impact. The results obtained are compared with field test data and good agreement is found. Subsequently, a comprehensive parametric analysis is accomplished with different joint tensile strengths and cohesion, and wall thickness to evaluate the effect of the parameter variations on the impact response of masonry walls.

Validation of the instability shoulder index score in a multicenter reliability study in 114 consecutive cases.

BACKGROUND: Anterior shoulder stabilization surgery with the arthroscopic Bankart procedure can have a high recurrence rate in certain patients. Identifying these patients to modify outcomes has become a focal point of research. PURPOSE: The Instability Shoulder Index Score (ISIS) was developed to predict the success of arthroscopic Bankart repair. Scores range from 0 to 10, with higher scores predicting a higher risk of recurrence after stabilization. The interobserver reliability of the score is not known. STUDY DESIGN: Cohort study (diagnosis); Level of evidence, 2. METHODS: This is a prospective multicenter (North America and Europe) study of patients suffering from shoulder instability and waiting for stabilization surgery. Five pairs of independent evaluators were asked to score patient instability severity with the ISIS. Patients also completed functional scores (Western Ontario Shoulder Instability Index [WOSI], Disabilities of the Arm, Shoulder and Hand-short version [QuickDASH], and Walch-Duplay test). Data on age, sex, number of dislocations, and type of surgery were collected. The test-retest method and intraclass correlation coefficient (ICC: >0.75 = good, >0.85 = very good, and >0.9 = excellent) were used for analysis. RESULTS: A total of 114 patients with anterior shoulder instability were included, of whom 89 (78%) were men. The mean age was 28 years. The ISIS was very reliable, with an ICC of 0.933. The mean number of dislocations per patient was higher in patients who had an ISIS of ≥6 (25 vs 14; P = .05). Patients who underwent more complex arthroscopic procedures such as Hill-Sachs remplissage or open Latarjet had higher preoperative ISIS outcomes, with a mean score of 4.8 versus 3.4, respectively (P = .002). There was no correlation between the ISIS and the quality-of-life questionnaires, with Pearson correlations all >0.05 (WOSI = 0.39; QuickDASH = 0.97; Walch-Duplay = 0.08). CONCLUSION: Our results show that the ISIS is reliable when used in a multicenter study with anterior traumatic instability populations. There was no correlation between the ISIS and the quality-of-life questionnaires, but surgical decisions reflected its increased use.