The results of our
initial analysis of version 2.2 of the OCP are summarized in the slide
presentation at left.
Detailed analysis
results, with traceability from patterns and problem pointcuts to
individual translation units and source line/column ranges are available
from http://dirac.ee.iastate.edu/ocp/
The patterns used
by this analysis appear in the current SEC pattern catalog.
Additional results
are given based on our manual analysis of OCP subtyping relationships. A more complete automated analysis of
subtyping relationships is expected to be completed soon.
We also expect to
develop transformations for those patterns associated with the most
important problems found during our initial analysis.
Formal interface
specifications will be developed and used to generate test cases for all
modules that we change.
All formal
interface specifications, test cases, changed OCP code, and regression test
results will be posted to this web page before the project is completed.
T-VEC
interface specs
T-VEC
test cases
Adapted
OCP code
Test
results
