Variability-Aware Analysis (FOSD Dagstuhl 2011)

•Als PPTX, PDF herunterladen•

1 gefällt mir•414 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

Powerful Google developer tools for immediate impact! (2023-24 C)wesley chun

Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024The Digital Insurer

CNv6 Instructor Chapter 6 Quality of Servicegiselly40

presentation ICT roal in 21st century educationjfdjdjcjdnsjd

Boost PC performance: How more available memory can improve productivityPrincipled Technologies

Finology Group – Insurtech Innovation Award 2024The Digital Insurer

2024: Domino Containers - The Next Step. News from the Domino Container commu...Martijn de Jong

Automating Google Workspace (GWS) & more with Apps Scriptwesley chun

Driving Behavioral Change for Information Management through Data-Driven Gree...Enterprise Knowledge

Tech Trends Report 2024 Future Today Institute.pdfhans926745

Handwritten Text Recognition for manuscripts and early printed textsMaria Levchenko

IAC 2024 - IA Fast Track to Search Focused AI SolutionsEnterprise Knowledge

Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...Neo4j

The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdfEnterprise Knowledge

Presentation on how to chat with PDF using ChatGPT code interpreternaman860154

What Are The Drone Anti-jamming Systems Technology?Antenna Manufacturer Coco

08448380779 Call Girls In Friends Colony Women Seeking MenDelhi Call girls

Evaluating the top large language models.pdfChristopherTHyatt

04-2024-HHUG-Sales-and-Marketing-Alignment.pptxHampshireHUG

Data Cloud, More than a CDP by Matt RobisonAnna Loughnan Colquhoun

Kürzlich hochgeladen (20)

Powerful Google developer tools for immediate impact! (2023-24 C)

Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024

CNv6 Instructor Chapter 6 Quality of Service

presentation ICT roal in 21st century education

Boost PC performance: How more available memory can improve productivity

Finology Group – Insurtech Innovation Award 2024

2024: Domino Containers - The Next Step. News from the Domino Container commu...

Automating Google Workspace (GWS) & more with Apps Script

Driving Behavioral Change for Information Management through Data-Driven Gree...

Tech Trends Report 2024 Future Today Institute.pdf

Handwritten Text Recognition for manuscripts and early printed texts

IAC 2024 - IA Fast Track to Search Focused AI Solutions

Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...

The Role of Taxonomy and Ontology in Semantic Layers - Heather Hedden.pdf

Presentation on how to chat with PDF using ChatGPT code interpreter

What Are The Drone Anti-jamming Systems Technology?

08448380779 Call Girls In Friends Colony Women Seeking Men

Evaluating the top large language models.pdf

04-2024-HHUG-Sales-and-Marketing-Alignment.pptx

Data Cloud, More than a CDP by Matt Robison

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