A-C QA-C. das statische Sourcecode Analyse-Tool für C

Größe: px
Ab Seite anzeigen:

Download "A-C QA-C. das statische Sourcecode Analyse-Tool für C"

Transkript

1 A-C QA-C das statische Sourcecode Analyse-Tool für C Fehler vermeiden von Anfang an Bessere Software in kürzerer Zeit Automatisierte Code-Reviews Für bessere Software für bessere Entwicklerteams Unsere Software muss immer schneller marktreif sein. Und das mit immer weniger Fehlern. Das schaffen wir nur mit QA-C.

2 QA-C QA Systems GmbH Softwareentwicklung zu beschleunigen und zu verbessern das hat sich die QA Systems GmbH zur Aufgabe gemacht. Gegründet wurde das Unternehmen 1996 von Andreas Sczepansky in Stuttgart. QA Systems bietet Entwicklern, Softwaretestern und Qualitätsmanagern sowohl eigene Produkte mit weltweiter Vermarktung als auch passende Partnerprodukte an: ob für statisches oder dynamisches Testen, Requirements Engineering, Architekturanalyse oder Softwaremetriken. Um ihre Kunden bestmöglich zu unterstützen, berät und unterstützt QA Systems die Unternehmen vor, während und nach der Softwareeinführung nachhaltig und individuell. Zusätzlich wird der Wissenstransfer in der QA-Systems-Akademie gefördert. Experten wie zum Beispiel Dr. Scott Meyers und Prof. Dr. Les Hatton geben hier ihr Know-how und ihre Expertise weiter. Zu den rund 350 Kunden von QA Systems gehören unter anderem BMW, Continental und EADS.

3 QA-C QA-C 3 Bessere Software mit dem Marktführer In kürzerer Zeit bessere C-Programme erstellen möglich macht das QA-C, das statische Sourcecode Analyse-Tool für C. QA-C lokalisiert versteckte Mängel im Code. Und nicht nur das: es verbessert QA- C: I hr Sc h lü s s e l zu be sse re r Sof t ware perma nent die Art, wie die Programmiersprache C in von Ihnen ent wickelten Pro gram men genutzt wird. Sie definieren einen Program mier standard, so wie er Ihren An for derungen entspricht. Und QA-C sorgt voll automatisiert dafür, Weniger Softwarefehler dass er in allen Ihren Entwicklungen umgesetzt wird. Für zuverlässige, portable und wartungsfreundliche Softwarelösungen Mit QA-C können formale Code-Reviews auto matisiert werden, und Kandidaten Je früher im Entwicklungsprozess Softwarefehler entdeckt werden, desto kostengünstiger können sie behoben werden Hebt das Know-how Ihrer Entwickler und fördert bewährte Vorgehensweisen Besserer Software-Code unter Einhaltung Ihrer Standardvorgaben Verbessert die Zusammenarbeit der Entwicklerteams Erlaubt sofortige und wiederholbare Tests in Ihrer Entwicklungsumgebung Reduziert Kosten durch schnellere Marktreife für logische Reviews lokalisiert werden. QA-C verbessert nicht nur Ihre Software, sondern auch das Wissen Ihrer Entwickler!

4 QA-C 4 QA-C auf einen Blick Sucht und findet Softwaredefekte und -fehler bei der Einhaltung von Pro grammier standards Fördert den sprachkonformen Einsatz von C und verhindert so überkomplexe und/oder nicht-portable Software Bietet eine effiziente und benutzerfreundliche GUI zur Einführung und Pflege eigener Programmierstandards Warnt vor Problemen, die durch Compiler und Linker hervorgerufen werden Das leistet QA-C für Sie QA-C ist eine effiziente, voll automatisierbare Um gebung, die es dem Benutzer ermöglicht, einheitliche Code-Standards einzuführen und umzusetzen. Beispiele: So hilft Ihnen QA-C QA-C hilft Ihnen, Fehlerquellen aufzuspüren und auszuräumen. Da bei spielt es keine Rolle, ob diese Fehler wegen falscher Sprach im ple men tierung, wegen Inkon sistenzen oder nicht eingehaltener Pro gram mier standards hervorgerufen werden. Mit QA-C wird Ihre Soft ware einheitlicher, weniger komplex, leistungsfähiger und schließlich auch portierbarer und wartungsfreundlicher! An unserem Beispiel zeigen wir Ihnen, wie QA-C konkret helfen kann, Fehler zu entdecken und zu beseitigen: 1. Undefined behaviour QA-C ermittelt nicht nur wohlbekannte Fehlerquellen (null pointer dereference, Division durch Null, Buffer Over run), sondern auch weniger be - kannte. Die Dataflow Engine liefert die Analyse der Variablen, um undefinierte Re ak tionen zu entdecken. 2. Constraint Violations Falscher Gebrauch der Programmier sprache: QA-C entdeckt 159 Fälle, in denen die Syntax zwar korrekt, der Code selber aber seman tisch falsch ist. Dabei beschränkt sich QA-C nicht nur auf die bekannten Fälle, wo Compiler normalerweise anhalten, sondern liefert auch dann Er geb nisse, wenn die Compilation nicht gestoppt werden würde. 3. Cross Module Analysis QA-C identifiziert nicht-regelkonformes Verhalten, welches ein Linker nicht auflösen kann. Erkannt werden Rekursionen sowie widersprüchliche Deklarationen und Definitionen von externen Objekten und Funktionen im gesamten Projekt. 4. Portability QA-C gewährleistet, dass ein Code über Compiler und Plattformen hinweg konsistent gehalten werden kann. Erkannt werden ISO-Limitierungen, Spracherweiterungen und Implementation defined behavior. 5. Conversion QA-C ermittelt im plicit conversions zwischen Dateitypen, sei es bei der Verknüpfung, dem Vergleich, der in tegral promotion, der default argument promotion oder bei function returns. 6. Redundanzen QA-C spürt nicht genutzte Variablen, Funktionen und Parameter auf, genauso wie Bedingungen, bei denen das Ergebnis unveränderlich (immer wahr oder immer falsch) ist. 7. Statements and Operations QA-C ermittelt verdächtige Vergleichsund Pointer-Operationen einschließlich der Verwendung von nicht korrekten Ty pen. Und das Programm findet Kon s truk tionen, die zwar erlaubt aber wahrscheinlich irreführend oder schwer zu warten sind. 8. Namenskonventionen QA-C fördert die Verwendung von einheitlichen Benennungen, die durch Regular Expressions spezifiziert werden. Alle Identifier Merkmale können überprüft werden.

