Variability-Aware Analysis (FOSD Dagstuhl 2011)
Upcoming SlideShare
Loading in...5
×
 

Variability-Aware Analysis (FOSD Dagstuhl 2011)

on

  • 455 views

An overview of variability-aware analysis on the example of type checking software product lines

An overview of variability-aware analysis on the example of type checking software product lines

Statistics

Views

Total Views
455
Views on SlideShare
451
Embed Views
4

Actions

Likes
0
Downloads
2
Comments
0

2 Embeds 4

http://twitter.com 3
https://si0.twimg.com 1

Accessibility

Categories

Upload Details

Uploaded via as Microsoft PowerPoint

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

Variability-Aware Analysis (FOSD Dagstuhl 2011) Variability-Aware Analysis (FOSD Dagstuhl 2011) Presentation Transcript

  • Variability-Aware AnalysisType CheckingentireProductLines
    Christian Kästner and Sven Apel
  • Feature-OrientedProductLines
  • Database
    Engine
  • Printer Firmware
  • Linux
    Kernel
  • Variability = Complexity
  • 33features
    optional, independent
    a unique variant forevery
    person on this planet
  • 320features
    morevariantsthanestimatedatoms in theuniverse
    optional, independent
  • 2000 features
    8000
    features
  • Correctness?
  • Printer Firmware
  • CheckingProducts
    2000 Features
    100 Printers30 New Printers per Year
    Printer Firmware
  • CheckingProducts
    8000 Features
    ? Products
    Linux
    Kernel
  • CheckingProduct Line
    Implementationwith 8000 Features
    + Generator
    Linux
    Kernel
  • Parser
    Type System
    Static Analysis
    Bug Finding
    Testing
    Model Checking
    Theorem Proving

    Variability-Aware
  • References
    Conflicts
  • true
    WORLD
    Presence Conditions
    BYE
    true
  • Reachability: pc(caller) -> pc(target)
    Conflicts:¬(pc(def1)˄ pc(def2))
    ¬ (WORLD ˄ BYE)
    true -> (WORLD v BYE)
    true -> true
  • Variability Model:
    P
    WORLD
    BYE
    VM ->¬ (WORLD ˄ BYE)
    VM -> (true -> (WORLD v BYE))
    VM -> (true -> true)
  • AST with Variability Information
    BYE
    WORLD
    WORLD
    22
    BYE
    Extended Lookup Mechanism
  • Feature Modules
    Check Features in
    Isolation
  • Feature Modules
    Check Features in
    Isolation
    Variability-Aware
    Compatibility Checks
    ofInterfaces
  • Handling Complexity
    SurfaceComplexity
    Inherent
    Complexity
    SAT
    Problem
  • Variability-Aware Parsing
    entire
    Linux kernel
    Feature Lifting
    Variability-AwareModel Checking

  • Parser
    Type System
    Static Analysis
    Bug Finding
    Testing
    Model Checking
    Theorem Proving

    Variability-Aware
    Product Line
    CheckingProducts
    CheckingProduct Line
    Paper Collection:
    http://researchr.org/tag/variability-aware-analysis
  • Picture Credits
    © Stuck in Customs (cc by-nc-sa 2.0)
    © Horia Varlan (cc by 2.0)