Dynamische Codeanalyse mit Cantata - Versionsgeschichte

Ulrich Schneider am 21. Oktober 2019 um 11:18 Uhr

2019-10-21T11:18:32Z

← Nächstältere Version		Version vom 21. Oktober 2019, 13:18 Uhr
Zeile 44:		Zeile 44:

	----		----
	→ zurück zum Hauptartikel: [[~~Seminar_SDE_WS_16~~/17\|Seminar SDE WS 16/17]]		→ zurück zum Hauptartikel: [[Seminar_SDE_WS_19/20\|Seminar SDE WS 19/20]]

Ulrich Schneider: /* Ihre Aufgaben */

2016-09-27T09:19:44Z

Ihre Aufgaben

← Nächstältere Version		Version vom 27. September 2016, 11:19 Uhr
Zeile 12:		Zeile 12:
	*Ordnen Sie vor diesem Hintergrund Cantata++ ein.		*Ordnen Sie vor diesem Hintergrund Cantata++ ein.
	* Einführung in die Software Cantata++ mit praktischen Beispielen.		* Einführung in die Software Cantata++ mit praktischen Beispielen.
	*Live-Vorführung ~~der Programme~~ (Cantata++ Lizenzen sind an der HSHL vorhanden)		*Live-Vorführung des Programms (Cantata++ Lizenzen sind an der HSHL vorhanden)
	*Beschreiben Sie den Funktionsumfang der Software anhand praktischer Beispiele.		*Beschreiben Sie den Funktionsumfang der Software anhand praktischer Beispiele.

Ulrich Schneider: /* Ihre Aufgaben */

2016-09-27T09:19:31Z

Ihre Aufgaben

← Nächstältere Version		Version vom 27. September 2016, 11:19 Uhr
Zeile 12:		Zeile 12:
	*Ordnen Sie vor diesem Hintergrund Cantata++ ein.		*Ordnen Sie vor diesem Hintergrund Cantata++ ein.
	* Einführung in die Software Cantata++ mit praktischen Beispielen.		* Einführung in die Software Cantata++ mit praktischen Beispielen.
			*Live-Vorführung der Programme (Cantata++ Lizenzen sind an der HSHL vorhanden)
	*Beschreiben Sie den Funktionsumfang der Software anhand praktischer Beispiele.		*Beschreiben Sie den Funktionsumfang der Software anhand praktischer Beispiele.

Ulrich Schneider: /* Weiterführende Links */

2016-09-27T09:18:23Z

Weiterführende Links

← Nächstältere Version		Version vom 27. September 2016, 11:18 Uhr
Zeile 43:		Zeile 43:

	----		----
	→ zurück zum Hauptartikel: [[~~Seminar_SDE_WS_15~~/16\|Seminar SDE WS 15/16]]		→ zurück zum Hauptartikel: [[Seminar_SDE_WS_16/17\|Seminar SDE WS 16/17]]

Ulrich Schneider am 9. Oktober 2015 um 09:56 Uhr

2015-10-09T09:56:49Z

← Nächstältere Version		Version vom 9. Oktober 2015, 11:56 Uhr
Zeile 1:		Zeile 1:
	==Einleitung==		==Einleitung==
	'''Statische Code-Analyse''' oder kurz statische Analyse ist ein statisches Software-Testverfahren. Der Quelltext wird hierbei einer Reihe formaler Prüfungen unterzogen, bei denen bestimmte Sorten von Fehlern entdeckt werden können, noch bevor die entsprechende Software (z. B. im Modultest) ausgeführt wird. Die Methodik gehört zu den falsifizierenden Verfahren, d. h. es wird die Anwesenheit von Fehlern bestimmt.

	~~In Anlehnung an das klassische Programm Lint wird der Vorgang auch als linten (englisch linting) bezeichnet.~~

	Neben dem gewissenhaften Studium von Quelltext durch Entwickler ist es möglich, viele inhaltliche Fehler werkzeuggestützt oder automatisch zu erkennen. Die Bandbreite reicht von der Sicherstellung von einfachen Coding-Standards (z. B. ein return-Statement pro Funktion) über die Prüfung von Typumwandlungen und Bereichsgrenzen über die Suche nach bestimmten Arten von Speicherlecks bis hin zur technischen Verifikation von Quelltext.

	Einfache Analysen sind häufig bereits im Compiler (Übersetzer) einer Programmiersprache integriert, z. B. die Prüfung auf Initialisierung einer Variablen. Darüber hinaus gibt es Methoden, die den Programmierstil auf Ästhetik und Pragmatik prüfen, nämlich die stilistischen Methoden. Allerdings werden häufig nur Warnmeldungen angezeigt, die ignoriert werden können. Bei sogenannten Profilern wird zusätzlicher Objektcode generiert, welcher Aussagen über Codeabdeckung und Codefrequentierung generiert. Echte statische Analysierer gibt es nur wenige.

	~~Automatisierte Codereview-Software vereinfacht die Aufgabe der Durchsicht großer Programmteile durch systematische Überprüfungen auf angreifbare Stellen wie:~~

	* Race Conditions
	* Formatstring-Angriffe
	* Pufferüberläufe
	* Speicherlecks


	Aufgrund einer nach wie vor nicht unerheblichen Anzahl an falsch erkannten, nur vermeintlichen Schwächen im Quellcode ist eine vollautomatische Korrektur durch die Werkzeuge zur statischen Code-Analyse bis zum heutigen Tag nicht Usus.

	Dynamische Software-Testverfahren sind bestimmte Prüfmethoden um beim Softwaretest Fehler in Software aufzudecken.		Dynamische Software-Testverfahren sind bestimmte Prüfmethoden um beim Softwaretest Fehler in Software aufzudecken.