5 QA-C 5 Die Analyse- und Reporting-Features von QA-C Der Message-Browser von QA-C bietet eine kontextsensitive drill-down Oberfläche, die mit einer tief reichenden Knowledge-Base verknüpft ist. Dadurch kann QA-C nicht nur Probleme finden, sondern auch erklären, weshalb sie behoben werden sollten. Zusätzlich schlägt QA-C Beispiele vor, wie damit umgegangen werden kann. Metriken und Visualisierung Metriken Auf Basis Projekt Auf Basis Datei Auf Basis Funktion Vom Benutzer definierbare Schwellenwerte Grafische Metrik-Analyse mit Kiviat-Diagramm Warnung bei Metrik- Schwellenwerten Report- Zusammenfassungen Konfigurierbare Reports Compliance Qualität Code-Review Suppression Übersicht

6 QA-C 6 Technische Spezifikationen, Plattformen und Integrationen Interaktives GUI Help-Base, Knowledge-Base (beides online) Integrierte Links zur Onlinehilfe (mit Alternativen und Verbesserungsvorschlägen) Kontext-Messaging Prüft die Einhaltung von Programmierstandards Übersichten und Detailberichte Über 1700 auswählbare Messages Fehlererkennung durch Datenflussanalyse Übergreifende Modul-Analyse Findet semantinsche Fehler Verhindert Fehler vor der Entstehung Überprüft Namenskonventionen Unterdrückung der Prüfung auf Basis von Kommentaren möglich Kein Limit für Projektgrößen oder SLOC Unterstützt alle gängigen Compiler Unterstützte Plattformen: Windows 7 (32-bit, 64-bit) Linux RHEL (32-bit, 64-bit) Solaris 10 (64-bit) Entwicklungsoptionen: GUI für unterstützte Plattformen Command Line Makefile Integration Fest in Microsoft Visual Studio integriert Fest integriert in auf Eclipse basierte IDEs (z.b. CodeWarrior oder Workbench ) Auch für modelbasierte Entwicklungsumgebungen (z.b. Rhapsody ) geeignet Auch für durchgängige Integrationsumgebungen (z.b. Jenkins ) geeignet Unterstützt auch das Analyse-Projektmanagement über mehrere Plattformen Compliance-Module: MISRA-C:1998 MISRA-C:2004 MISRA-C:2012 Der SGS-TÜV Saar hat QA-C mit MISRA zertifiziert als einsetzbar für die Entwicklung von sicherheitsrelevanter Software entsprechend der wichtigsten Standards im sicherheitskritischen Bereich: IEC 61508, ISO 26262, EN 50128, IEC und IEC QA Systems GmbH Schwieberdinger Straße 56 D Stuttgart Tel +49 (0)711/ Fax +49 (0)711/

QA-C++ QA-C++ das statische Sourcecode Analyse-Tool für C++

QA-C++ QA-C++ das statische Sourcecode Analyse-Tool für C++ QA-C++ QA-C++ das statische Sourcecode Analyse-Tool für C++ Fehler vermeiden von Anfang an Bessere Software in kürzerer Zeit Automatisierte Code-Reviews Für bessere Software für bessere Entwicklerteams

Mehr

QA-Verify. QA-Verify. Software-Qualitätsinformationssystem. Damit Sie wissen, was Sie tun

QA-Verify. QA-Verify. Software-Qualitätsinformationssystem. Damit Sie wissen, was Sie tun QA-Verify QA-Verify Software-Qualitätsinformationssystem für C und C++ Damit Sie wissen, was Sie tun Das Werkzeug für Projektverantwortliche, Qualitätsmanager und Entwickler Transparenz und Überblick auch

Mehr

MISRA bzw. Programmierstandards steigern die Softwarequalität! - Ist das überhaupt möglich?

MISRA bzw. Programmierstandards steigern die Softwarequalität! - Ist das überhaupt möglich? MISRA bzw. Programmierstandards steigern die Softwarequalität! - Ist das überhaupt möglich? Andreas Sczepansky - Geschäftsführer Tel.: + 49 (0) 711 138183-0 www.qasystems.de V-Modell für Softwaretests

Mehr

Quick Guide. für HIS-Metrics Report unter Windows mit QA-C v7.2. Stand: März 2010. QA Systems GmbH Seite 1 von 6

Quick Guide. für HIS-Metrics Report unter Windows mit QA-C v7.2. Stand: März 2010. QA Systems GmbH Seite 1 von 6 Quick Guide für HIS-Metrics Report unter Windows mit QA-C v7.2 Stand: März 2010 QA Systems GmbH Seite 1 von 6 Inhaltsverzeichnis 1. Voraussetzungen 2 2. Installation 2 3. HIS-Metrics Report verwenden 2

Mehr

Testwell CTC++ Test Coverage Analyser Testabdeckung für alle Coverage-Stufen, alle Compiler, alle Embedded Targets

Testwell CTC++ Test Coverage Analyser Testabdeckung für alle Coverage-Stufen, alle Compiler, alle Embedded Targets Testwell CTC++ Test Coverage Analyser Testabdeckung für alle Coverage-Stufen, alle Compiler, alle Embedded Targets Testwell CTC++ ist ein leistungsfähiges und einfach zu benutzendes Code-/Test-Coverage

Mehr

Werkzeuggestützte Softwareprüfungen Statische Analyse und Metriken

Werkzeuggestützte Softwareprüfungen Statische Analyse und Metriken Werkzeuggestützte Softwareprüfungen Statische Analyse und Metriken Dennis Hardt 21.06.2006 Gliederung Statische Analyse Definition, Arbeitsweise, Werkzeuge Angewandt auf ein Projekt Statische Analyse selbst

Mehr

Statische Codeanalysen

Statische Codeanalysen Statische Codeanalysen Weniger Review-Aufwand durch automatisierte Sourcecode- Überprüfungen MATTHIAS HÖLZER-KLÜPFEL Wie gut ist unser Code? Qualitätskriterien für Software Funktionalität Angemessenheit

Mehr

MÖGLICHKEITEN UND GRENZEN IN DER DYNAMISCHEN CODEANALYSE VON C++ SOFTWARE. Von Matthias Neumann

MÖGLICHKEITEN UND GRENZEN IN DER DYNAMISCHEN CODEANALYSE VON C++ SOFTWARE. Von Matthias Neumann MÖGLICHKEITEN UND GRENZEN IN DER DYNAMISCHEN CODEANALYSE VON C++ SOFTWARE Von Matthias Neumann 19.01.2015 2/35 Inhaltsangabe Einleitung Ausprägungen der dynamischen Codeanalyse Debugging Logging Testing

Mehr

Modellbasierter Entwurf sicherheitskritischer Anwendungen. Von Moritz Borgmann Für VL Eingebettete Systeme Sommer Semester 2009

