Usage
  • 13 views
  • 105 downloads

FCL: Automatically Detecting Structural Errors in Framework-Based Development

  • Author(s) / Creator(s)
  • Technical report TR04-01. Object-oriented frameworks are often misused because programmers do not fully understand them. This dissertation investigates the feasibility and effectiveness of detecting framework constraints from framework-based applications; framework constraints are syntactic rules on the structure of applications. A specification language called FCL (Framework Constraint Language) is designed to specify them and a checker can be used to check if the specification has been followed. Case studies including a real framework MFC (Microsoft Foundation Classes) are conducted. We conclude that FCL is expressive enough to specify framework constraints and can be useful to facilitate error detection. | TRID-ID TR04-01

  • Date created
    2004
  • Subjects / Keywords
  • Type of Item
    Report
  • DOI
    https://doi.org/10.7939/R3JM23K0N
  • License
    Attribution 3.0 International