DUlCET


Definitions and Uses Covered on an Executed Test, a tool for ensuring software reliability through white box testing.

DUlCET is, as the name suggests, an implementation of a tool to measure the number of Definition-Use (DU) pairs covered on an executed test.

This tool is a static / dynamic hybrid in that the analysis is performed on a particular executed path (or some other sub-path) of a program, but it is not performed while the program is executing.

This project has been designed and is now in the implementation phase. As this project progresses, I will update this page to explain:
- The motivation of this kind of testing
- The pointer and alias analysis performed
- The emphasis on the design of reusable components

isaac jones <ijones@cis.ohio-state.edu>
Last modified: Sun Feb 21 15:07:27 EST 1999