Modellbasierter Entwurf sicherheitskritischer Anwendungen. Von Moritz Borgmann Für VL Eingebettete Systeme Sommer Semester 2009 Modellbasierter Entwurf sicherheitskritischer Anwendungen Von Moritz Borgmann Für VL Eingebettete Systeme Sommer Semester 2009 Einführung Einführung Modellbasierter Entwurf und der IEC 61508 Ausblick Zusammenfassung,

Mehr

Rhapsody in J Modellierung von Echtzeitsystemen

Rhapsody in J Modellierung von Echtzeitsystemen Rhapsody in J Modellierung von Echtzeitsystemen Tobias Schumacher tobe@uni-paderborn.de Rhapsody in J - Modellierung von Echtzeitsystemen p.1/17 Anspruch des Tools Einsatzbereiche/Features Modellierung

Mehr

1. Übung zu "Numerik partieller Differentialgleichungen"

1. Übung zu Numerik partieller Differentialgleichungen 1. Übung zu "Numerik partieller Differentialgleichungen" Simon Gawlok, Eva Treiber Engineering Mathematics and Computing Lab 22. Oktober 2014 1 / 15 1 Organisatorisches 2 3 4 2 / 15 Organisatorisches Ort:

Mehr

Funktionale Sicherheit in Automotive und Luftfahrt (ISO26262 und DO 178BC) Otto Alber, Peter Wittmann 09.10.2013

Funktionale Sicherheit in Automotive und Luftfahrt (ISO26262 und DO 178BC) Otto Alber, Peter Wittmann 09.10.2013 Funktionale Sicherheit in Automotive und Luftfahrt (ISO26262 und DO 178BC) Otto Alber, Peter Wittmann 09.10.2013 Einleitung Modell-basierte Entwicklung bei Silver Atena Erfahrung mit Modell-basierter Entwicklung

Mehr

Mehr wissen. Mehr entdecken. Mehr leisten. Erschließen Sie Informationen mit Enterprise Search.

Mehr wissen. Mehr entdecken. Mehr leisten. Erschließen Sie Informationen mit Enterprise Search. Mehr wissen. Mehr entdecken. Mehr leisten. Erschließen Sie Informationen mit Enterprise Search. Die Lösung für Enterprise Search xdot search xdot search ist eine professionelle Semantische Suche Suchlösung

Mehr

Management von Softwaresystemen Systembewertung: Metriken und Prozess

Management von Softwaresystemen Systembewertung: Metriken und Prozess Management von Softwaresystemen Systembewertung: Metriken und Prozess Referent: Vadym Alyokhin Betreuer: Florian Deißenböck Übersicht Definition Einführung in die Messtheorie Meilensteine von Software-Metriken

Mehr

Abbildung 1: Tool-Qualification-Kits für Testwell CTC++ Test Coverage Analyser

Abbildung 1: Tool-Qualification-Kits für Testwell CTC++ Test Coverage Analyser Qualification-Kit für Testwell CTC++ In der sicherheitskritischen Softwareentwicklung müssen die im Projekt eingesetzten Werkzeuge zunächst klassifiziert werden (Tool Classification). Diese Klassifizierung

Mehr

Kontinuierliche Architekturanalyse. in 3D

Kontinuierliche Architekturanalyse. in 3D Kontinuierliche Architekturanalyse in 3D Stefan Rinderle Bachelor an der HS Karlsruhe Master "Software Engineering" in München / Augsburg Seit 2013 bei Payback 2 Software-Visualisierung Visualisierung

Mehr

Systematische Software-Qualität mittels einer durchgängigen Analyse- und Teststrategie

Systematische Software-Qualität mittels einer durchgängigen Analyse- und Teststrategie Insert picture and click Align Title Graphic. Systematische Software-Qualität mittels einer durchgängigen Analyse- und Teststrategie Dr. Dieter Lederer, Geschäftsführer Vector Consulting Services GmbH

Mehr

Software Engineering. 13. Qualitätssicherung. Franz-Josef Elmer, Universität Basel, WS 2006/07

