Software Testing Papers Library
On this web page you will find a selection of interesting Papers on the subject of Software Quality and Software Testing. We at Verifysoft have reviewed the content and believe it may be of interest to you. Please be aware that this web page is a platform for publication only - all publication rights remain with the author. Verifysoft is not responsible for the correctness or the views expressed within the documents.If you have a Paper on Software Quality or Software Testing that you would like to share with a larger readership here on our website, can you please send us it in a pdf document. As a token of our thanks, we will send you a specialized Software Testing book.
Fuzzing
Basáez, Daniel
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
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
Testwell CTC++: Code Coverage for safety-critical Embedded Systems
Fischer, Daniel
Software for embedded systems is often used in safety-critical systems. In this area malfunctions could lead to accidents or damages of high magnitude and even to loss of lives. Therefore, security standards such as the DO178-C (aviation), the ISO 26262 (automotive) or the EN 50128 (railway) demands harsh proff of code coverage. In dependency to the ciritcality, a suitable level of code coverage has to be applied.
(2 pages, pdf, 3.2 MB) © 2013 Prof. Dr. Daniel Fischer (Univeristy of Applied Sciences Offenburg) Download
(2 pages, pdf, 3.2 MB) © 2013 Prof. Dr. Daniel Fischer (Univeristy of Applied Sciences Offenburg) Download
Code Coverage on Embedded Devices: Code Coverage on small Targets
Lambertz, Klaus
Even on embedded devices, software has to be tested sufficiently before the product can be launched on the market. However, such a monitoring in the testing progress, required by many safety standards, is not quite trivial at this point. Often, target resources are limited and memory and processor could easily reach their boundaries. But with some creativity it is even possible to capture and proof Code Coverage in the embedded area.
(6 pages, pdf) © 2018 Verifysoft Technology GmbH Download
(6 pages, pdf) © 2018 Verifysoft Technology GmbH Download
Static Analysis: Detect bottlenecks - Identify problems with the cache usage
Lüdtke, Royd
The use of the cache has a considerable impact on the overall system performance, even with small targets. This efficiency plays an important role, in particular in regard to real-time applications. Possibilities for optimisation should already be found in a very early phase of the software development lifecycle. The sooner the bottleneck is recognised, the easier and cheaper it can then also be removed. A procedure is suited for this task, which actually should be established in every development team: Static code analysis. With its use, it is possible to root out problems involving the cache usage and to remove them.
(6 pages, pdf) © 2019 Verifysoft Technology GmbH Download
(6 pages, pdf) © 2019 Verifysoft Technology GmbH Download
Functionality and Design of the CMock framework
Raffeiner, Simon
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.
9 pages, pdf, 176 KB) © 2009 Simon Raffeiner (Hochschule Offenburg) Download
9 pages, pdf, 176 KB) © 2009 Simon Raffeiner (Hochschule Offenburg) Download
Classic Algorithms for Pairwise Testing
Rothmann, Andreas
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
(6 pages, pdf, 289 KB) © 2008 Andreas Rothmann (Hochschule Offenburg) Download









