Comparing finite state machine test coverage criteria

To plan testing activities, testers face the challenge of determining a strategy, including a test coverage criterion that offers an acceptable compromise between the available resources and test goals. Known theoretical properties of coverage criteria do not always help and, thus, empirical data are needed. The results of an experimental evaluation of several coverage criteria for finite state machines (FSMs) are presented, namely, state and transition coverage; initialisation fault and transition fault coverage. The first two criteria focus on FSM structure, whereas the other two on potential faults in FSM implementations. The authors elaborate a comparison approach that includes random generation of FSM, construction of an adequate test suite and test minimisation for each criterion to ensure that tests are obtained in a uniform way. The last step uses an improved greedy algorithm.

Checking Completeness of Tests for Finite State Machines

In testing from a Finite State Machine (FSM), the generation of test suites which guarantee full fault detection, known as complete test suites, has been a long-standing research topic. In this paper, we present conditions that are sufficient for a test suite to be complete. We demonstrate that the existing conditions are special cases of the proposed ones. An algorithm that checks whether a given test suite is complete is given. The experimental results show that the algorithm can be used for relatively large FSMs and test suites.

Improving Alzheimer`s Disease Diagnosis with Machine Learning Techniques

There is not a specific test to diagnose Alzheimer`s disease (AD). Its diagnosis should be based upon clinical history, neuropsychological and laboratory tests, neuroimaging and electroencephalography (EEG). Therefore, new approaches are necessary to enable earlier and more accurate diagnosis and to follow treatment results. In this study we used a Machine Learning (ML) technique, named Support Vector Machine (SVM), to search patterns in EEG epochs to differentiate AD patients from controls. As a result, we developed a quantitative EEG (qEEG) processing method for automatic differentiation of patients with AD from normal individuals, as a complement to the diagnosis of probable dementia. We studied EEGs from 19 normal subjects (14 females/5 males, mean age 71.6 years) and 16 probable mild to moderate symptoms AD patients (14 females/2 males, mean age 73.4 years. The results obtained from analysis of EEG epochs were accuracy 79.9% and sensitivity 83.2%. The analysis considering the diagnosis of each individual patient reached 87.0% accuracy and 91.7% sensitivity.

Evaluating SVM and MLDA in the extraction of discriminant regions for mental state prediction

Pattern recognition methods have been successfully applied in several functional neuroimaging studies. These methods can be used to infer cognitive states, so-called brain decoding. Using such approaches, it is possible to predict the mental state of a subject or a stimulus class by analyzing the spatial distribution of neural responses. In addition it is possible to identify the regions of the brain containing the information that underlies the classification. The Support Vector Machine (SVM) is one of the most popular methods used to carry out this type of analysis. The aim of the current study is the evaluation of SVM and Maximum uncertainty Linear Discrimination Analysis (MLDA) in extracting the voxels containing discriminative information for the prediction of mental states. The comparison has been carried out using fMRI data from 41 healthy control subjects who participated in two experiments, one involving visual-auditory stimulation and the other based on bimanual fingertapping sequences. The results suggest that MLDA uses significantly more voxels containing discriminative information (related to different experimental conditions) to classify the data. On the other hand, SVM is more parsimonious and uses less voxels to achieve similar classification accuracies. In conclusion, MLDA is mostly focused on extracting all discriminative information available, while SVM extracts the information which is sufficient for classification. (C) 2009 Elsevier Inc. All rights reserved.

Dental caries profile in Monte Negro, Amazonian state of Rondônia, Brazil, in 2008

OBJECTIVE: This epidemiological survey assessed the dental caries profile in Monte Negro, a small town in the Amazonian state of Rondônia, Brazil, and its relationship with the northern region, national and global goals for oral health in the years 2000 and 2020. MATERIAL AND METHODS: The groups randomly examined were composed of individuals aged 5, 12, 15 to 19, 35 to 44, 65 to 74 years, living in both rural and urban areas. RESULTS: The means dft (standard deviation) and DMFT (standard deviation) for the groups were, respectively, 3.15 (3.12), 3.41 (2.69), 5.96 (4.19), 16.00 (7.30) and 25.96 (9.82). Caries-free individuals were 34.42%, 14.81% and 8.16% in the preschoolchildren, schoolchildren and adolescent groups, respectively. The Significant Caries Index percentages applied to the two younger groups were 6.65 and 6.70, and they increased to 32.00 in the individuals aged 65 to 74 years. Care Index percentages for adolescents, adults and elderly groups were, respectively, 29.40, 25.00 and 1.41. The dental caries profile in Monte Negro in 2008 shows that, 8 years after the year 2000, no FDI/WHO goal for any age settled in 1982 has been achieved. Dental caries increased with age and the main dental problem of adult and elderly groups was tooth loss. CONCLUSION: Oral health promotion and prevention of oral disease policies are urgent needs. Setting of oral health goals and targets to people living in Monte Negro or Amazonia to be pursuit and achieved in a near future is an important action to do because of the culture, sanitary conditions and socioeconomic aspects of this particular population.

Oral health conditions among the elderly in Southeastern São Paulo State

OBJECTIVE: This study aimed to asses oral health conditions in a population aged 60 years and over living in Botucatu, Southeastern Brazil. A cross-sectional population-based study was carried out using a random sample (N=372) of the urban population aged 60 years and over from the city of Botucatu, in 2005. World Health Organization criteria and codes for oral health epidemiological surveys were used. Re-examination was carried out in 10% of individuals aiming to evaluate intra-examiner agreement. Statistical analysis was performed by one-way ANOVA or Kruskal-Wallis ANOVA, as applicable. Also, the t-test was used in the absence of homoscedasticity. Fisher's exact test was used for situations where the categories with less than five units were observed. Adjusted residuals and multiple-comparison analysis were conducted to identify associations between variable categories and subgroups. The intra-examiner agreement was 98% and Kappa statistics result was 0.95. Loss component represented 90.68% of DMF-T index, which was 29.85. The prevalence of edentulism was 63.17%. Upper and lower dentures were found in 80% and 58% respectively, with complete denture as the most commonly used. In those studied, 15% required upper and 38% lower dentures. There was more need for complete denture in both jaws. Approximately 20% had soft tissue alterations. For periodontal conditions, most sextants were excluded (81.81%). Periodontal pockets (4 - 5 mm) were seen in 11.29% of the examined individuals. The oral health status of the elderly population in Botucatu is poor, as well as in other Brazilian cities. The results of this study may help planning collective health actions, giving an accurate description of the oral problems among the elderly.

Isolation of Pseudomonas aeruginosa strains from dental office environments and units in Barretos, state of São Paulo, Brazil, and analysis of their susceptibility to antimicrobial drugs

A wide variety of opportunistic pathogens has been detected in the tubing supplying water to odontological equipment, in special in the biofilm lining of these tubes. Among these pathogens, Pseudomonas aeruginosa, one of the leading causes of nosocomial infections, is frequently found in water lines supplying dental units. In the present work, 160 samples of water, and 200 fomite samples from forty dental units were collected in the city of Barretos, State of São Paulo, Brazil and evaluated between January and July, 2005. Seventy-six P. aeruginosa strains, isolated from the dental environment (5 strains) and water system (71 strains), were tested for susceptibility to six antimicrobial drugs most frequently used against P. aeruginosa infections. Susceptibility to ciprofloxacin, followed by meropenem was the predominant profile. The need for effective means of reducing the microbial burden within dental unit water lines is emphasized, and the risk of exposure and cross-infection in dental practice, in special when caused by opportunistic pathogens like P. aeruginosa, are highlighted.

Occurrence of Staphylococcus aureus in raw milk produced in dairy farms in São Paulo state, Brazil

The objective of the present study was to evaluate the occurrence of Staphylococcus aureus in milk produced in 37 farms located in the regions of Ribeirão Preto and São Carlos, state of São Paulo, Brazil. Two-hundred and eight samples of milk from individual cows showing subclinical mastitis, and 37 samples of bulk tank milk were analyzed. S. aureus strains were detected in 18 (7.3%) milk samples: 14 (6.7%) from samples of individual cows, and 4 (10.8%) from bulk tank milk. Two individual milk samples (14.3%) and two bulk milk samples contained enterotoxigenic S. aureus. PFGE analysis revealed the genetic heterogeneity of the strains isolated from raw milk, which presented to 13 S. aureus patterns. Results confirmed the potential transmission of staphylococcal food poisoning to consumers via milk of cows affected by subclinical mastitis, mainly when raw milk is ingested.

Detection of Brucella ovis in ovine from Paraíba State, in the Northeast region of Brazil

To determine the presence of Brucella ovis in ovine from Paraíba State, in the Northeast region of Brazil, 80 animals slaughtered in the public slaughterhouse of Patos city were used. Before slaughter, blood samples were collected by jugular venopuncture from each animal, and after slaughter, testicles, epidydimus and uterus were aseptically collected. For the serological diagnosis of B. ovis and B. abortus infections, the agar gel immunodiffusion (AGID) and Rose Bengal (RBT) tests were carried out, respectively. In addition, microbiological culture and polymerase chain reaction (PCR) were performed on testicle, epidydimus and uterus samples. Six animals (7.5%) tested positive for the presence of B. ovis antibodies and all animals tested negative for the presence of B. abortus antibodies. One AGID-positive animal tested positive at uterine swab culture. PCR was able to amplify DNA of Brucella spp. from the pool of testicle, epidydimus and uterus samples from AGID-positive animals. This is the first report of isolation and detection of B. ovis DNA by PCR in ovine from the Northeast region of Brazil.

Etiology of cutaneous leishmaniasis and anthropophilic vectors in Juruti, Pará State, Brazil

In a preliminary study in Juruti, a mining municipality in western Pará State, Brazil, 12 out of 21 patients suspected of presenting cutaneous leishmaniasis showed positive PCR (SSUrDNA and G6PD): Leishmania (Viannia) braziliensis (9/12; 75%) and L. (V.) sp. (3/12; 25%). Entomological studies in the same location revealed the presence of 12 different phlebotomine species (n =105). One of the most common species was Lutzomyia (Psychodopygus) complexa (17%) which is both highly anthropophilic and a known vector of L. (V.) braziliensis in other regions of Pará. These preliminary findings should serve to guide future epidemiological surveillance in Juruti.

Trichomycterus dali: a new highly troglomorphic catfish (Silurifomes: Trichomycteridae) from Serra da Bodoquena, Mato Grosso do Sul State, Central Brazil

Trichomycterus dali, new species, is described from flooded limestone caves in Serra da Bodoquena karst area, State of Mato Grosso do Sul, Central Brazil. The new species is diagnosed by a unique character in the genus, the presence of conspicuous, ridge-like adipose folds lining dorsally throughout the body. Trichomycterus dali can be further distinguished readily from epigean congeners by the reduction of eyes and skin pigmentation (except for T. gorgona), and from remaining congeners (i.e., all hypogean plus T. gorgona) by the total loss of eyes, not visible externally (except for T. sandovali and T. spelaeus). Other diagnostic features includes very long barbels, especially the nasal (99.3-143.5% HL) and the maxillary (97.0-131.3% HL), pectoral-fin ray count reaching I,9 and a unique cranial fontanel with a conspicuous constriction on the meeting point of supraoccipital and the two frontal bones. The troglobitic status of the species is suggested by the presence of troglomorphisms on an advanced degree, especially the reduction of skin pigmentation, the total loss of eyes and the enlarged barbels. In addition, the presence of a well developed adipose fold in adults may indicate a distinctive adaptation acquired by neoteny to withstand the food scarce conditions of its hypogean habitat.

A new species of Sickesia (Laniatores: Stygnidae: Opiliones) and new records for the State of Piauí, Brazil

Sickesia tremembe sp. nov. is described from Piauí, Northeast Brazil (type-locality: Sete Cidades National Park, Brasileira and Piracuruca municipalities). It differs from S. usta and S. helmuti by the clavate male femur IV and chelicerae segment I with a pair of large tubercles on retrolateral surface. The Stygnidae Stygnus polyacanthus (Mello-Leitão, 1923); the Cosmetidae, Gryne pluriarcuata Mello-Leitão, 1936 and undetermined species of Paecilaema and Gryne and also representatives of Escadabiidae and Sclerosomatidae (Gagrellinae) are recorded from this state, for the first time.

First record of Stygnidae for the state of Espírito Santo and description of a new Protimesius (Arachnida: Opiliones: Laniatores)

Protimesius osvaldoi sp. nov. is described from the Reserva Biológica de Sooretama, state of Espírito Santo, southeastern Brazil, being the first record of Stygnidae from this State and the southernmost record of the family in the Brazilian Atlantic Forest (hitherto, the family was recorded down to Bahia only), extending in 210 km south of the previously known distribution. This is a large species, with armature of leg IV very reduced and penial morphology differing from the closest counterparts mainly in the ventral plate, which recedes deeply at the lateral borders and has the distal margin curved ventrally and by the presence of two small intermediate setae. Protimesius Roewer, 1913 consisted hitherto of 17 species, recorded from northern/northeastern Brazil and Amazonia of adjacent countries. A key is given for the 17 species of Protimesius for which males are known.

A new species of Hemiancistrus from the rio Araguaia basin, Goiás state, Brazil (Siluriformes: Loricariidae)

Hemiancistrus cerrado is described from the tributaries of rio Araguaia, rio Tocantins basin. Hemiancistrus cerrado has external similarities with H. megalopteryx and H. punctulatus from coastal streams of southern Brazil, and can be distinguished by having a larger internarial width, 15.9-21.1% of head length (vs. 11.2-14.0% in H. megalopteryx and 11.2-13.9% in H. punctulatus) and, with little overlap, by the larger adipose-fin spine length, 9.4-13.6% of standard length (vs. 7.1-8.7% in H. megalopteryx and 7.4-10.0% in H. punctulatus). Hemiancistrus cerrado further differs from H. megalopteryx by having the pectoral-fin spine reaching maximally to the middle of the pelvic-fin spine when adpressed in adult males (vs. reaching tip). Hemiancistrus cerrado differs from other members of Hemiancistrus by color and numerous morphometric and meristic data.