Software Engineering. 13. Qualitätssicherung. Franz-Josef Elmer, Universität Basel, WS 2006/07 Software Engineering 13. Qualitätssicherung Franz-Josef Elmer, Universität Basel, WS 2006/07 Software Engineering: 13. Qualitätssicherung 2 Qualitätssicherung Qualitätssicherung (engl. Quality Assurance

Mehr

Software Tests (2) Quellcode Reviews

Software Tests (2) Quellcode Reviews Software Tests (2) Quellcode Reviews Was ist? Was ist Testen? G. J. Myers, 79: "Testen ist der Prozess, ein Programm mit der Absicht auszuführen, Fehler zu finden. Hetzel 83: "Messung der Softwarequalität"

Mehr

Definition von domänenspezifischen Sprachen mit Xtext: Einführung. 19. November 2014

Definition von domänenspezifischen Sprachen mit Xtext: Einführung. 19. November 2014 Definition von domänenspezifischen Sprachen mit Xtext: Einführung 19. November 2014 Überblick Was ist zu tun, wenn wir selbst einen Ansatz für modellgetriebenen Entwicklung definieren wollen? Anforderungserfassung

Mehr

Code-Reviews. Code-Generierung. Code-Generierung. Code-Reviews. als Bestandteile des Entwicklungsprozesses

Code-Reviews. Code-Generierung. Code-Generierung. Code-Reviews. als Bestandteile des Entwicklungsprozesses Datenbanken-Seminar: Vortrag am 10. Januar 2003 als Bestandteile des Entwicklungsprozesses und : Gemeinsamkeiten? und : Gemeinsamkeiten? Gemeinsame Ziele und : Gemeinsamkeiten? Gemeinsame Ziele Kontrolle

Mehr

Entwicklungsmethoden

Entwicklungsmethoden Slide 5.1 Entwicklungsmethoden Prof. Dr. Josef M. Joller jjoller@hsr.ch Development Methodologies Prof. Dr. Josef M. Joller 1 Session 5 Slide 5.2 TOOLS Development Methodologies Prof. Dr. Josef M. Joller

Mehr

Erfolg ist programmierbar.

Erfolg ist programmierbar. 45789545697749812346568958565124578954569774981 46568958565124578954569774981234656895856124578 45697749812346568958565124578954569774981234656 58565124578954569774981234656895856124578954569 49812346568958565124578954569774981234656895856

Mehr

Softwaretechnikpraktikum SS 2004. Qualitätsmanagement I. 1. Überblick. Qualität. Qualitätsmerkmal

Softwaretechnikpraktikum SS 2004. Qualitätsmanagement I. 1. Überblick. Qualität. Qualitätsmerkmal Softwaretechnikpraktikum SS 2004 Qualitätsmanagement I 5. Vorlesung 1. Überblick Planungsphase Definitionsphase Entwurfsphase Implem.- phase Fragen Was ist Qualität? Wie kann man Qualität messen? Wie kann

Mehr

C++-Entwicklung mit Linux

C++-Entwicklung mit Linux C++-Entwicklung mit Linux Eine Einführung in die Sprache und die wichtigsten Werkzeuge von GCC und XEmacs bis Eclipse Thomas Wieland [Druckvorlage vom 10. August 2004] xiii Inhaltsverzeichnis 1 Programmieren

Mehr

Software Engineering. Sommersemester 2012, Dr. Andreas Metzger

Software Engineering. Sommersemester 2012, Dr. Andreas Metzger Software Engineering (Übungsblatt 1) Sommersemester 2012, Dr. Andreas Metzger Übungsblatt-Themen: Besonderheiten und Eigenschaften von Software; Interne und Externe Eigenschaften 1 Aufgabe 1.1 Software

Mehr

STEIGERN SIE DIE QUALITÄT IHRER MAINFRAME APPLIKATIONEN FEHLERFREI SOFTWARE ENTWICKELN UND IN BETRIEB NEHMEN TROTZ DEVOPS VON TOBIAS BRAUN. www.pks.

STEIGERN SIE DIE QUALITÄT IHRER MAINFRAME APPLIKATIONEN FEHLERFREI SOFTWARE ENTWICKELN UND IN BETRIEB NEHMEN TROTZ DEVOPS VON TOBIAS BRAUN. www.pks. STEIGERN SIE DIE QUALITÄT IHRER MAINFRAME APPLIKATIONEN FEHLERFREI SOFTWARE ENTWICKELN UND IN BETRIEB NEHMEN TROTZ DEVOPS VON TOBIAS BRAUN www.pks.de ZEIT, QUALITÄT UND KOSTEN DIE DREI MAGISCHEN PFEILER

Mehr

Eine Einführung in C-Funktionen

Eine Einführung in C-Funktionen Eine Einführung in C-Funktionen CGK-Proseminar 2014 Philip Gawehn 04.07.2014, Hamburg Inhaltsverzeichnis 1 Einleitung 2 2 Grundlagen 2 2.1 Der Aufbau einer Funktion....................... 2 2.2 Schlüsselwörter.............................

Mehr

Session 4: Projektvorstellung Transferprojekt itsowl-tt-mesqa 18. August 2015, Gütersloh. www.its-owl.de

Session 4: Projektvorstellung Transferprojekt itsowl-tt-mesqa 18. August 2015, Gütersloh. www.its-owl.de Session 4: Projektvorstellung Transferprojekt itsowl-tt-mesqa 18. August 2015, Gütersloh www.its-owl.de Agenda Abschlusspräsentation itsowl-tt-mesqa Einführung Zielsetzung Ergebnisse Resümee und Ausblick

Mehr

Python Programmierung. Dipl.-Ing.(FH) Volker Schepper

Python Programmierung. Dipl.-Ing.(FH) Volker Schepper Python Programmierung Kontaktdaten Homepage: http://wwwlehre.dhbw-stuttgart.de/~schepper/ Email: Volker. Schepper [A@T] yahoo.de Vorlesung Skriptsprachen Vorlesung: 06.03.2013 13.03.2013 20.03.2013 27.03.2013

Mehr

Modulare Programmierung und Bibliotheken

Modulare Programmierung und Bibliotheken Modulare Programmierung und Bibliotheken Proseminar-Vortrag am 24.06.2011 von Ludwig Eisenblätter Ludwig Eisenblätter 1 von 25 Modulare Programmierung und Bibliotheken Inhaltsübersicht Motivation / Einleitung

Mehr

Ein paar Fragen zum Start

Ein paar Fragen zum Start Qualitätsmanagement Ein paar Fragen zum Start Was bedeutet für Sie Software Qualität oder was ist richtig gute Software? Was ist Ihre Lieblingssoftware und was gefällt Ihnen daran? Definition : Qualität

Mehr

C++11 C++14 Kapitel Doppelseite Übungen Musterlösungen Anhang

C++11 C++14 Kapitel Doppelseite Übungen Musterlösungen Anhang Einleitung Dieses Buch wendet sich an jeden Leser, der die Programmiersprache C++ neu lernen oder vertiefen möchte, egal ob Anfänger oder fortgeschrittener C++-Programmierer. C++ ist eine weitgehend plattformunabhängige

Mehr

Universität Paderborn Die Universität der Informationsgesellschaft. Validierung und Verifikation (inkl. Testen, Model-Checking, Theorem Proving)

Universität Paderborn Die Universität der Informationsgesellschaft. Validierung und Verifikation (inkl. Testen, Model-Checking, Theorem Proving) Universität Paderborn Die Universität der Informationsgesellschaft Analyse, Entwurf und Implementierung zuverlässiger Software und (inkl., Model-Checking, Theorem Proving) Torsten Bresser torbre@uni-paderborn.de

Mehr

Grundlagen. Migration von Benutzeroberflächen

Grundlagen. Migration von Benutzeroberflächen Von Anne Schlitter Grundlagen Dynamic content delivery nach DITA Migration von Benutzeroberflächen Aktueller Stand/Forschungsberichte h mobile Geräte Anwendung, Video, Player PC Bilder, Fernseher Beachtung

Mehr

// Mehr, als Sie erwarten //

// Mehr, als Sie erwarten // // Mehr, als Sie erwarten // // Unitek entwickelt seit 1988 innovative Software, mitten in der Altstadt von Zürich. Gegründet von ETH-Absolventen, hat Unitek dank massvollem Wachstum, anhaltender Begeisterung

Mehr

Software Engineering in

Software Engineering in Software Engineering in der Werkzeuge für optimierte LabVIEW-Entwicklung Folie 1 Best Practices Requirements Engineering Softwaretest Versionsmanagement Build- Automatisierung Folie 2 Arbeiten Sie im Team?

Mehr

VECTOSTUDIO VECTOSTUDIO

VECTOSTUDIO VECTOSTUDIO Die IDE(E) für Sie! schneller umsetzen, produktiver arbeiten! VECTOSTUDIO VECTOSTUDIO Copyright 2013, All rights reserved by Copyright 2013, All rights reserved by VECTOSTUDIO Die effiziente Software Alles

Mehr

Praxisgerechte Validierung von Sicherheitsapplikationen

Praxisgerechte Validierung von Sicherheitsapplikationen Praxisgerechte Validierung von Sicherheitsapplikationen Dr. Michael Huelke, FB Unfallverhütung Produktsicherheit, BGIA Institut für Arbeitsschutz der Deutschen Gesetzlichen Unfallversicherung, Sankt Augustin

Mehr

Automatisierte Erstellung von Software-Builds und -dokumentationen. Teil 1

Automatisierte Erstellung von Software-Builds und -dokumentationen. Teil 1 Automatisierte Erstellung von Software-Builds und -dokumentationen Teil 1 Autoren: Hagedorn, Robert; Denninger, Oliver Kontakt: {hagedorn denninger}@fzi.de Web: http://zfs.fzi.de Ort, Datum: Karlsruhe,

Mehr

Einführung in die C-Programmierung

Einführung in die C-Programmierung Einführung in die C-Programmierung Warum C? Sehr stark verbreitet (Praxisnähe) Höhere Programmiersprache Objektorientierte Erweiterung: C++ Aber auch hardwarenahe Programmierung möglich (z.b. Mikrokontroller).

Mehr

Comparing Software Factories and Software Product Lines

Comparing Software Factories and Software Product Lines Comparing Software Factories and Software Product Lines Martin Kleine kleine.martin@gmx.de Betreuer: Andreas Wuebbeke Agenda Motivation Zentrale Konzepte Software Produktlinien Software Factories Vergleich

Mehr

Mathcad Automatisierter Code-Export nach C++ oder Windows-DLL

Mathcad Automatisierter Code-Export nach C++ oder Windows-DLL Mathcad Automatisierter Code-Export nach C++ oder Windows-DLL Dipl.-Ing. Christian Meißner SimulationTools www.simulationtools.de PTC World 2009 Stuttgart 19.11.2009 C. Meißner - PTC World 2009 Stuttgart

Mehr

C++ mit. Microsoft Visual C++ 2008. Richard Kaiser. Einführung in Standard-C++-, C++/CLI und die objektorientierte Windows.

C++ mit. Microsoft Visual C++ 2008. Richard Kaiser. Einführung in Standard-C++-, C++/CLI und die objektorientierte Windows. Richard Kaiser C++ mit Microsoft Visual C++ 2008 Einführung in Standard-C++-, C++/CLI und die objektorientierte Windows.NET-Programmierung Mit CD-ROM Geleitwort Wenn man heute nach Literatur über Programmiersprachen

Mehr

Software- Qualitätsmanagement

Software- Qualitätsmanagement Software- Qualitätsmanagement Thomas Kugel Brandenburg, den 10.12.2002 Agenda Einleitung Was heißt Softwarequalitätssicherung und Test Die Rolle von Test und QS in Softwareprojekten Wie wird getestet Statische

Mehr

09.06.2003 André Maurer andre@maurer.name www.andre.maurer.name Wirtschaftsinformatik FH 3.5 Fachhochschule Solothurn, Olten

09.06.2003 André Maurer andre@maurer.name www.andre.maurer.name Wirtschaftsinformatik FH 3.5 Fachhochschule Solothurn, Olten Aktuelle Themen der Wirtschaftsinformatik Zusammenfassung 09.06.2003 André Maurer andre@maurer.name www.andre.maurer.name Wirtschaftsinformatik FH 3.5 Fachhochschule Solothurn, Olten 1 Serverseitige Webprogrammierung

Mehr

Automotive Embedded Software. Beratung Entwicklung Tools

Automotive Embedded Software. Beratung Entwicklung Tools Automotive Embedded Software Beratung Entwicklung Tools 2 3 KOMPLEXE PROJEKTE SIND BEI UNS IN GUTEN HÄNDEN. Die F+S GmbH engagiert sich als unabhängiges Unternehmen im Bereich Automotive Embedded Software

Mehr

Kapitel 5: Statische Analyse

Kapitel 5: Statische Analyse Kapitel 5: Statische Analyse Inhalt 5.1 Grundlagen 5.2 Analyse von Programmen 5.3 Analyse von Algorithmen 5.4 Analyse von Spezifikationen, Entwürfen und Prüfvorschriften Schlüsselbegriffe Statische Prüfung

Mehr

Software Engineering, SoSe 07, WSI, D. Huson, (Original Author: A. Zeller), 4. Juni 2007 45

Software Engineering, SoSe 07, WSI, D. Huson, (Original Author: A. Zeller), 4. Juni 2007 45 Software Engineering, SoSe 07, WSI, D. Huson, (Original Author: A. Zeller), 4. Juni 2007 45 7 Programmverstehen + Fehlersuche Nach einer Vorlesung von Prof. Andreas Zeller, Lehrstuhl Softwaretechnik Universität

Mehr

Testen - Konzepte und Techniken

Testen - Konzepte und Techniken Testen - Konzepte und Techniken Magdalena Luniak 21.11.2007 Magdalena Luniak () Testen - Konzepte und Techniken 21.11.2007 1 / 42 Übersicht 1 Motivation 2 Grundbegrie 3 Testen im Softwareentwicklungsprozess

Mehr

Deklarationen in C. Prof. Dr. Margarita Esponda

Deklarationen in C. Prof. Dr. Margarita Esponda Deklarationen in C 1 Deklarationen Deklarationen spielen eine zentrale Rolle in der C-Programmiersprache. Deklarationen Variablen Funktionen Die Deklarationen von Variablen und Funktionen haben viele Gemeinsamkeiten.

Mehr

Spec# Einführung. Formale Software-Entwicklung Seminar SS 07 Universität Karlsruhe Hilal Akbaba

Spec# Einführung. Formale Software-Entwicklung Seminar SS 07 Universität Karlsruhe Hilal Akbaba Spec# Einführung Formale Software-Entwicklung Seminar SS 07 Universität Karlsruhe Hilal Akbaba Inhalt Einführung in C# Das Spec# System Die Konstrukte Vererben der Verträge System Architektur Einführung

Mehr

GELEBTE ENTWICKLUNGSRICHTLINIEN

GELEBTE ENTWICKLUNGSRICHTLINIEN GELEBTE ENTWICKLUNGSRICHTLINIEN VOM VERSTAUBTEM PAPIERSTAPEL ZUM SPICKZETTEL FÜR ENTWICKLER BORIS WEHRLE ENTWICKLUNGSRICHTLINIEN Ein Programmierstil (engl. code conventions, coding conventions, coding

Mehr

Informationen zur Verwendung von Visual Studio und cmake

Informationen zur Verwendung von Visual Studio und cmake Inhaltsverzeichnis Informationen zur Verwendung von Visual Studio und cmake... 2 Erste Schritte mit Visual Studio... 2 Einstellungen für Visual Studio 2013... 2 Nutzung von cmake... 6 Installation von

Mehr

S&W Tefnats für Microsoft Dynamics NAV

S&W Tefnats für Microsoft Dynamics NAV S&W Tefnats für Microsoft Dynamics NAV www.sw-business.at S&W Business Solutions GmbH & Co KG office@sw-business.at Burgenland Wien Telefon +43 1 236 65 40 S&W Tefnats für Microsoft Dynamics NAV Die Auswirkungen

Mehr

Dynamische Softwarelösungen. - Workfloworientiert - Prozessorientiert - Flexibel, Dynamisch - Endanwendertauglích. real enterprise transparency

Dynamische Softwarelösungen. - Workfloworientiert - Prozessorientiert - Flexibel, Dynamisch - Endanwendertauglích. real enterprise transparency real enterprise transparency Innsbruck, 28.07.2008 09:30 16:30 Dynamische Softwarelösungen - Workfloworientiert - Prozessorientiert - Flexibel, Dynamisch - Endanwendertauglích Fr. Regina Wirtensohn Hr.

Mehr

Programmieren Formulierung eines Algorithmus in einer Programmiersprache

Programmieren Formulierung eines Algorithmus in einer Programmiersprache Zum Titel der Vorlesung: Programmieren Formulierung eines in einer Programmiersprache Beschreibung einer Vorgehensweise, wie man zu jedem aus einer Klasse gleichartiger Probleme eine Lösung findet Beispiel:

Mehr

Einführung in die Programmierung der Schnittgrößenermittlung am Einfeldträger. 7.12.2012 J. Lange

Einführung in die Programmierung der Schnittgrößenermittlung am Einfeldträger. 7.12.2012 J. Lange Einführung in die Programmierung der Schnittgrößenermittlung am Einfeldträger 7.12.2012 J. Lange 1 Vorstellung Dr.-Ing. Johannes Lange Softwareentwicklung, Organisation Projekt-, Qualitätsmanagement CAD

Mehr

Die Integration von Requirements Management, Software Configuration Management und Change Management mit der MKS Integrity Suite 2006

Die Integration von Requirements Management, Software Configuration Management und Change Management mit der MKS Integrity Suite 2006 Die Integration von Requirements Management, Software Configuration Management und Change Management mit der MKS Integrity Suite 2006 Oliver Böhm MKS GmbH Agenda Überblick Der Entwicklungsprozess: Requirements

Mehr

Teil IV Die Programmiersprache C++

Teil IV Die Programmiersprache C++ Teil IV Die Programmiersprache C++ 33 Lernziele Entstehung von C++ kennen Aufbau eines Programms in C++ kennen Einfache Programme mit Ein- und Ausgabe über ohne Kontrollstrukturen schreiben

Mehr

Virtual Forge CodeProfiler for HANA

Virtual Forge CodeProfiler for HANA W H I T E P A P E R Virtual Forge CodeProfiler for HANA Version 1.0 - Gültig ab 30.07.2015 Dokument 2015, Virtual Forge GmbH Inhaltsangabe Inhaltsangabe... 2 Management Summary... 3 Herausforderungen...

Mehr

Softwarequalität: Definitionen, Wünsche, Grenzen

Softwarequalität: Definitionen, Wünsche, Grenzen Softwarequalität: Definitionen, Wünsche, Grenzen iks Thementag Mehr Softwarequalität Ausgewählte Themen 22.05.2014 Autor: Christoph Schmidt-Casdorff Agenda Einführung Was ist Softwarequalität? Qualität

Mehr

Erfolgreicher Einsatz von modellbasierter Softwareentwicklung - Praxisbericht

Erfolgreicher Einsatz von modellbasierter Softwareentwicklung - Praxisbericht Platz für ein Bild (optional) Erfolgreicher Einsatz von modellbasierter Softwareentwicklung - Praxisbericht 1.0 1.1 Elektronik? Was heisst modellbasierte Software-Entwicklung für uns? Was sind für eine

Mehr

Bisherige Erfahrungen mit Eclipse auf NonStop. programmer retire? Hans-Fried Kirschbaum CommitWork GmbH 12/22/2010 1

Bisherige Erfahrungen mit Eclipse auf NonStop. programmer retire? Hans-Fried Kirschbaum CommitWork GmbH 12/22/2010 1 Bisherige Erfahrungen mit Eclipse auf NonStop programmer retire? Hans-Fried Kirschbaum CommitWork GmbH 12/22/2010 1 agenda what is Eclipse? a look at NSDEE a look at CDS 12/22/2010 2 what is Eclipse? 12/22/2010

Mehr

Pass by Value Pass by Reference Defaults, Overloading, variable Parameteranzahl

Pass by Value Pass by Reference Defaults, Overloading, variable Parameteranzahl Funktionen Zusammenfassung von Befehlssequenzen als aufrufbare/wiederverwendbare Funktionen in einem Programmblock mit festgelegter Schnittstelle (Signatur) Derartige prozedurale Programmierung erlaubt

Mehr

Effektiver Einsatz von Code-Reviews

Effektiver Einsatz von Code-Reviews Effektiver Einsatz von Code-Reviews Version: 1.4 Orientation in Objects GmbH Weinheimer Str. 68 68309 Mannheim www.oio.de info@oio.de 18. Java Forum Stuttgart 2015 Ihr Sprecher Thorsten Maier Trainer,

Mehr

Grundlagen der Programmiersprache C++

Grundlagen der Programmiersprache C++ / TU Braunschweig Grundlagen der Programmiersprache C++ Um den Studierenden den Einstieg in die FE-Programmierung zu erleichtern werden die wesentlichen Elemente eines C-Programmes beschrieben, soweit

Mehr

Entwicklungswerkzeuge

Entwicklungswerkzeuge Entwicklungswerkzeuge Werner Struckmann & Tim Winkelmann 10. Oktober 2012 Gliederung Anforderungen Projekte Debugging Versionsverwaltung Frameworks Pattern Integrated development environment (IDE) Werner

Mehr

Software Test- und Analyse-Tools für Produktivität und Qualität. www.verifysoft.com

Software Test- und Analyse-Tools für Produktivität und Qualität. www.verifysoft.com Software Test- und Analyse-Tools für Produktivität und Qualität www.verifysoft.com TEST- UND ANALYSE-TOOLS Conformiq Test Generator Das Erstellen von Testfällen ist der größte Aufwandsblock bei Softwaretests:

Mehr

MPI-Programmierung unter Windows mit MPICH2. Installieren von MPICH2, Übersetzen, Ausführen und Debuggen von MPI-Programmen. Christian Terboven

MPI-Programmierung unter Windows mit MPICH2. Installieren von MPICH2, Übersetzen, Ausführen und Debuggen von MPI-Programmen. Christian Terboven MPI-Programmierung unter Windows mit MPIH2 Installieren von MPIH2, Übersetzen, Ausführen und Debuggen von MPI-Programmen hristian Terboven Rechen- und Kommunikationszentrum RWTH Aachen 1 02/2007 luster-installationsworkshop

Mehr

Best Practices Software Engineering für Smart Solutions in der Gesundheitstechnologie

Best Practices Software Engineering für Smart Solutions in der Gesundheitstechnologie Best Practices Software Engineering für Smart Solutions in der Gesundheitstechnologie Andreas Oyrer, GF CDE GmbH 04.12.2014 CDE - Communications Data Engineering GmbH A-4232 Hagenberg Softwarepark 37/1

Mehr

Toolunterstützte Validierung der Anforderungsabdeckung

Toolunterstützte Validierung der Anforderungsabdeckung Wir nehmen Kurs auf Ihren Erfolg Toolunterstützte Validierung der Anforderungsabdeckung Businessanalyse toolunterstützt DI Mag. Martin Lachkovics 1040 Wien, Operngasse 17-21 Agenda Die heikle Aufgabe der

Mehr

Programmieren I. Die Programmiersprache Java. www.kit.edu. Institut für Angewandte Informatik

Programmieren I. Die Programmiersprache Java. www.kit.edu. Institut für Angewandte Informatik Programmieren I Die Programmiersprache Java KIT Universität des Landes Baden-Württemberg und nationales Großforschungszentrum in der Helmholtz-Gemeinschaft www.kit.edu Eigenschaften von Java Java ist eine

Mehr

Behandeln Sie»undefined«als»nicht vorhanden«thema 54

Behandeln Sie»undefined«als»nicht vorhanden«thema 54 Behandeln Sie»undefined«als»nicht vorhanden«151 heitliche Schreibweisen erlauben es den Benutzern, zu erraten, welche Eigenschaften und Methoden zur Verfügung stehen, ohne dass sie sie nachschlagen müssen,

Mehr

Inkonsistenzen in der Modellierung

Inkonsistenzen in der Modellierung Inkonsistenzen in der Modellierung Software Group Claudio Grolimund: Inkonsistenzen in Modellen sollten schnell erkannt und behoben werden. Im Rahmen der Rational Software Developer Platform 2009 stellte

Mehr

Software - Testung ETIS SS05

Software - Testung ETIS SS05 Software - Testung ETIS SS05 Gliederung Motivation Was ist gute Software? Vorurteile gegenüber Testen Testen (Guidelines + Prinzipien) Testarten Unit Tests Automatisierte Tests Anforderungen an Testframeworks

Mehr

Die nächste Generation der Qualitätsinspektion von Metalloberflächen; Hohe Datenqualität für sichere Qualitätsentscheidungen im Fokus

Die nächste Generation der Qualitätsinspektion von Metalloberflächen; Hohe Datenqualität für sichere Qualitätsentscheidungen im Fokus Signifikante Produktivitätszuwächse durch Innovative Systemkonzeption Die nächste Generation der Qualitätsinspektion von Metalloberflächen; Hohe Datenqualität für sichere Qualitätsentscheidungen im Fokus

Mehr

Programmieren was ist das genau?

Programmieren was ist das genau? Programmieren was ist das genau? Programmieren heisst Computerprogramme herstellen (von griechisch programma für Vorschrift). Ein Computerprogramm ist Teil der Software eines Computers. Als Software bezeichnet

Mehr

Von Requirements zutests. gç~åüáãkpåüìäò]èì~äáíóé~êâkçé

Von Requirements zutests. gç~åüáãkpåüìäò]èì~äáíóé~êâkçé Von Requirements zus gç~åüáãkpåüìäò]èì~äáíóé~êâkçé QualityPark Ihr Partner im Lifecycle Management Process Management Requirements Engineering IT & Development Process Expertise Process Implementation

