FCL: Automatically Detecting Structural Errors in Framework-Based Development

• Author(s) / Creator(s)

  • Hou, Daqing

• 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

  • Framework constraint language
  • Framework-based development
  • Error detection

• Type of Item

  Report

• DOI

  https://doi.org/10.7939/R3JM23K0N

• License

  Attribution 3.0 International