Infrastructure Support for Controlled Experimentation with Software Testing and Regression Testing Techniques

Where the creation, understanding, and assessment of software testing and regression testing techniques are concerned, controlled experimentation is an indispensable research methodology. Obtaining the infrastructure necessary to support such experimentation, however, is difficult and expensive. As a result, progress in experimentation with testing techniques has been slow, and empirical data on the costs and effectiveness of techniques remains relatively scarce. To help address this problem, we have been designing and constructing infrastructure to support controlled experimentation with testing and regression testing techniques. This paper reports on the challenges faced by researchers experimenting with testing techniques, including those that inform the design of our infrastructure. The paper then describes the infrastructure that we are creating in response to these challenges, and that we are now making available to other researchers, and discusses the impact that this infrastructure has and can be expected to have.

Evaluation of Blood Assays for Detection of Mycobacterium bovis in White-Tailed Deer (Odocoileus virginianus) in Michigan

Surveillance and control activities related to bovine tuberculosis (TB) in free-ranging, Michigan white-tailed deer (Odocoileus virginianus) have been underway for over a decade, with significant progress. However, foci of higher TB prevalence on private lands and limited agency ability to eliminate them using broad control strategies have led to development and trial of new control strategies, such as live trapping, testing, and culling or release. Such strategies require a prompt, accurate live animal test, which has thus far been lacking. We report here the ability of seven candidate blood assays to determine the TB infection status of Michigan deer. Our aims were twofold: to characterize the accuracy of the tests using field-collected samples and to evaluate the feasibility of the tests for use in a test-and-cull strategy. Samples were collected from 760 deer obtained via five different surveys conducted between 2004 and 2007. Blood samples were subjected to one or more of the candidate blood assays and evaluated against the results of mycobacterial culture of the cranial lymph nodes. Sensitivities of the tests ranged from 46% to 68%, whereas specificities and negative predictive values were all .92%. Positive predictive values were highly variable. An exploratory analysis of associations among several host and sampling-related factors and the agreement between blood assay and culture results suggested these assays were minimally affected. This study demonstrated the capabilities and limitations of several available blood tests for Mycobacterium bovis on specimens obtained through a variety of field surveillance methods. Although these blood assays cannot replace mass culling, information on their performance may prove useful as wildlife disease managers develop innovative methods of detecting infected animals where mass culling is publicly unacceptable and cannot be used as a control strategy.

A Comparison of Induction Motor Starting Methods Being Powered by a Diesel-Generator Set

Starting induction motors on isolated or weak systems is a highly dynamic process that can cause motor and load damage as well as electrical network fluctuations. Mechanical damage is associated with the high starting current drawn by a ramping induction motor. In order to compensate the load increase, the voltage of the electrical system decreases. Different starting methods can be applied to the electrical system to reduce these and other starting method issues. The purpose of this thesis is to build accurate and usable simulation models that can aid the designer in making the choice of an appropriate motor starting method. The specific case addressed is the situation where a diesel-generator set is used as the electrical supplied source to the induction motor. The most commonly used starting methods equivalent models are simulated and compared to each other. The main contributions of this thesis is that motor dynamic impedance is continuously calculated and fed back to the generator model to simulate the coupling of the electrical system. The comparative analysis given by the simulations has shown reasonably similar characteristics to other comparative studies. The diesel-generator and induction motor simulations have shown good results, and can adequately demonstrate the dynamics for testing and comparing the starting methods. Further work is suggested to refine the equivalent impedance presented in this thesis.

Service Utilization Patterns of Homeless Youth

Few studies exist on the types of characteristics associated with service utilization (e.g., shelters, food programs) among homeless youth in the U.S. Services are important, however, because without food and shelter, numerous homeless youth resort to trading sex in order to meet their daily survival needs. Access to physical and mental health services gives homeless youth more of an opportunity to integrate into mainstream society than they would otherwise have. To address this gap in our understanding, my study examines what traits (e.g. age, race, abuse history) correlate with the use of shelters, food programs, street outreach, counseling, STD/STI testing, and HIV testing among homeless youth. The Theory of Reasoned Action is used as an ideological framework in conjunction with theoretical constructs of risk, need, and prior service exposure. Data were obtained from the Social Network and Homeless Youth Project (SNHYP), a sample of 249 Midwestern homeless youth ages 14 to 21, which used trained interviewers to conduct structured interviews with youth. Respondents were interviewed in both shelters and on the street over a period of approximately one year. My findings revealed that homeless youth’s service usage varied across gender, sexual orientation, age, having recently held a job, and having ever been physically or sexually abused, in addition to other characteristics. Conversely, service use was not associated with social network size or subjective norms (i.e. attitudes of peers, such as acceptance of condom use) of youths’ social networks. By examining these areas, my study builds on previous research on homeless youth and lays the framework for future research on service utilization by homeless youth.

Designing Software Product Lines for Testability

Software product line (SPL) engineering offers several advantages in the development of families of software products such as reduced costs, high quality and a short time to market. A software product line is a set of software intensive systems, each of which shares a common core set of functionalities, but also differs from the other products through customization tailored to fit the needs of individual groups of customers. The differences between products within the family are well-understood and organized into a feature model that represents the variability of the SPL. Products can then be built by generating and composing features described in the feature model. Testing of software product lines has become a bottleneck in the SPL development lifecycle, since many of the techniques used in their testing have been borrowed from traditional software testing and do not directly take advantage of the similarities between products. This limits the overall gains that can be achieved in SPL engineering. Recent work proposed by both industry and the research community for improving SPL testing has begun to consider this problem, but there is still a need for better testing techniques that are tailored to SPL development. In this thesis, I make two primary contributions to software product line testing. First I propose a new definition for testability of SPLs that is based on the ability to re-use test cases between products without a loss of fault detection effectiveness. I build on this idea to identify elements of the feature model that contribute positively and/or negatively towards SPL testability. Second, I provide a graph based testing approach called the FIG Basis Path method that selects products and features for testing based on a feature dependency graph. This method should increase our ability to re-use results of test cases across successive products in the family and reduce testing effort. I report the results of a case study involving several non-trivial SPLs and show that for these objects, the FIG Basis Path method is as effective as testing all products, but requires us to test no more than 24% of the products in the SPL.