Mehr

Validierung von Software-Werkzeugen. Matthias Hölzer-Klüpfel

Validierung von Software-Werkzeugen. Matthias Hölzer-Klüpfel Validierung von Software-Werkzeugen Matthias Hölzer-Klüpfel Was ist Validierung ISO 9000:2000 Bestätigung durch Bereitstellung eines objektiven Nachweises, dass die Anforderungen für einen spezifischen

Mehr

Grundlagen. Die Komponenten eines C Programms. Das erste Programm

Grundlagen. Die Komponenten eines C Programms. Das erste Programm Grundlagen 1. Die Komponenten eines C Programms 2. Ein Programm erzeugen und übersetzen 3. Variablen Deklarieren und Werte zuweisen 4. Zahlen eingeben mit der Tastatur 5. Arithmetische Ausdrücke und Berechnungen

Mehr

DRIVE LIKE A VIRTUAL DEVELOPER Die Poleposition für Ihre Softwareentwicklung

DRIVE LIKE A VIRTUAL DEVELOPER Die Poleposition für Ihre Softwareentwicklung DRIVE LIKE A VIRTUAL DEVELOPER Die Poleposition für Ihre Softwareentwicklung Was für ein Tempo! Das Rad dreht sich rasant schnell: Die heutigen Anforderungen an Softwareentwicklung sind hoch und werden

