Discriminative pattern mining in software fault detection

We present a method to enhance fault localization for software systems based on a frequent pattern mining algorithm. Our method is based on a large set of test cases for a given set of programs in which faults can be detected. The test executions are recorded as function call trees. Based on test oracles the tests can be classified into successful and failing tests. A frequent pattern mining algorithm is used to identify frequent subtrees in successful and failing test executions. This information is used to rank functions according to their likelihood of containing a fault. The ranking suggests an order in which to examine the functions during fault analysis. We validate our approach experimentally using a subset of Siemens benchmark programs.

Hypo-accommodation responses in hypermetropic infants and children

Aims: Accommodation to overcome hypermetropia is implicated in emmetropisation. This study recorded accommodation responses in a wide range of emmetropising infants and older children with clinically significant hypermetropia to assess common characteristics and differences. Methods: A PlusoptiXSO4 photorefractor in a laboratory setting was used to collect binocular accommodation data from participants viewing a detailed picture target moving between 33cm and 2m. 38 typically developing infants were studied between 6-26 weeks of age and were compared with cross-sectional data from children 5-9 years of age with clinically significant hypermetropia (n=15), corrected fully accommodative strabismus (n=14) and 27 age-matched controls. Results: Hypermetropes of all ages under-accommodated compared to controls at all distances, whether corrected or not (p<0.00001) and lag related to manifest refraction. Emmetropising infants under-accommodated most in the distance, while the hypermetropic patient groups underaccommodated most for near. Conclusions: Better accommodation for near than distance is demonstrated in those hypermetropic children who go on to emmetropise. This supports the approach of avoiding refractive correction in such children. In contrast, hypermetropic children referred for treatment for reduced distance visual acuity are not likely to habitually accommodate to overcome residual hypermetropia left by an under-correction.

Variability of the accommodation response in early onset myopia

Purpose. Hyperopic retinal defocus (blur) is thought to be a cause of myopia. If the retinal image of an object is not clearly focused, the resulting blur is thought to cause the continuing lengthening of the eyeball during development causing a permanent refractive error. Both lag of accommodation, especially for near targets, and greater variability in the accommodative response, have been suggested as causes of increased hyperopic retinal blur. Previous studies of lag of accommodation show variable findings. In comparison, greater variability in the accommodative response has been demonstrated in adults with late onset myopia but has not been tested in children. This study looked at the lag and variability of accommodation in children with early onset myopia. Methods. Twenty-one myopic and 18 emmetropic children were tested. Dynamic measures of accommodation and pupil size were made using eccentric photorefraction (Power Refractor) while children viewed targets set at three different accommodative demands (0.25, 2, and 4 D). Results. We found no difference in accommodative lag between groups. However, the accommodative response was more variable in the myopes than emmetropes when viewing both the near (4 D) and far (0.25 D) targets. Since pupil size and variability also varied, we analyzed the data to determine whether this could account for the inter-group differences in accommodation variability. Variation in these factors was not found to be sufficient to explain these differences. Changes in the accommodative response variability with target distance were similar to patterns reported previously in adult emmetropes and late onset myopes. Conclusions. Children with early onset myopia demonstrate greater accommodative variability than emmetropic children, and have similar patterns of response to adult late onset myopes. This increased variability could result in an increase in retinal blur for both near and far targets. The role of accommodative variability in the etiology of myopia is discussed.

Receding and disparity cues aid relaxation of accommodation

Purpose. Accommodation can mask hyperopia and reduce the accuracy of non-cycloplegic refraction. It is, therefore, important to minimize accommodation to obtain a measure of hyperopia as accurate as possible. To characterize the parameters required to measure the maximally hyperopic error using photorefraction, we used different target types and distances to determine which target was most likely to maximally relax accommodation and thus more accurately detect hyperopia in an individual. Methods. A PlusoptiX SO4 infra-red photorefractor was mounted in a remote haploscope which presented the targets. All participants were tested with targets at four fixation distances between 0.3 and 2 m containing all combinations of blur, disparity, and proximity/looming cues. Thirty-eight infants (6 to 44 weeks) were studied longitudinally, and 104 children [4 to 15 years (mean 6.4)] and 85 adults, with a range of refractive errors and binocular vision status, were tested once. Cycloplegic refraction data were available for a sub-set of 59 participants spread across the age range. Results. The maximally hyperopic refraction (MHR) found at any time in the session was most frequently found when fixating the most distant targets and those containing disparity and dynamic proximity/looming cues. Presence or absence of blur was less significant, and targets in which only single cues to depth were present were also less likely to produce MHR. MHR correlated closely with cycloplegic refraction (r = 0.93, mean difference 0.07 D, p = n.s., 95% confidence interval +/-<0.25 D) after correction by a calibration factor. Conclusions. Maximum relaxation of accommodation occurred for binocular targets receding into the distance. Proximal and disparity cues aid relaxation of accommodation to a greater extent than blur, and thus non-cycloplegic refraction targets should incorporate these cues. This is especially important in screening contexts with a brief opportunity to test for significant hyperopia. MHR in our laboratory was found to be a reliable estimation of cycloplegic refraction. (Optom Vis Sci 2009;86:1276-1286)

A novel experimental method for measuring vergence and accommodation responses to the main near visual cues in typical and atypical groups

