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.

Evaluation of an In Vitro Blood-Based Assay to Detect Production of Interferon-γ By Mycobacterium Bovis–Infected White-Tailed Deer (Odocoileus Virginianus)

Tuberculosis due to Mycobacterium bovis in captive Cervidae was identified as an important disease in the United States in 1990 and prompted the addition of captive Cervidae to the USDA Uniform Methods and Rules for eradication of bovine tuberculosis. As well, M. bovis infection was identified in free-ranging white-tailed deer in northeast Michigan in 1995. Tuberculosis in both captive and free-ranging Cervidae represents a serious challenge to the eradication of M. bovis infection from the United States. Currently, the only approved antemortem tests for tuberculosis in Cervidae are the intradermal tuberculin skin test and the blood tuberculosis test (BTB). At present, the BTB is not available in North America. Tuberculin skin testing of Cervidae is time-consuming and involves repeated animal handling and risk of injury to animals and humans. This study evaluated the potential of a new blood-based assay for tuberculosis in Cervidae that would decrease animal handling, stress, and losses due to injury. In addition, a blood-based assay could provide a more rapid diagnosis. Twenty 6–9-month-old white-tailed deer, male and female, were experimentally inoculated by instillation of 300 colony-forming units of M. bovis in the tonsillar crypts. Seven, age-matched uninfected deer served as controls. Blood was collected on days 90, 126, 158, 180, 210, 238, 263, and 307 after inoculation and was analyzed for the production of interferon-γ (IFN-γ) in response to incubation with M. bovis purified protein derivative (PPDb), M. avium PPDa, pokeweed mitogen (PWM), or media alone. Production of IFN-g in response to PPDb was significantly greater (P < 0.05) at all time points in samples from M. bovis–infected deer as compared with uninfected control deer, whereas IFN-γ production to PWM did not differ significantly between infected and control deer. Measurement of IFN-γ production to PPDb may serve as a useful assay for the antemortem diagnosis of tuberculosis in Cervidae.