Zeile 25:		Zeile 7:

	==Ihre Aufgaben==		==Ihre Aufgaben==
	*Motivieren Sie das Gebiet der ~~statischen~~ Codeanalyse.		*Motivieren Sie das Gebiet der dynamischen Codeanalyse.
	*Einführung in die Qualitätssicherung durch ~~Dynamische~~ Software-Testverfahren.		*Einführung in die Qualitätssicherung durch dynamische Software-Testverfahren.
	*Stellen Sie die in der Literatur gängigen Verfahren vor.		*Stellen Sie die in der Literatur gängigen Verfahren vor.
	*Ordnen Sie vor diesem Hintergrund ~~QA-C, QA-C++ und~~ Cantata++ ein.		*Ordnen Sie vor diesem Hintergrund Cantata++ ein.
	* Einführung in die Software mit praktischen Beispielen.		* Einführung in die Software Cantata++ mit praktischen Beispielen.
	*Beschreiben Sie den Funktionsumfang der Software anhand praktischer Beispiele.		*Beschreiben Sie den Funktionsumfang der Software anhand praktischer Beispiele.

	==Kür-Aufgabe==		==Kür-Aufgabe==
	Machen Sie doch eine Umfrage unter Ihren Kommilitonen (Semester 1-7) welche Firmen welche Systeme einsetzen und warum. Das wäre aber schon das ++ hinter der 1.		Machen Sie doch eine Umfrage unter Ihren Kommilitonen (Semester 1-7) welche Firmen welche Systeme zur dynamischen Codeanalyse einsetzen und warum. Das wäre aber schon das ++ hinter der 1.

	==Verwendete Tools==		==Verwendete Tools==
			QA-Systems Cantata++
	*QA-C
	*QA-C++
	*QA-Systems Cantata++

	==Mögliche Fragen==		==Mögliche Fragen==
	* Wozu braucht man eine ~~statische~~ Codeanalyse?		* Wozu braucht man eine dynamische Codeanalyse?
	* Wie funktioniert eine ~~statische~~ Codeanalyse?		* Wie funktioniert eine dynamische Codeanalyse?
	* Was bedeutet MISRA?
	* Gibt es kein kostenloses Tool, was dasselbe kann?		* Gibt es kein kostenloses Tool, was dasselbe kann?

Ulrich Schneider: Die Seite wurde neu angelegt: „==Einleitung== '''Statische Code-Analyse''' oder kurz statische Analyse ist ein statisches Software-Testverfahren. Der Quelltext wird hierbei einer Reihe forma…“

2015-10-08T12:22:35Z

Die Seite wurde neu angelegt: „==Einleitung== '''Statische Code-Analyse''' oder kurz statische Analyse ist ein statisches Software-Testverfahren. Der Quelltext wird hierbei einer Reihe forma…“

Neue Seite

==Einleitung==
'''Statische Code-Analyse''' oder kurz statische Analyse ist ein statisches Software-Testverfahren. Der Quelltext wird hierbei einer Reihe formaler Prüfungen unterzogen, bei denen bestimmte Sorten von Fehlern entdeckt werden können, noch bevor die entsprechende Software (z. B. im Modultest) ausgeführt wird. Die Methodik gehört zu den falsifizierenden Verfahren, d. h. es wird die Anwesenheit von Fehlern bestimmt.

In Anlehnung an das klassische Programm Lint wird der Vorgang auch als linten (englisch linting) bezeichnet.

Neben dem gewissenhaften Studium von Quelltext durch Entwickler ist es möglich, viele inhaltliche Fehler werkzeuggestützt oder automatisch zu erkennen. Die Bandbreite reicht von der Sicherstellung von einfachen Coding-Standards (z. B. ein return-Statement pro Funktion) über die Prüfung von Typumwandlungen und Bereichsgrenzen über die Suche nach bestimmten Arten von Speicherlecks bis hin zur technischen Verifikation von Quelltext.

