Annotating Components to Support Component-Based Static Analyses of Software Systems
Abstract
COTS components are typically viewed as black-boxes; input and output information is supplied in their interfaces. In this paper we argue that interfaces provide insufficient information for many analysis purposes and suggest analysis-related annotations be supplied with components. We center our discussion on static dependence analysis. We use an extensible language to annotate components and perform dependence analysis over these descriptions. We propose that component annotations be certified thereby providing a base for certifiable analysis.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1999
- Accession Number
- ADA444536
Entities
People
- Alexander L. Wolf
- Judith A. Stafford
Organizations
- University of Colorado Boulder