• Was ist Change Impact Analysis?

  • Teil von Change Management
  • Idenifizieruen die Teile von Software, die von Aenderung potenziell beeinflusst werden

• Was sind 3 Mengen die wir kennengelern haben? (auswendig lernen)

  • Impact set - Software Artefacts potentially affected by the change (Menge der Artefakte, die potenziell beeinflusst sind)
  • Affected set - Software Artefacts actually affected by the change (Menge der Artefakte, die wirklich beeinflusst sind, zB wegen Seiteneffekte)
  • Change set - Software Artefacts directly involved in the change (Menge der Artefakte, die man Aendert)
  • Change Set kennt man, man will Affected Set rausfinden.

• Malen sie diese 3 Mengen auf

  

• Was ist Side Effect?

  • “An error or an undesirable behaviour that occurs as a result of a modification”
  • Aenderung → Etwas geht kaputt

• Was ist Ripple Effect?

  • “An effect observed in one artefact caused by a change in another”

• Welche 2 Arten von Verfahren fuer Change Impact Analysis haben wir kennengelernt?

  • Static Analysis - Analyse the source code structure
  • Dynamic Analysis - Execute and observe the code runtime

• Wie sieht es mit dem Verhaeltnis von Affected zu Impact set aus?

  • Affected Set - welche Teile des Systems sind tatsaechlich durch Aenderung beeinflusst
  • Impacts Set - welche Teile des Systems sind potenziell durch Aenderung beeinflusst
  • Impact Set beinhaltet Affected Set

Static Approaches

• Was sind die statischen Verfahren in CIA?
  • Analyse von Source Code Struktur, ohne Observation von Runtime
  • Analyse von anderen Dokumenten
• Vorteil und Nachteil von statischen Verfahren
  • Vorteil: einfacher, da keine Compilierung und kein Runtimeumgegebung benoetigt sind
  • Nachteil: Laufzeit wird nur approximiert. Wegen Halteproblem ist die genaue Berechnung nicht entscheidbar
• Beispiele fuer statische Verfahren (auswendig lernen und erklaeren koennen)
  • Cross Referencing
  • Datenflussanalyze
  • Pointeranalyse
  • zwei Arten von Program Slicing: Forwardslicing, Backwardslicing
• Was ist Cross Referencing?
  • Analysiere AST. Finde wo eine konkrete Variable oder Methode benutzt ist
  • Variablen: Read/Write
  • Methode: Calls
  • Wird zB in IDE angezeigt wenn man Show Usages macht
  • Wird verwendet, um Usages von Methoden und Variablen zu finden
• Was ist Datenflussanalyze?
  • Analysiere Flow Graps. Winde, welche Variable den Wert von eine konkrete Variable beeinflussen.
  • Welche Variablen beeinflussen Variable d → Backward analysis starting at d
  • Kann Kontext betracten → aus welchem Teil des Programms wurde die Methode aufgerufen.
  • Wird verwendet, um unbenutzte Variablen zu finden, oder unnoetige Operationen zu identifizieren
• Was ist Pointeranalyse?
  • Fuer alle Variablen: analysiere die References, die in diesen Variablen enthalten werden koennen.
  • Es gibt drei Arten von Pointers:
    • unaliased: zwei Variable haben nie die gleiche Reference
    • may-aliased: zwei Variablen koennen gleiche Reference enthalten (es gibt mindestens eine Execution Path)
    • must-aliased: zwei Variablen enthalten immer gleiche Reference (fuer alle Execution Paths)
• Was bringt die Pointeranalyse fuer die CIA?
  • Man kann damit Impact Set bestimmen - man findet, was in Variablen ueberhaupt gespeichert werden kann.
• Was ist Program Slicing?
  • Performed on Program Dependence Graphs
  • Analysiere, welche Scheiben (== Bloecke, zB in IF-statement) sind von Aenderung betroffen, und welche nicht
  • Forward Slicing: Nehme eine Zeile Code und schaue, welche Zeilen werden davon beeinflusst
  • Backward Slicing: Nehme eine Zeile Code und schaue, welche Zeilen beeinfluessen diese
  • Used to isolate specific parts of the program that need to be modified or improved, without having to understand the entire program. → Impact Set

• Welche Vaerianten von Program Slicing gibt es?
  • Forward Slicing
  • Backward Slicing
• Program Slicing vs Data Flow Analysis (ChatGpt)
  • Program slicing and data flow analysis are two techniques used in software evolution to analyze and understand software systems. While they are related and can be used together, they serve different purposes and focus on different aspects of the software system.
  • Program slicing is a technique that identifies the parts of a program that are relevant to a particular computation. It works by identifying a set of program statements, called a slice, that may affect the output of a specific computation. The slice contains only those statements that directly or indirectly influence the value of the variables involved in the computation. Program slicing is useful in software evolution because it allows developers to isolate specific parts of the program that need to be modified or improved, without having to understand the entire program.
  • Data flow analysis, on the other hand, is a technique that examines the flow of data through a program to determine how it is used and where it goes. It works by constructing a data flow graph that represents the relationships between the variables in the program and the operations that manipulate them. Data flow analysis is useful in software evolution because it can help identify potential errors or inefficiencies in the program, such as variables that are never used or operations that are repeated unnecessarily.
  • In summary, program slicing is concerned with identifying the parts of a program that are relevant to a specific computation, while data flow analysis is concerned with analyzing the flow of data through the program to understand how it is used and where it goes. Both techniques can be used in software evolution to improve the quality and maintainability of software systems.