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.
"Download":
Die kompletten White-Papers sind über unsere Downloadseite verfügbar.
Download-Adresse und Zugangsdaten für die gesamte Dokumentensammlung erhalten Sie über
request download data.
"Upload":
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: 11
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)
request download data
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, ...
(Artikel aus MSCoder, 8 pages, pdf, 738 KB)
© 2007 Klaus Lambertz / MSCoder
request download data
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 identi zieren 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)
request download data
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)
request download data
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)
request download data
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 bene t 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)
request download data
Automatisierung von Black-Box-Tests mit modellbasierten Testtools am Beispiel von Conformiq Qtronic™
Kurzpräsentation auf den Software Quality Days am 22.01.2009 in Wien
(diese Präsentation basiert auf der Version 1.3 des Tools)
(26 slides, pdf, 2,1 MB)
© 2009 Klaus Lambertz (Verifysoft Technology)
request download data
Softwaretests können in Europa über 100 Milliarden Euro jährlich einsparen
(4 pages, pdf, 383 KB)
© 2009 Klaus Lambertz (Verifysoft Technology)
request download data
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)
request download data
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)
request download data
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)
request download data
last updated: 14.01.2010
© 2009-2010 Verifysoft Technology GmbH
all trademarks of this site are the property of their respective owners.
|
![[Français]](flaggeF.jpg){kind=small}