Graduate Thesis Or Dissertation
 

Using Change Representations to Analyze Properties of Variational Software

Public Deposited

Downloadable Content

Download PDF
https://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/k930c288z

Descriptions

Attribute NameValues
Creator
Abstract
  • Appropriate representations of variational software simplify the analysis of their properties.This thesis proposes tailored representations of two kinds variational softwares: difference files of merge commits in Git and feature models. For the former, we use the Choice Edit Model, which is based on the choice calculus, to represent changes introduced by merge commits. This approach identifies merge conflicts and automatically detects conflicts that can be ignored because they are semantically irrelevant. An experiment of 50 Git repositories shows that in some cases about 10% of merge conflicts having no semantical effects. For feature models, this thesis provides Choice Dependency Graphs to show relationships of features. Choice Dependency Graphs provide a succinct representation that supports 4 analysis operations for feature models effectively.
License
Resource Type
Date Available
Date Issued
Degree Level
Degree Name
Degree Field
Degree Grantor
Commencement Year
Advisor
Committee Member
Academic Affiliation
Non-Academic Affiliation
Subject
Rights Statement
Publisher
Peer Reviewed
Language
Replaces

Relationships

Parents:

This work has no parents.

In Collection:

Items