text: Praktische �berlegungen[en]Practical considerations Sie sind nicht angemeldet Kompetenzzentrum Wissensdatenbank Anwendungsfelder SE-Themen Anforderungen Entwurf Implementierung Testen Wartung Konfigurations-Mgmt. Entwicklungs-Mgmt. SE Prozesse SE Werkzeuge u. Methoden Qualit�t Grundlagen Management-Prozess Praxis Anforderungs-Anwendung Fehlerklassifikation Management Techniken Messung Projektmanagement Benutzerorientierung Glossar Forschungsprojekte Anbieterverzeichnis Datenbanksuche Highlights Qualit�t -> Praktische �berlegungen NEU: Externe Quellen zum Thema suchen Externe Quellen werden abgefragt... Derzeit sind 33 Einstiege in dieser Kategorie verzeichnet Projekte QBench Entwicklung und Einsatz eines ganzheitlichen Ansatzes zur konstruktions- und evolutionsbegleitenden Sicherung der inneren Qualit�t von Software, um damit den Aufwand der Software-Entwicklung und -Evolution deutlich zu senken. Verfahren Activity-Charts Activity-Charts �hneln hierarchischen Datenflu�diagrammen, d.h. die einzelnen funktionalen Komponenten (Activities) werden identifiziert und anschlie�end die (potentiellen) Kontroll- und Datenfl�sse zwischen ihnen eingezeichnet. ARP 4754 Die ARP 4754 ist ein Dokument, das als Leitfaden f�r Entwickler und Zertifizierungsbeh�rden im Luftfahrtbereich dazu gedacht ist, die Voraussetzungen f�r die Zertifizierung von Flugzeugsysteme hinsichtlich der Sicherheitsanalyse zu erreichen. Automatisches Beweisen im Bereich der Softwareentwicklung Automatisches Beweisen (engl. Automated Theorem Proving) ist eine Technik zur vollst�ndigen, automatischen Verifikation. In den folgenden Bausteinen werden allgemeine Anforderungen an die Verifikation aus dem Bereich Software Engineering identifiziert, Interaktive Beweiser und Automatische Beweiser erl�utert und in Bezug auf die identifizierten Anforderungen untersucht. Einstieg Systemanalyse �ber eine Systemanalyse k�nnen, in Verbindung mit den entsprechenden Methoden, Modellen, Werkzeugen und Vorgehensweisen, Systeme bez�glich ihrer funktionalen und nicht funktionalen Eigenschaften untersucht und bewertet werden. Endlicher Automat Ein endlicher Automat ist ein Modell eines Systems mit Ein- und Ausgaben, welches auf Basis einer endlichen Anzahl von m�glichen (internen) Konfigurationen arbeitet, bestimmte Eingabew�rter akzeptiert und ...
  Ereignisbaumanalyse (ETA) Bei der Ereignisbaumanalyse (Event Tree Analysis, ETA) handelt es sich um eine induktive Methode zur Entwicklung der m�glichen Folgen eines ausl�senden Events, zum Beispiel eines Fehlers. Failure Modes and Effects Analysis (FMEA) Die Failure Modes and Effects Analysis (FMEA) wurde seit den sechziger Jahren f�r die Untersuchung von Flugzeugsicherheit entwickelt und wurde anschlie�end f�r Anwendungen in der Raumfahrt, f�r Anlagen ... Fault Tree Analysis (FTA) Die Fault Tree Analysis (FTA) wurde urspr�nglich im Laufe der sechziger Jahre im Bereich der amerikanischen Telekommunikations- und Flugzeugindustrie entwickelt. Erst Anfang der achtziger Jahre erfolgte auf Veranlassung amerikanischer Beh�rden ... Formale Logiken Formale Logiken sind der Teil der formalen Sprachen, bei denen durch (u.U. automatisch durchf�hrbare) Symbolmanipulation Schl�sse gezogen werden k�nnen. Damit solche Schl�sse m�glich sind, m�ssen eine formale Syntax und eine Semantik definiert sein. Functional Hazard Assessment (FHA) In der Functional Hazard Assessment (FHA) wird der Entwurf auf der obersten Systemebene aus einer funktionalen Perspektive analysiert [SAE-ARP 4754/4761, 1996]. Das Ziel dieser Analysetechnik ist die Identifizierung derjenigen Funktionen ... Hazard and Operability Study (HAZOP) Die Methode der Hazard and Operability Study (HAZOP) wurde in den fr�hen siebziger Jahren von Imperial Chemical Industries (ICI) entwickelt und in den fr�hen neunziger Jahren zur Anwendung auf Software erweitert. Eine HAZOP wird durchgef�hrt, ... Lesetechniken f�r Inspektionen Das zentrale Element einer Inspektion besteht aus dem Lesen bzw. der Analyse von Softwareprodukten durch die Gutachter. Hierf�r stehen verschiedene Techniken zur Auswahl. Markov-Analyse Markov-Methoden eignen sich gut, um Komponenten mit mehreren Zust�nden zu untersuchen, beispielsweise mit Zust�nden, die die Nominalfunktion, leichte Fehlfunktionen und kritische Fehlfunktionen beschreiben. Messen-Einstieg Das Thema "Messen" erl�utert die Theorie des Messens und gibt einen �berblick dar�ber, welche Ma�e im Umfeld des Software Engineering eine Rolle spielen. Metrikbasierte Qualit�tsanalyse - Einstieg Die Metrikbasierte Qualit�tsanalyse ist ein Verfahren, das eine objektive und effektive Einsch�tzung der Qualit�t gro�er Software-Systeme erlaubt. Model Checking Mit Hilfe der Verifikationstechnik Model Checking ist es m�glich, die Modellierung eines Systems daraufhin zu �berpr�fen, ob sie die Eigenschaften aus einer bestimmten Spezifikation erf�llt (...) Modellbildung Die Modellbildung ist ein typischer Abstraktionsprozess in der Informatik und der Mathematik, mit dem man versucht, die Komplexit�t eines Systems auf ein �bew�ltigbares� Ma� zu reduzieren. Preliminary Hazard Analysis (PHA) Die vorl�ufige Sicherheitsanalyse (preliminary hazard analysis, PHA) wurde in den sp�ten sechziger Jahren (1966) entwickelt, nachdem das us-amerikanische Verteidigungsministerium verlangte, dass Sicherheitsstudien in allen Stufen der ... Prozess der Qualit�tsanalyse - �berblick Der Prozess zur Durchf�hrung einer Software-Produktanalyse l�sst sich hinsichtlich verschiedener Phasen unterteilen. Jede dieser Phasen ist durch verschiedene Aktivit�ten gekennzeichnet, die explizit erl�utert werden. Risikoanalyse - Einstieg Es gibt eine Reihe etablierter Verfahren, um Fehler und Schwachstellen in Systementw�rfen und Implementierungen systematisch zu identifizieren, auf ihren Ursprung zur�ckzuf�hren oder in ihren Konsequenzen weiter zu verfolgen. Im Bereich des System Engineering haben solche Verfahren eine lange Tradition. Eine �bertragung der Methoden auf den Bereich der Software und speziell auf Sicherheitsschwachstellen erfordert besondere Anpassungen. Sicherheit - Einstieg Die Gew�hrleistung von Sicherheit - Safety und Security - ist nach heutigem Stand der ein Problem, f�r das bisher nur unvollkommene Prozess- und Methodenunterst�tzung existiert. Security Engineering basiert bisher vor allem auf individuellem Expertenwissen und einer rigorosen Anwendung systematischer Entwicklungsprozesse. Sicherheitsanalyse Unter der Sicherheitsanalyse eines sicherheitskritischen Systems versteht man eine systematische, nachvollziehbare �berpr�fung des implementierten Systems hinsichtlich definierter Sicherheitsanforderungen. Software Inspektionen Software Inspektion ist eine statische Methode zur Softwarequalit�tsverbesserung und Fehlerkostenreduktion. Dabei wird ein Softwaredokument von einem oder mehreren Inspektoren auf Fehler oder M�ngel hin untersucht. Spezifikation Die Methode der (formalen) Spezifikation beschreibt die (formale) Zusammenstellung derjenigen Eigenschaften, die f�r die (formale) Korrektheit eines in Entwicklung befindlichen Systems (oder eines Modells) n�tig.
  State-Chart State-Charts sind ein Bestandteil der UML und basieren auf Zustandsautomaten, die das reaktive Verhalten des Systems bzw. einer Komponente darstellen. Statemate Verifikation Mit Hilfe der vom OFFIS und der Universit�t Oldenburg entwickelten Verifikationsumgebung f�r Statemate kann die Erf�llung der Anforderungen einer in Symbolic Timing Diagrams vorliegenden Spezifikation durch ein als State-Chart vorliegendes (...) Symbolic Timing Diagrams Bei Symbolischen Zeitdiagrammen (Symbolic Timing Diagrams, STD) handelt es sich um eine grafische Methode zur Erstellung formaler Spezifikationen. Theorem Proving Unter Theorem Proving versteht man den Beweis der Korrektheit von Programmen bez�glich einer mathematisch formulierten Spezifikation. Der Korrektheitsbeweis erfolgt auf der Grundlage von formalen (...) TTCN-3 - Kernsprache - �berblick Die Kernsprache von TTCN-3 ist eine modulare Sprache und ist �hnlich einer typi-schen Programmiersprache.
  TTCN-3 - �berblick TTCN (die Testing and Test Control Notation TTCN-3) ist eine weit verbreitete und eingesetzte Testtechnologie - traditionell aus der Telekommunikation. In seiner neuen Version adressiert TTCN-3 einen breiteren Bereich und erm�glicht eine weite Anwendbarkeit. Es kann nicht nur f�r das Testen der Konformit�t und Interoperabilit�t von Kommunikationsprotokollen, sondern auch beispielsweise f�r das Testen der Interaktion von Sensoren, Aktuatoren und Steuereinheiten, die �ber Bussysteme angeschlossen werden, genutzt werden. Verfahren zur Problemidentifikation Ein �berblick �ber statische Verfahren zur Lokalisierung von Problemstellen hinsichtlich der internen Qualit�t. Verifikation (formal) Durch eine (formale) Verifikation im Software- und Hardwareengineering wird die �bereinstimmung der Eigenschaften der erstellten Entit�ten (z.B. Dokumente, Modelle, Implementierung) einer (Entwicklungs-)Phase gegen�ber der n�chsten sichergestellt (...)