Mehr

Die perfekte Online-Hilfe auf Basis von HTML5 und Open-Source- Komponenten. Jochen Marczinzik 11.04.2014, tekom Führjahrstagung

Die perfekte Online-Hilfe auf Basis von HTML5 und Open-Source- Komponenten. Jochen Marczinzik 11.04.2014, tekom Führjahrstagung Die perfekte Online-Hilfe auf Basis von HTML5 und Open-Source- Komponenten Jochen Marczinzik 11.04.2014, tekom Führjahrstagung 1 Zur Person Dipl.-Inf. (Univ.) Jochen Marczinzik 1993 1999 DATEV eg Entwickler

Mehr

Qualität lässt sich steuern: Die Möglichkeiten des Qualitätsmanagements

Qualität lässt sich steuern: Die Möglichkeiten des Qualitätsmanagements Projekte. Beratung. Spezialisten. Qualität lässt sich steuern: Die Möglichkeiten des Qualitätsmanagements IKS-Thementag Autor: Hartwig Tödter 25.11.2014 Qualität lässt sich steuern 1 35 Agenda Warum muss

Mehr

Kompetenz in Enterprise Software Engineering

Kompetenz in Enterprise Software Engineering Kompetenz in Enterprise Software Engineering 02 Getting ideas done Die conplement AG als Technologiepartner renommierter Unternehmen erarbeitet zukunftsfähige Enterprise Software Lösungen auf Basis neuester

