Yiwei Xiong, currently at Network Solutions, worked as a research assistant from September through May. She primarily designed and developed software to evaluate whether test data satisfied our coverage criteria.

Aynur Abdurazik is currently a PhD student at George Mason University, working as a Research Assistant on this Project. She helped develop software on the project in Spring of 1999, and is currently working primarily on developing software tools.

Roger Alexander, with the Software Productivity Consortium in Herndon VA, is a part-time PhD student working on one aspect of this project as part of his PhD Dissertation. Alexander is developing techniques for analyzing polymorphic relationships in object-oriented software. The results of this analysis will then be used as a basis for formal testing criteria at the integration level. Results so far include the analysis techniques, a preliminary proof-of-concept tool that analyzes Java programs to discover inheritance, call, and polymorphic relationships, and preliminary definitions of testing criteria. We are currently finishing the analysis tool and refining the testing criteria. Descriptions of these analysis techniques appear in the TOOLS USA conference in August, 1999.

Michelle Lee, currently with Network Solutions in Reston VA, was a part-time PhD student who was working on one aspect of this project as part of her PhD Dissertation, which was completed in December 1998. Lee developed techniques for analyzing object-oriented software to address the problem of change impact analysis. Her dissertation included definitions for an object-oriented data dependency graph, a set of algorithms that allow the potential impacts of proposed changes to software to be quantified, and a proof-of-concept tool that computes the impacts of changes. These results can help maintenance managers choose among a set of proposed changes, help test engineers decide what classes and methods need to be retested, and help managers perform cost estimation and schedule planning.