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.

Biomechanical analysis of sutures used for mesh fixation in the donor area after removal of the rectus abdominis muscle

Background: The use of synthetic mesh for abdominal wall closure after removal of the rectus abdominis is established but not standardised. This study compares two forms of mesh fixation: a simple suture, which fixes the mesh to the edges of the defect on the anterior rectus abdominis fascia; and total fixation, which incorporates the fasciae of the internal oblique, external oblique and transverse muscles in the suture, anchoring the mesh in the position of the removed muscle. Method: A total of 16 fresh cadavers were dissected. Two sutures were compared: simple and total. Three different sites were analysed: 5 cm above, 5 cm below and at the level of the umbilicus. The two sutures compared were tested in each region using a standardised technique. All sutures were performed with nylon 0, perpendicular to the linea alba. Each suture was secured to a dynamometer, which was pulled perpendicularly towards the midline until the rupture of the aponeurosis. `Rupture resistance` was measured in kilogram force. The mean among the groups was compared using the paired Student`s t-test to a significance level of 1% (p < 0.01). Results: The mean rupture resistance of the total suture was 160% higher than that of the simple suture. Conclusion: The total suture includes the external oblique, internal oblique and transverse fasciae, which are multi-directional, and creates a much higher resistance when compared with the simple suture. Total suture may reduce the incidence of bulging and hernias of the abdominal wall after harvesting the rectus abdominis muscle, but comparative clinical studies are necessary. (C) 2010 British Association of Plastic, Reconstructive and Aesthetic Surgeons. Published by Elsevier Ltd. All rights reserved.

Effects of magnesium intake deficiency on bone metabolism and bone tissue around osseointegrated implants

Objectives: This study evaluated the effect of magnesium dietary deficiency on bone metabolism and bone tissue around implants with established osseointegration. Materials and methods: For this, 30 rats received an implant in the right tibial metaphysis. After 60 days for healing of the implants, the animals were divided into groups according to the diet received Control group (CTL) received a standard diet with adequate magnesium content, while test group (Mg) received the same diet except for a 90% reduction of magnesium. The animals were sacrificed after 90 days for evaluation of calcium, magnesium, osteocalcin and parathyroid hormone (PTH) serum levels and the deoxypyridinoline (DPD) level in the urine. The effect of magnesium deficiency on skeletal bone tissue was evaluated by densitometry of the lumbar vertebrae, while the effect of bone tissue around titanium implants was evaluated by radiographic measurement of cortical bone thickness and bone density. The effect on biomechanical characteristics was verified by implant removal torque testing. Results: Magnesium dietary deficiency resulted in a decrease of the magnesium serum level and an increase of PTH and DPD levels (P <= 0.05). The Mg group also presented a loss of systemic bone mass decreased cortical bone thickness and lower values of removal torque of the implants (P <= 0.01). Conclusions: The present study concluded that magnesium-deficient diet had a negative influence on bone metabolism as well as on the bone tissue around the implants.

Laboratory wear testing of polyurethane elastomers

A dry sand-rubber wheel abrasion test was used to investigate the wear behaviour of polyurethanes. The dry sand-rubber wheel abrasion test (DSRW test) is an approved ASTM test designed primarily for testing metals, therefore, in this study the set of test conditions was optimized for use with polyurethane elastomers. The wear performance of polyurethanes was assessed for the range of Shore hardness 85A to 65D, and a correlation was identified between the wear rate and the sample hardness. Polyurethane elastomers can be separated into three classes according to their hardness and wear performance, and each class shows a different dependence on the specimen temperature. This work has implications for use of the DSRW test for the prediction of field performance of polyurethanes. (C) Elsevier Science S.A.

Testing market efficiency: Evidence from the NFL sports betting market

This article examines the efficiency of the National Football League (NFL) betting market. The standard ordinary least squares (OLS) regression methodology is replaced by a probit model. This circumvents potential econometric problems, and allows us to implement more sophisticated betting strategies where bets are placed only when there is a relatively high probability of success. In-sample tests indicate that probit-based betting strategies generate statistically significant profits. Whereas the profitability of a number of these betting strategies is confirmed by out-of-sample testing, there is some inconsistency among the remaining out-of-sample predictions. Our results also suggest that widely documented inefficiencies in this market tend to dissipate over time.

Lymphocyte proliferation testing in chromium allergic contact dermatitis

Background. Lymphocyte proliferation testing (LPT) has some advantages over patch testing to diagnose allergic contact dermatitis. It is harmless, objective and can be used in clinical situations where patch testing is not recommended. Unfortunately, significant success has only been achieved with nickel. There are few studies on chromium LPT and they were performed with different methods, leading to inconsistent results. Methods. To determine the best parameters for chromium LPT, we tested 20 patients with allergic contact dermatitis to the metal and 20 controls, using various protocols. Results. The best sensitivity and specificity ratios were achieved with 6-day cultures stimulated with a range from 7.5 x 10(-4) to 5 x 10(-3) mol/L of nonfiltered chromium chloride solutions. The sensitivity, specificity and accuracy values found within this range were 65%, 95% and 80%, respectively. Conclusion. Further investigation is necessary to achieve better sensitivity values.

A Bayesian approach to fuzzy hypotheses testing for the estimation of optimal age for vaccination against measles

Fuzzy Bayesian tests were performed to evaluate whether the mother`s seroprevalence and children`s seroconversion to measles vaccine could be considered as ""high"" or ""low"". The results of the tests were aggregated into a fuzzy rule-based model structure, which would allow an expert to influence the model results. The linguistic model was developed considering four input variables. As the model output, we obtain the recommended age-specific vaccine coverage. The inputs of the fuzzy rules are fuzzy sets and the outputs are constant functions, performing the simplest Takagi-Sugeno-Kang model. This fuzzy approach is compared to a classical one, where the classical Bayes test was performed. Although the fuzzy and classical performances were similar, the fuzzy approach was more detailed and revealed important differences. In addition to taking into account subjective information in the form of fuzzy hypotheses it can be intuitively grasped by the decision maker. Finally, we show that the Bayesian test of fuzzy hypotheses is an interesting approach from the theoretical point of view, in the sense that it combines two complementary areas of investigation, normally seen as competitive. (C) 2007 IMACS. Published by Elsevier B.V. All rights reserved.

BIOMECHANICAL EVALUATION OF ORTHOPAEDIC CEMENT COMBINED WITH ANTIBIOTIC AND METHYLENE BLUE

Objective: Acrylic cement has been used for years on orthopaedic surgeries, especially on knee arthroplasties, deserving special attention when added to antibiotics (for treatment of deep bone infections) or stains (to facilitate its removal). The present study was conducted in order to evaluate potential mechanical differences between the orthopaedic cement itself and when this is added to antibiotic and/or stains. Methods: Surgical bone cement Simplex@P Stryker, vancomycin and methylene blue were used, and the mixtures were submitted to physical and mechanical tests according the ABNT NBR ISO 5833 rule. The parameters studied here were: time for mass formation, intrusion capability, resistance to compression, resistance to flexion and maximum temperature reached by the mixtures. Results: The evaluated mixtures were approved as to mass formation, maximum temperature, intrusion capability and resistance to compression. Only the one containing pure cement was approved on the flexion essay. Conclusion: The addition of vancomycin and/or methylene blue to Surgical Simplex@P Stryker bone cement reduces its resistance to flexion, being unacceptable by the ABNT NBR ISO 5833 rule.

Application of Real-Time PCR Stool Assay for Helicobacter pylori Detection and Clarithromycin Susceptibility Testing in Brazilian Children

Background: Helicobacter pylori ClariRes assay is a novel commercially available real-time PCR assay allowing H. pylori detection and clarithromycin susceptibility testing in either gastric biopsy or stool specimens. Objective: The aim of this study was to validate the novel biprobe real-time assay in stool specimens from 217 dyspeptic children. Methods: DNA from gastric biopsies and stool specimens were obtained and submitted to the biprobe real time assay for H. pylori detection and clarithromycin susceptibility testing. Results: The sensitivity, specificity, and test accuracy were 69, 100 and 93.9% for the detection of H. pylori infection and 83.3, 100 and 95.6%, for detection of clarithromycin resistance. Conclusion: This assay proved to be appropriate for H. pylori clarithromycin susceptibility testing, particularly in children populations where a high prevalence of clarithromycin-resistant strains is suspected.

HER2 Testing in Breast Carcinoma Very Low Concordance Rate Between Reference and Local Laboratories in Brazil

Breast cancer accounts for approximately one quarter of all cancers in females. HER2 gene amplification or HER2 protein overexpression, detected in about 20% of breast carcinomas, predicts a more aggressive clinical course and determines eligibility for targeted therapy with trastuzumab. HER2 testing has become an essential part of the clinical evaluation of all breast carcinoma patients, and accurate HER2 results are critical in identifying patients who may be benefited from targeted therapy. This study investigated the concordance in the results of HER2 immunohistochemistry assays performed in 500 invasive breast carcinomas between a reference laboratory and 149 local laboratories from all geographic regions of Brazil. Our results showed an overall poor concordance (171 of 500 cases, 34.2%) regarding HER2 results between local and reference laboratories, which may be related to the low-volume load of HER2 assays, inexperience with HER2 scoring system, and/or technical issues related to immunohistochemistry in local laboratories. Standardization of HER2 testing with rigorous quality control measures by local laboratories is highly recommended to avoid erroneous treatment of breast cancer patients.

Integrating toxicity testing in the wastewater management of chemical storage terminals - A proposal based on a ten-year study

Wastewater control at storage terminals of liquid chemical products in bulk is very difficult because of the variety of products handled in the facilities generating effluents of variable composition. The main objective of this work was to verify if the Vibrio fischeri acute toxicity test could be routinely included in the wastewater management of those facilities along with physical and chemical analysis in order to evaluate and improve the quality of the generated effluents. The study was performed in two phases before and after the implementation of better operational practices/treatment technologies. Chemical oxygen demand (COD) and toxicity of treated effluents did not correlate showing that effluents with low COD contain toxic substances and non-biodegradable organic matter, which may be not degraded when discharged into the aquatic environment. Segregation of influents or pre-treatment based on toxicity results and biodegradability index were implemented in the facilities generating significant improvements in the quality of final effluents with reduction of Biochemical oxygen demand (BOD) and toxicity. The integration of physical and chemical analysis with the V.fischeri toxicity test turned out to be an excellent tool for wastewater management in chemical terminals allowing rapid decision making for pollution control and prevention measures. Reuse of rain water was also proposed and when implemented by the facilities resulted in economical and environmental benefits. (C) 2010 Elsevier B.V. All rights reserved.

Biomechanical evaluation on tendon reinsertion by comparing trans-osseous suture and suture anchor at different stages of healing: Experimental study on rabbits

Background: Through an experimental biomechanical study on rabbits, tendon reinsertion by means of trans-osseous suture on a spongy bone bed and suture anchor were evaluated comparatively at different phases of healing. Methods: Twenty-four New Zealand White rabbits were used: 2 as pilots, 4 as the control group, and 18 as the experimental group. These 18 animals underwent sectioning and reinsertion of the Achilles tendon bilaterally, using the technique of trans-osseous suture on 1 side and suture anchor on the other. All the pelvic limbs that underwent the procedure were then immobilized for 3 weeks. The experimental group was divided into 3 groups that were sacrificed, respectively, 3, 6, and 12 weeks later. The tendon-bone complex was subjected to biomechanical tests to evaluate the parameters of maximum strength, stiffness, and yield strength. Results: There was no statistically significant difference between the suture anchor group and the trans-osseous suture group, in relation to yield strength (3 weeks, P = .222; 6 weeks, P = .465; and 12 weeks, P = .200) or maximum strength (3 weeks, P = .222; 6 weeks, P = .076; and 12 weeks, P = .078). In relation to stiffness, the suture anchor group showed a statistically significant difference only at 3 weeks of healing ( P = .032) over the trans-osseous suture group. Conclusion: The technique of suturing with an anchor was shown to be similar to the technique of trans-osseous suture for the studied parameters. Level of evidence: Basic Science Study, In-Vitro Biomechanics Study. (C) 2010 Journal of Shoulder and Elbow Surgery Board of Trustees.

NEW COUPLING SYSTEM FOR INTERFERENCE SCREWS: BIOMECHANICAL RESISTANCE TO TORSION

Objective: To introduce a new coupling system between screw driver and interference screw, and biomechanical tests that validate the safety of its application. Methods: The new system was submitted to biomechanical torsion assays. Two types of analysis were performed: maximum torque of manual insertion of the screws into bovine bone; destructive assays of torsion of the system using an INSTRON 55MT machine. The same tests were also performed on a control group, using a commercially available interference screw coupling system (Acufex (R)). Results: In the tests on manual insertion of screws in bovine femurs, the average values found with a digital torque meter were 1.958 N/m for Acufex (R) and 2.563 N/m for FMRP. Considering p>0.05, there were no statistical differences between the two groups (p=0.02) in the values for maximum torque of insertion, in the two systems studied. The average values for maximum torque of torsion resisted by the screw were 15N/m for the Acufex (R) screw and 13N/m for the FMRP screw, again with no statistical differences between the two groups (p>0.05). In the evaluation of angular deformation, there was also no significant difference between the two screw types (p=0.15). Conclusion: The new coupling system for interference screws developed at FMRP-USP revealed a torsion resistance that is comparable with the system already available on the market and regulated for international use.

Biomechanical effects of immobilization and rehabilitation on the skeletal muscle of trained and sedentary rats

Because of the scarcity of information about the comparison of training to sedentarism beforehand immobilization and rehabilitation through muscle mechanical properties, the present work investigates this theme. Seventy rats were divided into 7 groups: 1-control (C); 2-trained (T); 3-sedentary (S); 4-trained and immobilized (TI); 5-sedentary and immobilized (SI); 6-trained, immobilized and rehabilitated (TIR); 7-sedentary, immobilized and rehabilitated (SIR). Interventions: Swimming training; Sedentarism (reduced size cages); Cast immobilization (pelvic limb) and water rehabilitation. Load at the limit of proportionality (LLP), maximum limit load (MLL) and stiffness (St) were the mechanical properties determined after a mechanical test of traction of the gastrocnemius. The training improved all mechanical properties when compared to sedentarism. After immobilization, LLP and MLL were reduced in TI and SI. However, there was no difference in St between C and TI. Additionally, TI showed improved MLL when compared to SI. The comparison of TI and TIR showed significant melioration in all properties after remobilization. SIR showed an improvement only in MLL when compared to SI. Significant melioration in LLP and St was observed in TIR compared to SIR. We demonstrated that the training before immobilization and rehabilitation had a positive effect on the muscle mechanical behavior compared to sedentarism. This analysis is of fundamental importance because it helps characterize the muscle tissue under different functional demands.

Tension band wire fixation for valgus osteotomies of the proximal femur: A biomechanical study of three configurations of fixation

Background. A variety of techniques can be used to achieve stabilization of femoral valgus osteotomies in children, but what is lacking is a versatile fixation system that associates stability and versatility at different ages and for different degrees of deformity. Methods. Mechanical tests of three configurations used to fix femoral valgus osteotomies, based oil the tension band wire principle, were carried out. A 30 degrees wedge valgus osteotomy was performed at the subtrochanteric level in 60 swine femurs and fixed with three different systems. In Group 1, two Kirschner wires (K wire) were introduced from the tip of the greater trochanter to the medial cortex, crossing the osteotomy. A flexible steel wire was anchored to the K wires into holes in the lateral cortex and tightened to form a tension band. The same setup was used in Group 2, but two additional smooth K wires were inserted into the lateral surface of the greater trochanter and driven to the femoral head with the distal extremities bent and tied around tile bone shaft. In Group 3, the fixation was similar to that in Group 2, but tile ascending K wires were introduced below the osteotomy level, crossing the osteotonly. Mechanical tests in bending-compression and torsion were used to access the stability. Findings. The torsional relative stiffness was 116% greater for Group 3 (0.27 N m/degree) and no significant difference was found between Group 1 (0.10 N m/degree) and Group 2 (0.12 N m/degree). The average torque was 103% higher for Group 3 (1.86 N m). Stiffness in bending-compression was significantly higher in Group 3 (508 x 10(3) N/m) than in Group 1 (211 x 10(3) N/m) and Group 2 (219 x 10(3) N/m). Interpretation. Fixation as used in Group 3 was significantly more stable, both in torsion and bending-compression tests, than tile other two techniques. (c) 2007 Elsevier Ltd. All rights reserved.