Avancerad sökning

Visar resultat 1 - 5 av 9 uppsatser som matchar ovanstående sökkriterier.

1. 1. Assessing the Costs and Benefits of Proactively Adding Features in opensource system Bitcoin-Wallet: A Simulation study

   Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

   Författare :Ramzi Samir Masoud Abu Zahra; [2023-08-03]
   Nyckelord :Simulator; annotations; traceability;

   Sammanfattning : Objective: This paper builds on previous research and expands on the cost-benefit analysis of proactive feature annotation, with a focus on using Java to validate the findings from a real-world case study. Background: The significance of features within a system lies behind the need to locate them as they often necessitate identification for enhancement, and editing-related activities. LÄS MER

3. 2. Improving the Synthesis of Annotations for Partially Automated Deductive Verification

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Hovig Manjikian; [2023]
   Nyckelord :Formal verification; Automated verification; Contract inference.; Formell verifiering; Automatiserad verifiering; Kontraktgenerering.;

   Sammanfattning : This work investigates possible improvements to an existing annotation inference tool. The tool is part of a toolchain that aims to automate the process of software verification using formal methods. LÄS MER

4. 3. Help Annotating Software “HAnS” - Visualisation

   Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

   Författare :Kenny Bang; Johan Berg; Seif Bourogaa; Lucas Frövik; Alexander Grönberg; Sara Persson; [2021-09-07]
   Nyckelord :Annotations; Features; Feature location; Visualisation; IntelliJ; Plugin; Software development;

   Sammanfattning : Developing large software systems that are feature-oriented is a complex and time-consuming task that is further hindered by the recurring and repetitive undertaking of feature lookup. However, feature lookups’ inefficiency can be solved using embedded annotations that quickly and easily allow for recovery of features and their locations. LÄS MER

5. 4. Design and Assessment of an Engine for Embedded Feature Annotations

   Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

   Författare :Tobias Schwarz; [2021-03-03]
   Nyckelord :Embedded Annotations; Feature; Software Engineering; Software Product Line; Git; Partial Commits;

   Sammanfattning : Features are an inherent unit of development of every software; and are defined as a set of implementation artifacts that constitute a functionality that adds value to the product, and is perceived useful by the customer. Locating features in source code is a typical software developer task, whether it before implementing a new feature, or maintaining and bug fixing of existing ones, as it is essential to know where to make changes. LÄS MER

7. 5. Synthesis of Annotations for Partially Automated Deductive Verification

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Daniel Skantz; [2021]
   Nyckelord :;

   Sammanfattning : We investigate the possibility of inferring annotations from source code to enable a partially automated process of deductive verification within the scope of embedded systems code. Specifically, we design a plugin for the verification framework Frama-C, that synthesizes function contracts including every precondition necessary to later prove functional software specifications. LÄS MER