Software Quality → Library

[Français][Deutsch]

Software Testing Library

 

Verifysoft-Newsletter-01.jpg On this web page you will find papers concerning software quality and software testing. Verifysoft gets out of responsabilities regarding correctness of these informations, in spite of a reliable examination. This web page is only a platform, all publication rights remains to their authors.

You have a work-study about software quality or into software testing area and you would like to share it with a larger readership on our website?
Send to us your paper in pdf, at the time of its publications you will receive a specialized book in software testing.   For more information

 

Available white papers :     4

Code Optimisation
New Trends in the Optimization of C-Code
 
Tests of Embedded Systems
Functionality and Design of the CMock framework
  Fuzzing
Fuzzing
 
Pairwise Testing
Classic Algorithms for Pairwise Testing

 


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.
pdf  (8 pages, pdf, 136 KB)       © 2009   Daniel Basáez   (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.
pdf  (8 pages, pdf, 136 KB)       © 2009   Caspar Gries   (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.
pdf  (6 pages, pdf, 289 KB)       © 2008   Andreas Rothmann   (Hochschule Offenburg)       Download

 


Raffeiner, Simon: Functionality and Design of the CMock framework

Development cycles in the embedded world have not changed fundamentally for many years now. Even though the principles of agility, test-driven development and extreme programming have been adapted to embedded development in the last ten years, the advantages of unit testing and mocking are widely ignored. The problem mainly arises from the misconception among developers that code written for embedded platforms without an operating system is hard to test because of the missing interaction possibilities with the system, and that space constraints make the use of frameworks impossible. Most developers focus on system testing instead. This paper shows how the CMock1 mocking framework can be used in conjunction with the Unity2 unit test framework to implement White-Box-Tests for embedded system software written in the C programming language.
pdf  (9 pages, pdf, 176 KB)       © 2009   Simon Raffeiner (Hochschule Offenburg)       Download

 


 

last updated: 03.01.2011

© 2011 Verifysoft Technology GmbH

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