Variability-Aware Analysis (FOSD Dagstuhl 2011)

•Als PPTX, PDF herunterladen•

1 gefällt mir•413 views

chk49

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

Technologie Business

Variability-Aware AnalysisType CheckingentireProductLines Christian Kästner and Sven Apel

33features optional, independent a unique variant forevery person on this planet

320features morevariantsthanestimatedatoms in theuniverse optional, independent

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

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)

Empfohlen

Andrea pandreapaola021

Virtual Separation of Concernschk49

Virtual Separation of Concerns (2011 Update)chk49

Variability-Aware Parsing -- OOPSLA Talkchk49

Semseo socialamedier-hrPeter Tilling

Parsing and Type checking all 2^10000 configurations of the Linux kernelchk49

Seeing SoftwareMichele Lanza

Ch6kinnarshah8888

Empfohlen

Andrea pandreapaola021

Virtual Separation of Concernschk49

Virtual Separation of Concerns (2011 Update)chk49

Variability-Aware Parsing -- OOPSLA Talkchk49

Semseo socialamedier-hrPeter Tilling

Parsing and Type checking all 2^10000 configurations of the Linux kernelchk49

Seeing SoftwareMichele Lanza

Ch6kinnarshah8888

Type checkingrawan_z

Ch4bkinnarshah8888

Type Checking(Compiler Design) #ShareThisIfYouLikeUnited International University

Type checking in compiler designSudip Singh

Three address code In Compiler DesignShine Raj

Hype vs. Reality: The AI ExplainerLuminary Labs

The Next Mainstream Programming Language: A Game Developer's Perspectivekfrdbs

The Next Mainstream Programming Language: A Game Developer’s Perspectiveguest4fd7a2

Tim Poplmchaar

Midterm PresentationZhongzhi Yu

Transfer Learning Across Variants and Versions: The Case of Linux Kernel SizeUniversity of Rennes, INSA Rennes, Inria/IRISA, CNRS

Optimizing Terascale Machine Learning Pipelines with Keystone MLSpark Summit

VaMoS 2021 - Deep Software Variability: Towards Handling Cross-Layer Configur...Luc Lesoil

Game developmentAsido_

Realtime Per Face Texture Mapping (PTEX)basisspace

PVS-Studio, a solution for resource intensive applications developmentOOO "Program Verification Systems"

Discovering Your AI Super Powers - Tips and Tricks to Jumpstart your AI ProjectsWee Hyong Tok

Kernel Recipes 2018 - 10 years of automated evolution in the Linux kernel - J...Anne Nicolas

Robust MLOps with Open-Source: ModelDB, Docker, Jenkins, and PrometheusManasi Vartak

Print Testingdonwelch

Convergencedonwelch

Kernel Recipes 2018 - Mitigating Spectre and Meltdown (and L1TF) - David Wood...Anne Nicolas

Weitere ähnliche Inhalte

Andere mochten auch

Type checkingrawan_z

Ch4bkinnarshah8888

Type Checking(Compiler Design) #ShareThisIfYouLikeUnited International University

Type checking in compiler designSudip Singh

Three address code In Compiler DesignShine Raj

Hype vs. Reality: The AI ExplainerLuminary Labs

Andere mochten auch (6)

Type checking

Ch4b

Type Checking(Compiler Design) #ShareThisIfYouLike

Type checking in compiler design

Three address code In Compiler Design

Hype vs. Reality: The AI Explainer

Ähnlich wie Variability-Aware Analysis (FOSD Dagstuhl 2011)

The Next Mainstream Programming Language: A Game Developer's Perspectivekfrdbs

The Next Mainstream Programming Language: A Game Developer’s Perspectiveguest4fd7a2

Tim Poplmchaar

Midterm PresentationZhongzhi Yu

Transfer Learning Across Variants and Versions: The Case of Linux Kernel SizeUniversity of Rennes, INSA Rennes, Inria/IRISA, CNRS

Optimizing Terascale Machine Learning Pipelines with Keystone MLSpark Summit

VaMoS 2021 - Deep Software Variability: Towards Handling Cross-Layer Configur...Luc Lesoil

Game developmentAsido_

Realtime Per Face Texture Mapping (PTEX)basisspace

PVS-Studio, a solution for resource intensive applications developmentOOO "Program Verification Systems"

Discovering Your AI Super Powers - Tips and Tricks to Jumpstart your AI ProjectsWee Hyong Tok

Kernel Recipes 2018 - 10 years of automated evolution in the Linux kernel - J...Anne Nicolas

Robust MLOps with Open-Source: ModelDB, Docker, Jenkins, and PrometheusManasi Vartak

Print Testingdonwelch

Convergencedonwelch

Kernel Recipes 2018 - Mitigating Spectre and Meltdown (and L1TF) - David Wood...Anne Nicolas

deep learning library coyoteの開発(CNN編)Kotaro Tanahashi

JUC Europe 2015: A Reproducible Build Environment with JenkinsCloudBees

Azure Day Rome Reloaded 2019 - Deconstructing Kubernetes using AKSazuredayit

Run commandsejaj ahmad

Ähnlich wie Variability-Aware Analysis (FOSD Dagstuhl 2011) (20)

The Next Mainstream Programming Language: A Game Developer's Perspective

The Next Mainstream Programming Language: A Game Developer’s Perspective

Tim Popl

Midterm Presentation

Transfer Learning Across Variants and Versions: The Case of Linux Kernel Size

