OCP results

The results of our initial analysis of version 2.2 of the OCP are summarized in the slide presentation below.

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.

Related documents: Summary of OCP results | Detailed analysis results | SEC pattern catalog | Subtyping analysis

Specifications and tests: T-VEC interface specs | T-VEC test cases | Adapted OCP code | Test results

Home | Issues | Vision | XCIL | XPSL | Pattern catalogs | KCS tools | Results | Services | Standards | Tech transfer