Bibliothèque dédiée à la qualité logicielle

Pour garantir la qualité des logiciels, deux procédures complémentaires sont utilisées au cours de leur développement : L'analyse statique de code et les tests dynamiques associés à la mesure de la couverture de code. Cet article montre les avantages et les limites de ces deux méthodes et explique pourquoi les tests statiques et dynamiques sont complémentaires et tous deux nécessaires pour garantir un logiciel de haute qualité. © 2024   Download

Medical software comprises numerous products that improve both diagnostics and therapy. As in other areas, software is becoming increasingly important. At the same time, however, this digitalization also brings with it new risks such as malfunctions and attacks by attackers, which must be minimized by ensuring the best possible software quality. Manufacturers are therefore faced with the challenge of developing their products to a very high quality, in compliance with the law and at low cost.
© 2023   Download

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. © 2022   Download

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. © 2022   Download

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. © 2019   Download

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. © 2018   Download

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é. © 2013   Download

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. © 2009   Download

En Europe, grâce aux logiciels de tests nous pourrions économiser plus de 100 milliards d´euros par an. © 2009   Download

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. © 2009   Download

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. © 2008   Download

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. © 2007   Download