Optimizing Terascale Machine Learning Pipelines with Keystone ML

VaMoS 2021 - Deep Software Variability: Towards Handling Cross-Layer Configur...

Game development

Realtime Per Face Texture Mapping (PTEX)

PVS-Studio, a solution for resource intensive applications development

Discovering Your AI Super Powers - Tips and Tricks to Jumpstart your AI Projects

Kernel Recipes 2018 - 10 years of automated evolution in the Linux kernel - J...

Robust MLOps with Open-Source: ModelDB, Docker, Jenkins, and Prometheus

Print Testing

Convergence

Kernel Recipes 2018 - Mitigating Spectre and Meltdown (and L1TF) - David Wood...

deep learning library coyoteの開発(CNN編)

JUC Europe 2015: A Reproducible Build Environment with Jenkins

Azure Day Rome Reloaded 2019 - Deconstructing Kubernetes using AKS

Run commands

Kürzlich hochgeladen

"Subclassing and Composition – A Pythonic Tour of Trade-Offs", Hynek SchlawackFwdays

Story boards and shot lists for my a level piececharlottematthew16

Unleash Your Potential - Namagunga Girls Coding ClubKalema Edgar

Unraveling Multimodality with Large Language Models.pdfAlex Barbosa Coqueiro

"Debugging python applications inside k8s environment", Andrii SoldatenkoFwdays

Are Multi-Cloud and Serverless Good or Bad?Mattias Andersson

AI as an Interface for Commercial BuildingsMemoori

Leverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage CostZilliz

Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)Mark Simos

New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024BookNet Canada

Developer Data Modeling Mistakes: From Postgres to NoSQLScyllaDB

Vector Databases 101 - An introduction to the world of Vector DatabasesZilliz

E-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptxnull - The Open Security Community

Search Engine Optimization SEO PDF for 2024.pdfRankYa

"ML in Production",Oleksandr BaganFwdays

Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmaticscarlostorres15106

DMCC Future of Trade Web3 - Special EditionDubai Multi Commodity Centre

Artificial intelligence in cctv survelliance.pptxhariprasad279825

Streamlining Python Development: A Guide to a Modern Project SetupFlorian Wilhelm

Dev Dives: Streamline document processing with UiPath Studio WebUiPathCommunity

Kürzlich hochgeladen (20)

"Subclassing and Composition – A Pythonic Tour of Trade-Offs", Hynek Schlawack

Story boards and shot lists for my a level piece

Unleash Your Potential - Namagunga Girls Coding Club

Unraveling Multimodality with Large Language Models.pdf

"Debugging python applications inside k8s environment", Andrii Soldatenko

Are Multi-Cloud and Serverless Good or Bad?

AI as an Interface for Commercial Buildings

Leverage Zilliz Serverless - Up to 50X Saving for Your Vector Storage Cost

Tampa BSides - Chef's Tour of Microsoft Security Adoption Framework (SAF)

New from BookNet Canada for 2024: BNC CataList - Tech Forum 2024

Developer Data Modeling Mistakes: From Postgres to NoSQL

Vector Databases 101 - An introduction to the world of Vector Databases

E-Vehicle_Hacking_by_Parul Sharma_null_owasp.pptx

Search Engine Optimization SEO PDF for 2024.pdf

"ML in Production",Oleksandr Bagan

Kotlin Multiplatform & Compose Multiplatform - Starter kit for pragmatics

DMCC Future of Trade Web3 - Special Edition

Artificial intelligence in cctv survelliance.pptx

Streamlining Python Development: A Guide to a Modern Project Setup

Dev Dives: Streamline document processing with UiPath Studio Web

Variability-Aware Analysis (FOSD Dagstuhl 2011)

1. Variability-Aware AnalysisType CheckingentireProductLines Christian Kästner and Sven Apel

2. Feature-OrientedProductLines

4. Database Engine

5. Printer Firmware

6. Linux Kernel

7. Variability = Complexity

8. 33features optional, independent a unique variant forevery person on this planet

9. 320features morevariantsthanestimatedatoms in theuniverse optional, independent

10. 2000 features 8000 features

11. Correctness?

12. Printer Firmware

13. CheckingProducts 2000 Features 100 Printers30 New Printers per Year Printer Firmware

14. CheckingProducts 8000 Features ? Products Linux Kernel

15. CheckingProduct Line Implementationwith 8000 Features + Generator Linux Kernel

16. Parser Type System Static Analysis Bug Finding Testing Model Checking Theorem Proving … Variability-Aware

17.

18. References Conflicts

19. true WORLD Presence Conditions BYE true

20. Reachability: pc(caller) -> pc(target) Conflicts:¬(pc(def1)˄ pc(def2)) ¬ (WORLD ˄ BYE) true -> (WORLD v BYE) true -> true

21. Variability Model: P WORLD BYE VM ->¬ (WORLD ˄ BYE) VM -> (true -> (WORLD v BYE)) VM -> (true -> true)

22. AST with Variability Information BYE WORLD WORLD 22 BYE Extended Lookup Mechanism

23.

24. Feature Modules Check Features in Isolation

25. Feature Modules Check Features in Isolation Variability-Aware Compatibility Checks ofInterfaces

26. Handling Complexity SurfaceComplexity Inherent Complexity SAT Problem

27. Variability-Aware Parsing entire Linux kernel Feature Lifting Variability-AwareModel Checking …

28. 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