Using Source-Code Analysis to Help End-user Programmers Create Dependable Software

Not long ago, most software was written by professional programmers, who could be presumed to have an interest in software engineering methodologies and in tools and techniques for improving software dependability. Today, however, a great deal of software is written not by professionals but by end-users, who create applications such as multimedia simulations, dynamic web pages, and spreadsheets. Applications such as these are often used to guide important decisions or aid in important tasks, and it is important that they be sufficiently dependable, but evidence shows that they frequently are not. For example, studies have shown that a large percentage of the spreadsheets created by end-users contain faults. Despite such evidence, until recently, relatively little research had been done to help end-users create more dependable software. We have been working to address this problem by finding ways to provide at least some of the benefits of formal software engineering techniques to end-user programmers. In this talk, focusing on the spreadsheet application paradigm, I present several of our approaches, focusing on methodologies that utilize source-code-analysis techniques to help end-users build more dependable spreadsheets. Behind the scenes, our methodologies use static analyses such as dataflow analysis and slicing, together with dynamic analyses such as execution monitoring, to support user tasks such as validation and fault localization. I show how, to accommodate the user base of spreadsheet languages, an interface to these methodologies can be provided in a manner that does not require an understanding of the theory behind the analyses, yet supports the interactive, incremental process by which spreadsheets are created. Finally, I present empirical results gathered in the use of our methodologies that highlight several costs and benefits trade-offs, and many opportunities for future work.

Milk Containing Mycobacterium bovis as a Source of Infection for White-Tailed Deer Fawns (Odocoileus virginianus)

Setting:White-tailed deer represent the first wildlife reservoir of Mycobacterium bovis in the United States. The behavior of does with nursing fawns provides several potential mechanisms for disease transmission. Little information exists concerning transmission between doe and fawn, specifically transmammary transmission. Objective: Determine if fawns can become infected by ingestion of milk replacer containing M. bovis, thus simulating transmission from doe to fawn through contaminated milk. Design: Seventeen, 21-day-old white-tailed deer fawns were inoculated orally with 2x108 CFU (high dose, n=5), 2.5 x 105 to 2.5 x 106 CFU (medium dose, n=5), and 1x104 CFU (low dose, n=5) of M. bovis in milk replacer. Dosages were divided equally and fed daily over a 5-day period. Positive control fawns (n=2) received 1x105 CFU of M. bovis instilled in the tonsillar crypts. Fawns were euthanized and examined 35-115 days after inoculation and various tissues collected for bacteriologic and microscopic analysis. Results: All fawns in the tonsillar, high oral and medium oral dose groups developed generalized tuberculosis involving numerous organs and tissues by 35-84 days after inoculation. Three of five fawns in the low-dose oral group had tuberculous lesions in the mandibular lymph node, and one of five had lesions in the medial retropharyngeal lymph node when examined 115 days after inoculation. Conclusion: White-tailed deer fawns can become infected through oral exposure to M. bovis. Therefore, the potential exists for fawns to acquire M. bovis while nursing tuberculous does.