Einfache Analysen sind häufig bereits im Compiler (Übersetzer) einer Programmiersprache integriert, z. B. die Prüfung auf Initialisierung einer Variablen. Darüber hinaus gibt es Methoden, die den Programmierstil auf Ästhetik und Pragmatik prüfen, nämlich die stilistischen Methoden. Allerdings werden häufig nur Warnmeldungen angezeigt, die ignoriert werden können. Bei sogenannten Profilern wird zusätzlicher Objektcode generiert, welcher Aussagen über Codeabdeckung und Codefrequentierung generiert. Echte statische Analysierer gibt es nur wenige.

Automatisierte Codereview-Software vereinfacht die Aufgabe der Durchsicht großer Programmteile durch systematische Überprüfungen auf angreifbare Stellen wie:

* Race Conditions
* Formatstring-Angriffe
* Pufferüberläufe
* Speicherlecks

Aufgrund einer nach wie vor nicht unerheblichen Anzahl an falsch erkannten, nur vermeintlichen Schwächen im Quellcode ist eine vollautomatische Korrektur durch die Werkzeuge zur statischen Code-Analyse bis zum heutigen Tag nicht Usus.

Dynamische Software-Testverfahren sind bestimmte Prüfmethoden um beim Softwaretest Fehler in Software aufzudecken.

Während bei statischen Verfahren die zu testende Software nicht ausgeführt wird, setzen dynamische Verfahren die Ausführbarkeit der Software voraus. Grundprinzip der dynamischen Verfahren ist die Ausführung der zu testenden Software mit systematisch festgelegten Eingabedaten (Testfälle). Für jeden Testfall werden zu den Eingabedaten auch die erwarteten Ausgabedaten angegeben. Die vom Testlauf erzeugten Ausgabedaten werden mit den jeweils erwarteten Daten verglichen. Bei Abweichungen liegt ein Fehler vor.

Wesentliche Aufgabe der einzelnen Verfahren ist die Bestimmung geeigneter Testfälle für den Test der Software.

==Ihre Aufgaben==
*Motivieren Sie das Gebiet der statischen Codeanalyse.
*Einführung in die Qualitätssicherung durch Dynamische Software-Testverfahren.
*Stellen Sie die in der Literatur gängigen Verfahren vor.
*Ordnen Sie vor diesem Hintergrund QA-C, QA-C++ und Cantata++ ein.
* Einführung in die Software mit praktischen Beispielen.
*Beschreiben Sie den Funktionsumfang der Software anhand praktischer Beispiele.

==Kür-Aufgabe==
Machen Sie doch eine Umfrage unter Ihren Kommilitonen (Semester 1-7) welche Firmen welche Systeme einsetzen und warum. Das wäre aber schon das ++ hinter der 1.

==Verwendete Tools==

*QA-C
*QA-C++
*QA-Systems Cantata++

==Mögliche Fragen==
* Wozu braucht man eine statische Codeanalyse?
* Wie funktioniert eine statische Codeanalyse?
* Was bedeutet MISRA?
* Gibt es kein kostenloses Tool, was dasselbe kann?

== Weiterführende Links==
# Ch. Bommer, M. Spindler, V. Barr: Softwarewartung – Grundlagen, Management und Wartungstechniken. dpunkt.verlag, Heidelberg 2008, ISBN 3-89864-482-0.
# P. Liggesmeyer: Software-Qualität: Testen, Analysieren und Verifizieren von Software. 2 Auflage. Spektrum, Akad. Verl., Heidelberg 2009, ISBN 978-3827420565, S. 270.
# A. Spillner und T. Linz: Basiswissen Softwaretest. 4 Auflage. dpunkt.verlag, Heidelberg 2010, ISBN 978-3898646420, S. 98.
# Harry Sneed, Richard Seidl, Manfred Baumgartner: Software in Zahlen - Die Vermessung von Applikationen. 1. Auflage. Carl Hanser Verlag, 2010, ISBN 978-3-446-42175-2.
# http://www.qa-systems.de/produkte/qa-c.html
# [http://www.misra.org.uk/ Motor Industry Software Reliability Association (MISRA)]
# [http://www.qa-systems.de/produkte/cantata.html QA-Systems Cantata]
# Peter Liggesmeyer, Software-Qualität, Heidelberg: Spektrum-Verlag 2002
# [http://en.gasq.org/ Global Association for Software Quality]
# [https://www.asqf.de/ Arbeitskreis Software-Qualität und Fortbildung]
# [https://www.isqi.org/ International Software Quality Institute]
# [http://www.ebusiness-akademie.de/expertenwissen/7_software-engineering-und-software-qualitaet-in-open-source-projekten.htm Software-Engineering und Software-Qualität in Open-Source Projekten (Creative Commons Lizenz)]
# [http://www.iqnite-conferences.com/iqnite-de/index.aspx iqnite - Die Konferenz für Software-Qualitätsmanagement und -Testen]

----
→ zurück zum Hauptartikel: [[Seminar_SDE_WS_15/16|Seminar SDE WS 15/16]]