Paquet : api-sanity-checker (1.98.7-2.1)

générateur automatique de tests unitaires basiques pour une API de bibliothèque C/C++

API Sanity Checker est un générateur automatique de tests unitaires basiques pour les bibliothèques C/C++. Il permet de générer rapidement des tests simples (plus ou moins complets) pour chaque fonction dans une API en utilisant leurs signatures, types de données et relations entre les fonctions, directement depuis les fichiers d'en-tête de la bibliothèque. Chaque partie du test contient une fonction appelée avec un nombre raisonnable (le plus souvent mais malheureusement pas toujours) de paramètres. La qualité des tests générés permet de vérifier l'absence d'erreurs critiques dans des cas d'utilisation simples et peut être grandement améliorée en utilisant des modèles spécialisés réutilisables.

Le programme peut exécuter des tests générés et détecter des plantages, arrêts, et toute sorte de signaux émis, codes de sortie non nuls, blocage du programme et absence d'argument (si indiqué). Cet outil peut être considéré comme un outil prêt à l'emploi permettant à moindre coût de vérifier le bon fonctionnement de l'API d'une bibliothèque ou comme moyen de développer une série de tests initiaux afin de réaliser des tests plus poussés. Le programme prend également en charge le format universel Template2Code pour les tests, les spécifications Splint (Secure Programming Lint), le mode de génération aléatoire des tests et d'autres fonctionnalités utiles.

Cette page est uniquement disponible dans les langues suivantes (Comment configurer la langue par défaut du document) :