Verifysoft Software Testing Papers Library

Auf dieser Seite veröffentlicht bzw. verlinkt Verifysoft Technology nützliche White-Papers zum Thema Softwarequalität und Softwaretest. Bitte beachten Sie, dass Verifysoft trotz intensiver Prüfung keine Haftung für Richtigkeit und Vollständigkeit der Informationen übernimmt. Alle Rechte an den Dokumenten verbleiben bei den jeweiligen Autoren. Diese Webseite versteht sich lediglich als Plattform. Sie haben eine Ausarbeitung (Studienarbeit etc.) aus dem Bereich Softwarequalität bzw. Softwaretest und möchten diese über unsere Internetseiten einem breiten Fachpublikum zugäglich machen? Schicken Sie uns Ihre Arbeit als pdf. Bei Veröffentlichung erhalten Sie von uns innerhalb von zwei Wochen ein Fachbuch zum Thema Softwaretest. Weitere Informationen hier

Aktuell verfügbare White-Papers zu den Themen Softwaretest und Softwarequalität:     12

Basáez, Daniel: Fuzzing

Fuzzing is a technique for Testing, and is very effective for finding security vulnerabilities in software.
It was used in several applications like Unix systems, GUI applications under Windows and Apple MacOS. ... it is often used to improve the programming of everything, because it can reach parts of code, in some cases, that other testing tools never reach, this concept of testing is still used nowadays and his creator is still doing research over this. Fuzzing is a method that inserts unexpected data into input.
In this paper some approaches are discussed and also some applications and some tools are showed.
  (8 pages, pdf, 136 KB)       © 2009   Daniel Basáez   (Hochschule Offenburg)       Download

Cullmann, Xavier-N./Lambertz, Klaus: Komplexität und Qualität von Software

Wie bestimmt man die Komplexität von Quellcode und welchen Einfluss hat sie auf die Wartbarkeit? Die Softwarequalität und die Wartbarkeit von Applikationen hängt von der Codekomplexität ab. Eine angemessene Komplexität vereinfacht Softwaretests und Wartung.
In diesem Artikel erfahren Sie... wie die Komplexität einer Software gemessen wird, den Einfluss der Komplexität auf die Qualität, die traditionellen Softwaremetriken, ...
  (8 pages, pdf, 738 KB)       © 2007   Klaus Lambertz / MSCoder       Download

Drosdezki, Eugenia: Objektorientierte Codemetriken und deren Anwendung im Bereich von Embedded Systems

Empirische Untersuchungen haben gezeigt, dass Metriken als Indikatoren der Softwarequalität verwendet werden können.
Durch die immer zunehmende Popularität objektorientierter Paradigmen wird gerade die Bewertung der Qualität objektorientierter Software immer wichtiger. Objektorientierte Metriken berücksichtigen die strukturelle Besonderheit und Charakteristika objektorientierter Software und helfen dabei potenzielle Schwachstellen in der Software zu identizieren und den Softwareentwurf zu optimieren. Der Einsatz objektorientierter Metriken senkt die Entwicklungs-, Test- und Wartungskosten.
In dieser Arbeit werden objektorientierte Metriken von Chidamber und Kemerer, Li und Henry sowie von Bruito und Abreu näher vorgestellt. Danach werden die Ergebnisse einer Studie erläutert, in der gezeigt wird, dass Metriken-Tools, die unter anderem Metriken von Chidamber und Kemerer messen, Definitionen von Metriken unterschiedlich interpretieren.
Zum Schluss wird noch aufgezeigt, wie objektorientierte Codemetriken im Bereich eingebetteter Systeme sinnvoll eingesetzt werden können.
Keywords: AHF - Attribute Hiding Factor, AIF - Attribute Inheritance Factor, CBO - Coupling between Object Classes, COF - Coupling Factor, DAC - Data Abstraction Coupling, DIT - Dept of Inheritance Tree, LCOM - Lack of Cohesion in Methods, MHF - Methode Hiding Factor, MIF - Methode Inheritance Factor, MOOD Metriken von Brito und Abreu, MPC - Message Passing Coupling, NOC - Number of Children, NOM - Number of local Methodes, POF - Polymorphism Factor, RFC - Response of a Class, SIZE1 - Number of Semicolons in a Class, SIZE2 - Number of Attriubutes + Number of Local Methods, WMC - Weighted Methods per Class
  (7 pages, pdf, 223 KB)       © 2009   Eugenia Drosdezki   (Hochschule Offenburg)       Download

Ehret, Mathias: Testen von Echtzeitsystemen

Das Testen ist ein sehr teurer Schritt in der Entwicklung von Real-Time Systems. Während für reine Softwaresysteme mit moderaten Anforderungen an das Laufzeitverhalten schon länger moderne Testverfahren und Paradigmen angewandt werden, sind deren Varianten für das Testen von Echtzeitsystemen noch relativ unbekannt.
Echtzeitsysteme können günstig als Timed Automata beschrieben und als Black-Box Systeme nach digitaltechnischen und formalen Gesichtspunkten verifiziert werden. Weitere Möglichkeiten ergeben sich durch adaptive Testgenerierung und Robustheitsprüfungen. Für die Spezifikation der Testfälle existiert eine Echtzeiterweiterung der TTCN Notation.
  (7 pages, pdf, 286 KB)       © 2009   Mathias Ehret   (Hochschule Offenburg)       Download

Erdrich, Frank: Echtzeitprogrammierung und Echtzeitverhalten von Keil RTX

Echtzeitsysteme werden immer komplexer. Darum bedarf es Hilfsmittel wie Echtzeitbetriebssysteme, die die Komplexität vereinfachen.
Das vorliegende Paper zeigt anhand gängiger Verfahren zur Echtzeitprogrammierung auf, inwieweit das Echtzeitbetriebssystem RTX von Keil Echtzeitprogrammierung und Echtzeitverhalten unterstützt.
  (8 pages, pdf, 421 KB)       © 2009   Frank Erdrich   (Hochschule Offenburg)       Download