Binocular disparity, blur, and proximal cues drive convergence and accommodation. Disparity is considered to be the main vergence cue and blur the main accommodation cue. We have developed a remote haploscopic photorefractor to measure simultaneous vergence and accommodation objectively in a wide range of participants of all ages while fixating targets at between 0.3 and 2 m. By separating the three main near cues, we can explore their relative weighting in three-, two-, one-, and zero-cue conditions. Disparity can be manipulated by remote occlusion; blur cues manipulated by using either a Gabor patch or a detailed picture target; looming cues by either scaling or not scaling target size with distance. In normal orthophoric, emmetropic, symptom-free, naive visually mature participants, disparity was by far the most significant cue to both vergence and accommodation. Accommodation responses dropped dramatically if disparity was not available. Blur only had a clinically significant effect when disparity was absent. Proximity had very little effect. There was considerable interparticipant variation. We predict that relative weighting of near cue use is likely to vary between clinical groups and present some individual cases as examples. We are using this naturalistic tool to research strabismus, vergence and accommodation development, and emmetropization.

Gender differences in early accommodation and vergence development

A remote haploscopic photorefractor was used to assess objective binocular vergence and accommodation responses in 157 full-term healthy infants aged 1-6 months while fixating a brightly coloured target moving between fixation distances at 2, 1, 0.5 and 0.33 m. Vergence and accommodation response gain matured rapidly from 'flat' neonatal responses at an intercept of approximately 2 dioptres (D) for accommodation and 2.5 metre angles(MA) for vergence, reaching adult-like values at 4 months. Vergence gain was marginally higher in females (p = 0.064), but accommodation gain (p = 0.034) was higher and accommodative intercept closer to zero (p = 0.004) in males in the first 3 months as they relaxed accommodation more appropriately for distant targets. More females showed flat accommodation responses (p = 0.029). More males behaved hypermetropically in the first two months of life, but when these hypermetropic infants were excluded from the analysis, the gender difference remained. Gender differences disappeared after three months. Data showed variable responses and infants could behave appropriately and simultaneously on both, neither or only one measure at all ages. If accommodation was appropriate (gain between 0.7 and 1.3; r(2) > 0.7) but vergence was not, males over- and under-converged equally, while the females who accommodated appropriately were more likely to overconverge (p = 0.008). The apparent earlier maturity of the male accommodative responses may be due to refractive error differences but could also reflect gender-specific male preference for blur cues while females show earlier preference for disparity, which may underpin the earlier emerging, disparity dependent, stereopsis and full vergence found in females in other studies.

The development of convergence and accommodation

Aim: To review current literature on the development of convergence and accommodation. The accommodation and vergence systems provide the foundation upon which bifoveal binocular single vision develops. Deviations from their normal development not only are implicated in the aetiology of convergence anomalies, accommodative anomalies and strabismus, but may also be implicated in failure of the emmetropisation process. Method: This review considers the problems of researching the development of accommodation and vergence in infants and how infant research has had to differ from adult methods. It then reviews and discusses the implications of current research into the development of both systems and their linkages. Results: Vergence and accommodation develop rapidly in the first months of life, with accommodation changing from relatively fixed myopic focus in the neonatal period to adult-like responses by 4 months of age. Vergence develops gradually and becomes more accurate after 4 months of age, but has been demonstrated in infants well before the age that binocular disparity detection mechanisms are thought to develop. Hypotheses for this early vergence mechanism are discussed. The relationship between accommodation and vergence shows much more variability in infants than adult literature has found, but this apparent adult/infant difference may be partly attributed to methodological differences rather than maturational change alone. Conclusions: Variability and flexibility characterise infant responses. This variability may enable infants to develop a flexible and robust binocular system for later life. Studies of infant visual cue use may give clues to the aetiology of strabismus and refractive error.

Predicting fault inflow in iterative software development processes: an industrial evaluation

This paper addresses the need for accurate predictions on the fault inflow, i.e. the number of faults found in the consecutive project weeks, in highly iterative processes. In such processes, in contrast to waterfall-like processes, fault repair and development of new features run almost in parallel. Given accurate predictions on fault inflow, managers could dynamically re-allocate resources between these different tasks in a more adequate way. Furthermore, managers could react with process improvements when the expected fault inflow is higher than desired. This study suggests software reliability growth models (SRGMs) for predicting fault inflow. Originally developed for traditional processes, the performance of these models in highly iterative processes is investigated. Additionally, a simple linear model is developed and compared to the SRGMs. The paper provides results from applying these models on fault data from three different industrial projects. One of the key findings of this study is that some SRGMs are applicable for predicting fault inflow in highly iterative processes. Moreover, the results show that the simple linear model represents a valid alternative to the SRGMs, as it provides reasonably accurate predictions and performs better in many cases.

Hybrid fault detection and isolation in an heater bank of an HVAC system

In this work a hybrid technique that includes probabilistic and optimization based methods is presented. The method is applied, both in simulation and by means of real-time experiments, to the heating unit of a Heating, Ventilation Air Conditioning (HVAC) system. It is shown that the addition of the probabilistic approach improves the fault diagnosis accuracy.

Multiple-model fault tolerant control of terminal unites of HVAC Systems

In this work, a fault-tolerant control scheme is applied to a air handling unit of a heating, ventilation and air-conditioning system. Using the multiple-model approach it is possible to identify faults and to control the system under faulty and normal conditions in an effective way. Using well known techniques to model and control the process, this work focuses on the importance of the cost function in the fault detection and its influence on the reconfigurable controller. Experimental results show how the control of the terminal unit is affected in the presence a fault, and how the recuperation and reconfiguration of the control action is able to deal with the effects of faults.