Bibliothèque dédiée à la qualité logicielle
Sur cette page vous trouverez des publications portant sur les thèmes de la qualité logicielle mais également du test logiciel. Verifysoft se dégage de toute responsabilité quant à la justesse et l´intégrité des informations donnés malgré un examen rigoureux. Tous les droits des publications restent aux auteurs respectifs, cette page web se présente uniquement comme une plate forme.Vous avez un travail d'étude portant sur le domaine de la qualité logicielle ou du test logiciel et vous voudriez le partager avec un large public sur notre site internet.
Envoyez nous votre étude en pdf, lors de la publication vous recevrez de notre part dans les plus brefs délais, un ouvrage spécialisé sur le sujet du test logiciel. Merci de nous contacter ici
How Imagix 4D supports the understanding of software basedon source code
Baltzer, Jan-David
This work will show how Imagix 4D improves the processof exploring and understanding unfamiliar source code. An introductioninto why and where such a process is required will be followed by
adescription of the methods Imagix 4D introduces to support such sourcecode analysis.
(4 pages, pdf, 213 KB) ©2019 Jan-David Baltzer (Verifysoft Technology GmbH) Download
(4 pages, pdf, 213 KB) ©2019 Jan-David Baltzer (Verifysoft Technology GmbH) Download
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 KO) © 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 KO) © 2009 Daniel Basáez (Hochschule Offenburg) Download
Complexité et qualité
Cullmann, Xavier-N./Lambertz, Klaus
La complexité de code est un facteur ayant un impact direct sur la durée de vie et l'exploitation d'un logiciel, notamment sur son taux de defauts, sa testabilité et sa maintenabilité. Par conséquent, la compmplexité a une influence directe sur la qualité d'un logiciel et sur son coût. Cet article explique: Comment mesurer la complexité dun logiciel, l'impact de la complexité sur la qualité, les métriques traditionnelles.
(8 pages, pdf, 738 KO) © 2007 Klaus Lambertz / MSCoder Download
(8 pages, pdf, 738 KO) © 2007 Klaus Lambertz / MSCoder Download
Testwell CTC++: analyse de couverture de code pour systèmes embarqués critiques
Fischer, Daniel
On utilise souvent du logiciel pour systèmes embarqués dans les systèmes critiques. Dans ce domaine des malfonctions peuvent provoquer des accidents ou des dommages de grande ampleur, voire même la perte de vie humaine. En conséquence, les normes de sécurité telles que la DO178-C (aviation), l´ISO 26262 (automobile) ou EN 50128 (ferroviaire) exigent une preuve rigoureuse de couverture de code. Selon la criticité, un niveau approprié de couverture de code doit être appliqué.
(2 pages, pdf, 3.2 MO) © 2013 Prof. Dr. Daniel Fischer (Université de sciences appliquées d´Offenbourg, Allemagne) Download
(2 pages, pdf, 3.2 MO) © 2013 Prof. Dr. Daniel Fischer (Université de sciences appliquées d´Offenbourg, Allemagne) Download
Les erreurs de logiciels, le plus cher feu d´artifice de tous les temps
Lambertz, Klaus
En Europe, grâce aux logiciels de tests nous pourrions économiser plus de 100 milliards d´euros par an
(4 pages, pdf, 383 KO) © 2009 Klaus Lambertz (Verifysoft Technology GmbH) Download
(4 pages, pdf, 383 KO) © 2009 Klaus Lambertz (Verifysoft Technology GmbH) Download
Code coverage sur les systèmes embarqués: Couverture de test sur petites cibles
Lambertz, Klaus
Même sur les systèmes embarqués, les logiciels doivent être testés suffisamment avant que le produit puisse être lancé sur le marché. Cependant, une telle surveillance dans les progrès des tests, exigée par de nombreuses normes de sécurité, n’est pas tout à fait anodin à ce stade. Souvent, le volume des ressources des cibles embarqués est limité, la mémoire et le processeur peuvent facilement atteindre leurs limites. Mais avec un peu de créativité, il est cependant possible de mesurer et prouver la couverture de test dans le domaine des systèmes embarqués.
(6 pages, pdf) © 2018 Verifysoft Technology GmbH Download
(6 pages, pdf) © 2018 Verifysoft Technology GmbH Download
Nine Tips for the right Code Coverage Measurement
Lambertz, Klaus
Measuring code coverage is increasingly important for embedded systems but requires some experience.
This is because there are a few hurdles to overcome, especially with small targets.
However, with the right approaches and suitable tools, measuring test coverage is possible without excessive effort.
Nine practical tips help you get started.
(6 pages, pdf, 360 KB) © 2022 Verifysoft Technology GmbH Download
(6 pages, pdf, 360 KB) © 2022 Verifysoft Technology GmbH Download
Premiers secours pour vieux code
Lambertz, Klaus
En plus de la norme internationale CEI/EN 62304 (Logiciels de dispositifs médicaux – Processus du cycle de vie du logiciel) traitant des activités nécessaires
pour assurer la fiabilité et la sécurité des logiciels de dispositifs médicaux ; un nouveau règlement sur le « medical device software (MDR) »,
valable depuis mai 2021, est entré en vigueur dans l'Union européenne.
Ce n'est pas la première fois que l'assurance qualité des logiciels de dispositifs médicaux est mise en avant.
La norme CEI/EN 62304, le MDR et d'autres normes stipulent que le fabricant doit garantir l'assurance qualité tout au long du cycle de vie d'un produit.
Dans le cas des systèmes actuels, cela ne pose généralement guère de problème.
La situation est tout autre lorsque de nouvelles fonctions doivent être ajoutées à des appareils plus anciens :
souvent la documentation est insuffisant ou même inexistante et plus personne ne connaît le code.
Bien que les normes IEC 62304 et MDR ne concernent que le secteur médical, le problème est néanmoins connu dans d'autres industries également.
(5 pages, pdf, 469 KB) © 2022 Verifysoft Technology GmbH Download
Bien que les normes IEC 62304 et MDR ne concernent que le secteur médical, le problème est néanmoins connu dans d'autres industries également.
(5 pages, pdf, 469 KB) © 2022 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 KO) © 2009 Simon Raffeiner (Hochschule Offenburg) Download
9 pages, pdf, 176 KO) © 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 KO) © 2008 Andreas Rothmann (Hochschule Offenburg) Download
(6 pages, pdf, 289 KO) © 2008 Andreas Rothmann (Hochschule Offenburg) Download
Rapport de projet étudiant sur Testwell CTC++: Projet Tests logiciel LO22
Adrien Soler, Théo Lauverjat, Lucas Lemaire en BAC+3, fin de première année de cycle ingénieur informatique à l'Université de Technologie de Compiègne (UTC)
"Dans le cadre de l´UV LO22, nous vous sensibilisions à l´importance d´un code proprement écrit, limitant les bugs (fuites, mémoires…). Pour pouvoir analyser un programme, il existe certaines méthodes, comme l´utilisation de logiciel de tests.
Ces logiciels sont nombreux sur le marché actuellement.
Le choix d´utiliser un tel plutôt qu´un autre dépendra de critères :le langage de programmation,
la prise en charge par l´IDE du testeur, l´OS sur lequel est conçu le logiciel de test et son ergonomie.
Dans ce projet il vous est demandé de réaliser une analyse critique d´un de ces logiciels.
Pour cela, vous devrez étudier les fonctionnalités de ce dernier. ..."
(24 pages, pdf, 407 KO) ©2020 Adrien Soler, Théo Lauverjat, Lucas Lemaire en BAC+3, fin de première année de cycle ingénieur informatique à l'Université de Technologie de Compiègne (UTC) Download
(24 pages, pdf, 407 KO) ©2020 Adrien Soler, Théo Lauverjat, Lucas Lemaire en BAC+3, fin de première année de cycle ingénieur informatique à l'Université de Technologie de Compiègne (UTC) Download