1 Analyse von Software-statisch- Darmstadt,den 20.01.03 Presentation: Sebastian Schikowski Steve Kenfack.

Slides:



Advertisements
Ähnliche Präsentationen
Blue J.
Advertisements

Das „Vorgehensmodell“
PC-Cluster.
Christos, Kornelia, Jan Christos, Kornelia, Jan Entwicklungsumgebung Versteht unseren Java Programm Code Versteht unseren Java Programm.
Christos, Kornelia, Jan Christos, Kornelia, Jan Entwicklungsumgebung Versteht unseren Java Programm Code Versteht unseren Java Programm.
Christos, Kornelia, Jan Christos, Kornelia, Jan Entwicklungsumgebung Versteht unseren Java Programm Code Versteht unseren Java Programm.
Paul, Morten, Yannick Blue J. Entwicklungsumgebung versteht Java Programmcode versteht Java Programmcode Für die Entwicklung eigener Software.
NATURAL Web-Integration 1 / 27/28-Feb-98 TST NATURAL Web-Integration Arbeitskreis NATURAL Süd Theo Straeten SAG Systemhaus GmbH Technologieberater Stuttgart.
On a Buzzword: Hierachical Structure David Parnas.
Universität Stuttgart Institut für Kernenergetik und Energiesysteme Was ist Refactoring? Bevor man die Integration angeht, mag es angebracht sein, den.
es gibt (fast) nichts, was nicht anders gemacht werden könnte
Sortierverfahren Richard Göbel.
Motivation Richard Göbel.
Anfragesprachen – Dipl. Ing. Ulrich Borchert / FH Merseburg1/7 Datenbanken werden als Anhäufung von Werten eines Wertebereiches aufgefasst und Datenbankabfragen.
UML im Überblick – Dipl. Ing. Ulrich Borchert / FH Merseburg 1/22
1 Vorlesung Informatik 2 Algorithmen und Datenstrukturen (02 – Funktionenklassen) Prof. Dr. Th. Ottmann.
Vorlesung Informatik 2 Algorithmen und Datenstrukturen (02 – Funktionenklassen) Tobias Lauer.
Testen, Analysieren und Verifizieren von Software
DbjFileManager Paul Fruntzek Michael Stanek. Überblick Unterste Ebene im Schichtenmodell Schnittstelle zum BS (Low-Level) Aufgabenbereich: Persistente.
Rigi und Web2Rsf vorgestellt von Tobias Weigand. Inhalt Ziel von Web2Rsf und Rigi Vorstellung des Parsers Web2Rsf Vorstellung des Werkzeugs Rigi Analyse.
Software-Engineering
Universität Paderborn - Softwaretechnikpraktikum im SS Gruppe 11 1 Softwaretechnikpraktikum im SS2001 Projektleiter:Prof. Dr. Wilhelm Schäfer Gruppenleiter:Dr.
Explizite und editierbare Metainformationen für Software Muster.
Access 2000 Datenbanken.
DVG Klassen und Objekte
AkadOR W. Wagner, Didaktik der Chemie, Universität Bayreuth Sicherung auf HD: Beschreibung z.B. HD 500 GB: 1.Partition 1: Laufwerk C:, ca. 250GB Inhalt:
Wir müssen also überlegen: Implementierung der Knoten, Implementierung der Kanten, daraus: Implementierung des Graphen insgesamt. Annahme: die Knoteninhalte.
Der VFP Debugger - Coverage und Profiling. © 1999 TMN-Systemberatung GmbH Der VFP Debugger n Neues Aussehen, eigene Task n Erweiterte Möglichkeiten n.
Seite Common Gateway Interface. Konzepte. Übersicht 1Einleitung 2Was ist CGI? 3Wozu wird CGI verwendet? 4Geschichtlicher Überblick 5Grundvoraussetzungen.
Zurück zur ersten Seite SEP Entwurf und Implementierung einer effizienten Rechenstruktur zur Baumdarstellung mittels Java-Texteditoren Betreuer : Matthias.
Folie 1 Reengineering-Werkzeugen für Webseiten Johannes Martin, University of Victoria Ludger Martin, Technische Universität Darmstadt WSR 2001 Bad Honnef,
Inhalt Einführung –Spezifikation Aufbau des Tools –Aufnahme –Stille entfernen –Speicherung –Kommunikation mit den anderen Teilen.
... und alles was dazugehört
Objektorientierte Modellierung
Prof. Dr. Gerhard Schmidt pres. by H.-J. Steffens Software Engineering SS 2009Folie 1 Objektmodellierung Objekte und Klassen Ein Objekt ist ein Exemplar.
Alle Nicht- -Adressen aus einer Liste löschen
1. Die rekursive Datenstruktur Liste 1.1 Warteschlange (Queue)
Betrieb von Datenbanken Marco Skulschus & Marcus Wiederstein Datenmanipulation Lehrbuch, Kapitel 4.
Strukturierter Entwurf (und Realisierung)
Phasen der Softwareentwicklung
Welchen Problemen ist man bei heterogener, verteilter Programmierung ausgesetzt? Hardware: nicht einheitliche, inkompatible Systeme, verschiedene Leistungsfähigkeit.
WINTEGRATION®.
Vom Geschäftsprozess zum Quellcode
Beispiele von Objektkatalogen
1. Entwicklungsumgebung 2. Kontextmenü 3. Compile 4. Objekt 5. Attribut 6. Klasse 7. Deklaration 8. Intialisierung.
Java Programmierung.
Visionaire - Adventure Game Engine Tipps und Konzepte zur Entwicklung eines Spiele Editors Alex Hartmann.
EPROG Tutorium #3 Philipp Effenberger
Algorithmen und Datenstrukturen Übungsmodul 3
Open Source und OpenOffice
Grafische Visualisierung von Softwarestrukturen
Software Engineering Grundlagen
Agenda Motivation und Einordnung Syntaxgerichtete Übersetzung
Geoinformation I Lutz Plümer
Software Engineering Struktogramme
Software Engineering Strukturierter Entwurf
2 Grundlagen In diesem Abschnitt werden die Grundbegriffe und Methoden der Theorie der formalen Sprachen und der Automaten wiederholt, soweit diese ben.
WebComposition & WCML Ein Vortrag von Michael Capper & Lars Völker.
2. Sitzung Forschungsprozess als Abfolge von Entscheidungen
OOSE nach Jacobson Sebastian Pohl/ST7 Betreuer: Prof. Dr. Kahlbrandt.
IT2 – WS 2005/20061Nov 14, 2005 Visibility  public: Sichtbar in allen Paketen  protected: Sichtbar innerhalb des Pakets und in den Unterklassen  (default,
Softwarewerkzeuge zur Gestaltung und Unterstützung von Lernszenarien IMS Learning Design Lukas Bolliger Andreas Bühler Jennifer De Capitani Sebastian Leibold.
SWE1/Bearbeiter 1, Bearbeiter nProjekt: Party-Planer - Modul MODUL, 1.
Visuelles Debugging Vortrag im Seminar: „Software - Visualisierung“ SS 2002 Freie Universität Berlin Enrico Heine Prof. Löhr.
Christos, Kornelia, Jan Christos, Kornelia, Jan Entwicklungsumgebung Versteht unseren Java Programm Code Versteht unseren Java Programm.
Programmiersprachen II Vorbesprechung Klausur Prof. Dr. Reiner Güttler Fachbereich GIS HTW.
Analyse des HTML-Codes. Dieser Code ist für die Breite des Textes.
Semesterprojekt Präsentation Thema 1 Test-Arten
Formale Methoden Semesterprojekt Präsentation Thema 1 Test-Arten Fernstudium Master WI, MWI 10F Jan te Kock,
Vortrag Einführung in AspectJ. Gliederung 1 Einleitung 2 Querschnittsfunktionalitäten in AspectJ 2.1 Sprachelemente 3 Beispiel 4 Join Point Modell 5 Weaving.
 Präsentation transkript:

1 Analyse von Software-statisch- Darmstadt,den Presentation: Sebastian Schikowski Steve Kenfack

2 Überblick: Warum die statische Analyse? Aufbau der statischen Analyse Beschreibung von Rigi Statisch vs. Dynamisch

3 Software-Überblick Steigerung der Produktivität im Entwicklungsprozess Schnelles Verständniss der Software Warum die statische Analyse?

4 Aufbau der statischen Analyse Analyse der Programmstruktur Analyse des Codes

5 Analyse der Programmstruktur Die Datenstruktur Die Ablaufstruktur und Die Modulstruktur

6 Analyse der Programmstruktur Die Datenstruktur Eine Parameterliste Ein statisches COMMON-Feld Ein BASED-Feld oder Eine Datei

7 Analyse der Programmstruktur Die Ablaufstruktur Anzahl der Anweisungen insgesamt und Anzahl der Ablaufzweige

8 Analyse der Programmstruktur Die Modulstruktur Kontrolle des Datenaustausches Kommunikation untereinander nur über genormte Schnittstellen Einschränkung der Datenverfügbarkeit der einzelnen Module Kontrolle der Anzahl der Parameter und der Daten

9 Analyse des Codes Korrektheit des Codes Einhaltung der Codierkonventionen Codeprüfungsbericht

10 Beschreibung von RIGI RIGI, ein Software-Visualization-Tool Probleme, die RIGI löst: Strukturelle Komplexität Effektive Präsentation aller Informationen während des Entwicklungsprozesses Definition von Methoden (Konsistenz)

11 Beschreibung von RIGI Was kann RIGI ? Darstellung der Softwarebausteine und deren Beziehungen zueinander Veränderung der Softwarebausteine Definition der Systemstruktur

12 Beschreibung von RIGI Aufbau von RIGI Beispiel (Linked List) Objektklassen Subsysteme, Module, Definitionen, Implementationen, Variants, Revisions

13 Beschreibung von RIGI Operationen mit RIGI Einfügen, ausschneiden und kopieren von Knoten oder Verbindungslinien Rekompilieren von Modulen und Sets Editieren des Codes

14 Statisch vs. Dynamisch Statisch Programmüberblick Strukturelle Informationen Kontrolle des Datenflusses an einem beliebigen Punkt

15 Statisch vs. Dynamisch Dynamisch Debugger Vorkenntnisse über das Programm müssen vorhanden sein

16 Analyse von Software-statisch- Keine Fragen!?!?!