• Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
IntensiVE - A Toolsuite For Documenting and Checking Structural Source-Code Regularities
 

IntensiVE - A Toolsuite For Documenting and Checking Structural Source-Code Regularities

on

  • 573 views

Presentation at CSMR 2006 on "IntensiVE - A Toolsuite For Documenting and Checking Structural Source-Code Regularities"

Presentation at CSMR 2006 on "IntensiVE - A Toolsuite For Documenting and Checking Structural Source-Code Regularities"

Statistics

Views

Total Views
573
Views on SlideShare
572
Embed Views
1

Actions

Likes
0
Downloads
1
Comments
0

1 Embed 1

http://www.slideshare.net 1

Accessibility

Categories

Upload Details

Uploaded via as Adobe PDF

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

    IntensiVE - A Toolsuite For Documenting and Checking Structural Source-Code Regularities IntensiVE - A Toolsuite For Documenting and Checking Structural Source-Code Regularities Presentation Transcript

    • IntensiVE A Toolsuite For Documenting and Checking Structural Source-Code Regularities Kim Mens 1 Andy Kellens 2 1 Département d’Ingénierie Informatique Université catholique de Louvain, Belgium 2 Programming Technology Lab Vrije Universiteit Brussel, Belgium
    • Research Problem • How to document structural source-code regularities? • e.g., naming and coding conventions, as well as other structural dependencies • shared by many entities spread throughout the code • How to verify conformance of this documentation to the source code upon evolution? • and provide fine-grained feedback to the developer in case of problems • to fix the code or refine the documented regularities Intensional Views & Relations IntensiVE Codifying Structural Regularities Co-Evolution of Code and Structure ❄ ❄ ❄
    • Solution • Intensional Views • groups of entities spread throughout the code • that share some structural property • Intensional Relations • binary relationships between such views • The IntensiVE toolsuite • supports definition of intensional views and relations • enables the verification of constraints on them • provides fine-grained feedback upon problems Intensional Views & Relations IntensiVE Codifying Structural Regularities ❄ Co-Evolution of Code and Structure ❄ ❄
    • 2 Case Studies • DelfSTof • Smalltalk prototype for code mining with FCA • Documented interesting regularities before restructuring • Reverified validity of regularities after restructuring • SmallWiki • Smalltalk implementation of a WIKI system • Documented regularities on an initial version • Verified validity of regularities on evolved version Intensional Views & Relations IntensiVE Codifying Structural Regularities Co-Evolution of Code and Structure ❄ ❄ ❄
    • Intensional Views (and Relations) • Simplified example • Extensional vs. intensional views • Alternative intensions • Relations between views Intensional Views & Relations IntensiVE Codifying Structural Regularities ❄ Co-Evolution of Code and Structure ❄ ❄
    • Simplified Example BankAccount BankCard owner account amount pay(amount) increase(amount) checkPin() decrease(amount) saveToDisk() calculateInterest() saveToDisk()