Mehr

Einführung in PROLOG. Christian Stocker

Einführung in PROLOG. Christian Stocker Einführung in PROLOG Christian Stocker Inhalt Was ist PROLOG? Der PROLOG- Interpreter Welcher Interpreter? SWI-Prolog Syntax Einführung Fakten, Regeln, Anfragen Operatoren Rekursion Listen Cut Funktionsweise

Mehr

Acucorp Deutschland GmbH. HPe3000 Migration Workshop, 3. Dezember 2002

Acucorp Deutschland GmbH. HPe3000 Migration Workshop, 3. Dezember 2002 Acucorp Deutschland GmbH HPe3000 Migration Workshop, 3. Dezember 2002 Acucorp s Firmengeschichte Gegründet 1988/89 von COBOL-Entwicklern Entwicklung und Verkauf einer Finanz-Anwendung (ACUITY) waren mit

Mehr

Kampf dem Fehlerteufel PMD, Findbugs und Checkstyle in großen Projekten

Kampf dem Fehlerteufel PMD, Findbugs und Checkstyle in großen Projekten main {GRUPPE} Seite 1 Jürgen Nicolai Geschäftsführender Gesellschafter Liebknechtstrasse 33 70565 Stuttgart Tel : 07 11/7 81 19 90 Fax : 07 11/ 7 81 19 91 Mail : j.nicolai@main-gruppe.de Web: www.main-gruppe.de

