Package: api-sanity-checker (1.98.7-2.2)

generatore automatico di test di unità basilari per l'API di librerie C/C++

API Sanity Checker è un generatore automatico di test di unità basilari per l'API di una libreria C/C++. Aiuta a generare velocemente semplici test (di "integrità" o "bassa" qualità) per tutte le funzioni in un'API usando le loro firme, le definizioni dei tipi di dato e le relazioni tra le funzioni direttamente dai file header della libreria ("Header-Driven Generation"). Ciascun caso di test contiene una chiamata a funzione con parametri di ingresso ragionevoli (nella maggior parte dei casi, ma sfortunatamente non in tutti). La qualità dei test generati permette di controllare l'assenza di errori critici in semplici casi d'uso e può essere notevolmente migliorata con l'uso di tipi specializzati altamente riutilizzabili per la libreria.

Lo strumento può eseguire i test generati e rilevare crash, abort, tutti i tipi di segnali emessi, codici di uscita dal programma diversi da zero, programmi che cessano di rispondere e fallimenti dei requisiti (se specificati). Lo strumento può essere considerato come uno strumento per controlli di integrità a basso costo già pronti dell'API della libreria o come infrastruttura di sviluppo di test per la generazione iniziale di modelli per test avanzati. Gestisce anche il formato di test universale Template2Code, specifiche splint, modalità di generazione di test casuali e altre utili funzionalità.

This page is also available in the following languages (How to set the default document language):