This decommissioned ERA site remains active temporarily to support our final migration steps to https://ualberta.scholaris.ca, ERA's new home. All new collections and items, including Spring 2025 theses, are at that site. For assistance, please contact erahelp@ualberta.ca.
- 218 views
- 315 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
-
- License
- Attribution 3.0 International