Mehr

Einreichung zum Call for Papers

Einreichung zum Call for Papers Internet: www.aitag.com Email: info@aitag.com Einreichung zum Call for Papers Kontaktinformationen Sven Hubert AIT AG Leitzstr. 45 70469 Stuttgart Deutschland http://www.aitag.com bzw. http://tfsblog.de

Mehr

Source Code Konverter... 2. Online: (VB.net <-> C#)... 3. Kommerzielle Produkte (VB, C#, C++, Java)... 3. Code Nachbearbeitung in der Praxis...

Source Code Konverter... 2. Online: (VB.net <-> C#)... 3. Kommerzielle Produkte (VB, C#, C++, Java)... 3. Code Nachbearbeitung in der Praxis... Autor: Thomas Reinwart 2008-05-05 office@reinwart.com Inhalt Source Code Konverter... 2 Online: (VB.net C#)... 3 Kommerzielle Produkte (VB, C#, C++, Java)... 3 Code Nachbearbeitung in der Praxis...

Mehr

ABSICHERUNG MODELLBASIERTER SICHERHEITSKRITISCHER AVIONIK SOFTWARE Dr. Elke Salecker

ABSICHERUNG MODELLBASIERTER SICHERHEITSKRITISCHER AVIONIK SOFTWARE Dr. Elke Salecker ABSICHERUNG MODELLBASIERTER SICHERHEITSKRITISCHER AVIONIK SOFTWARE Dr. Elke Salecker MOTIVATION Fahrzeug-Software wird modellbasiert mit Simulink/TargetLink entwickelt & DO331/DO-178C ermöglicht modellbasierte

Mehr

REQUIREMENTS ENGINEERING FULL SERVICE

REQUIREMENTS ENGINEERING FULL SERVICE REQUIREMENTS ENGINEERING FULL SERVICE Anforderungsbeschreibungen für die Entwicklung eines Systems müssen detailliert ausgearbeitet werden, um fi nanzielle und zeitliche Limits einzuhalten. Das gelingt

Mehr

eclipse - Entwicklungsumgebung und mehr ETIS SS05

eclipse - Entwicklungsumgebung und mehr ETIS SS05 eclipse - Entwicklungsumgebung und mehr ETIS SS05 Gliederung Motivation Geschichte Architektur Platform Runtime Eclipse Platform Java Development Tools (JDE) Plugin Development Environment (PDE) Zusammenfassung

Mehr

Programmierkurs: Delphi: Einstieg

Programmierkurs: Delphi: Einstieg Seite 1 von 6 Programmierkurs: Delphi: Einstieg Aus Wikibooks Inhaltsverzeichnis 1 Einstieg Einstieg Was ist Delphi Borland Delphi ist eine RAD-Programmierumgebung von Borland. Sie basiert auf der Programmiersprache

Mehr

Erster Bug: eine Motte

Erster Bug: eine Motte SOFTWAREFEHLER Der erste Bug Erster Bug: eine Motte Der Begriff Bug (deutsch: Motte) stammt aus dem Jahre 1945, als Ingenieure in einem Schaltrelais eines Computers (Harvard Mark II-System) eine Motte

Mehr

Leitfaden API. Testing und Debugging. Erstellt am 4.9.2014 Autor FG API, Rinaldo Lanza. Dokumentenstatus Freigegeben at work Version 1.

Leitfaden API. Testing und Debugging. Erstellt am 4.9.2014 Autor FG API, Rinaldo Lanza. Dokumentenstatus Freigegeben at work Version 1. Leitfaden API Erstellt am 4.9.2014 Autor FG API, Rinaldo Lanza Dokumentenstatus Freigegeben at work Version 1.0 Verteiler Fachgruppe API Änderungen Datum Version Autor Inhaltsverzeichnis 1 Beschreibung

Mehr

Software Engineering und Information Technology

Software Engineering und Information Technology Innovation, together we do it Software Engineering und Information Technology Helbling Technik Ihr Partner für gemeinsame Innovation und Software-Entwicklung Hochwertige Software für unsere Kunden weltweit

Mehr

Evaluation of Database Design and Reverse Engineering Tools for a Large Software System

Evaluation of Database Design and Reverse Engineering Tools for a Large Software System Evaluation of Database Design and Reverse Engineering Tools for a Large Software System Anne Thomas TU Dresden Dr. B. Demuth Pre Press GmbH (Dresden) T. Reuter Gliederung Einleitung Vorgehensweise Kontext

Mehr

Softwarequalitätssicherung

Softwarequalitätssicherung Softwarequalitätssicherung Dipl. Inf. Andrea Meyer Medieninformatik (Bachelor), Wahlpflichtmodul: Softwareprojekt II, Dipl. Inf. Andrea Meyer Warum Softwarequalitätssicherung? 2 Fatale Softwarefehler Ariane

Mehr

8a. Exkurs.NET. 8a.1.NET Architektur

8a. Exkurs.NET. 8a.1.NET Architektur 8a. Exkurs.NET Inhalt: 8a.1.NET Architektur 8a.2 Kooperation von Anwendungen über ADO -.NET 8a.3 Unterschiede gegenüber gewöhnlicher WIN32- Programmierung 1 8a.1.NET Architektur Bislang wurden die C/C++

Mehr