Fischer, Daniel: Softwaremetriken gezielt einsetzen

Software-Metriken stellen Kennwerte dar, um Software hinsichtlich Komplexität, Wartbarkeit und Fehleranfälligkeit zu bewerten. So empfliehlt die DIN EN 61508 die Erhebung von Software-Metriken für die Safety Integrity Level (SIL) 1-4. Weitere Empfehlungen der DIN EN 61508, wie beispielsweise die der strukturierten Programmierung, können aus einzelnen Software-Metriken abgeleitet werden.
  (9 pages, pdf, 738 KB)       © 2009   Prof. Dr. Daniel Fischer   (Hochschule Offenburg)       Download

Gries, Caspar: New Trends in the Optimization of C-Code

Despite all of the recent progress concerning the tools and techniques of Software Development, which allow for shorter development cycles by automating common tasks and generally shifting the field of human engagement to more abstract levels, only a small fraction of all projects benet from this advancement. A great part of Software Development still uses concepts that have been devised decades ago, namely the C programming language. ...
But while C itself has changed not much over time, the techniques of compiling it into efficient machine code have been subject to constant research since its very beginning. This paper summarizes some of the more recent trends and approaches.
  (8 pages, pdf, 136 KB)       © 2009   Caspar Gries   (Hochschule Offenburg)       Download

Lambertz, Klaus: Softwarefehler verursacht das teuerste "Feuerwerk" aller Zeiten

Softwaretests können in Europa über 100 Milliarden Euro jährlich einsparen
  (4 pages, pdf, 383 KB)       © 2009   Klaus Lambertz   (Verifysoft Technology GmbH)       Download

Schlegel, Andreas: TTCN-3

Das Testen komplexer Systeme, besonders im Bereich verteilter Systeme, gestaltet sich oft sehr schwierig. Dies ist bedingt durch das Zusammenwirken verschiedener Komponenten mit unterschiedlicher Hardware und Plattformen. Für diese Komponenten werden die selben Testfälle entwickelt, jedoch aufgrund der Unterschiede meistens für jede Komponente einzeln implementiert. Dies verursacht einen erheblichen Mehraufwand, der besonders auch beim Ändern von Testfällen sehr hoch ist. Um diesen Aufwand zu minimieren ist eine gemeinsame Testsprache notwendig, in der alle Testfälle erstellt werden können.
Dieses Paper stellt die Testsprache TTCN-3 vor. TTCN-3 ist eine einheitliche technologie-unabhägige Testsprache für kommunikationsbasierte, verteilte Systeme und bietet dadurch eine Lösung für diese Probleme.
  (10 pages, pdf, 1,5 MB)       © 2010   Andreas Schlegel   (Hochschule Offenburg)       Download

Rothmann, Andreas: Classic Algorithms for Pairwise Testing

This paper gives an overview on the most important classic algorithms for pairwise testing. All algorithms use combinatorial strategies to find a test set, which covers pairwise combinations of system parameters (for example system settings or inputs from the user). The idea of pairwise testing is already 20 years old but for the last five years its popularity has been rising extremely. The reason is that testers have to face more complex software projects with the same time target.
  (6 pages, pdf, 289 KB)       © 2008   Andreas Rothmann   (Hochschule Offenburg)       Download

Spinner, Simon: Zentrale Fehlerbehandlung in verteilten eingebetteten Systemen

Die Fehlerbehandlung ist ein wichtiger Teil bei der Implementierung von robusten und fehlertoleranten Systemen. In modernen Programmiersprachen gibt es meist bereits spezielle Konstrukte zur Fehlerbehandlung. Insbesondere in verteilten und nebenläfigen Szenarien sind die traditionellen, sequentiellen Fehlerbehandlungssysteme allerdings nicht ausreichend.
Es werden mit Erlang, dem Guardian Modell und den CA Actions drei aktuellere Lösungsvorschläge für dieses Problem vorgestellt. Es wird dabei auch auf deren Einsetzbarkeit in eingebetteten Systemen eingegangen. Abschließend wird ein Vergleich der vorgestellten Systeme vorgenommen.
  (8 pages, pdf, 239 KB)       © 2008   Simon Spinner (Hochschule Offenburg)       Download

Raffeiner, Simon: Embedded Unit-Tests und Mocking mit CMock

Softwareentwicklung für eingebettete Systeme hat sich in den vergangenen Jahren meist kaum verändert. Obwohl die Konzepte hinter Agiler Entwicklung, Test-Driven Development und Extreme Programming auch auf eingebettete Systeme übertragen wurden liegen die Potentiale in vielen Projekten brach. Unit Testing und Mocking werden weitestgehend ignoriert. Das Problem entsteht aus der Fehleinschätzung vieler Entwickler, dass Software für eingebettete Systeme ohne Betriebssystem schwer zu testen ist weil die notwendigen Angriffspunkte (Automatisierbarkeit, Frameworks) fehlen und die knapp bemessenen Ressourcen den Einsatz größerer Test-Frameworks unmöglich macht. Statt dessen beschränkt man sich meist auf Systemtests. Kernthema dieses Dokumentes ist die Einführung in das CMock Mocking Framework, das in Verbindung mit dem Unity Unit Test Framework genutzt werden kann um White-Box-Tests für C-Programme generieren.
  (9 pages, pdf, 176 KB)       © 2009   Simon Raffeiner (Hochschule Offenburg)       Download

last updated: 14.04.2011

© 2009-2011 Verifysoft Technology GmbH

all trademarks of this site are the property of their respective owners.