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

[ Source: api-sanity-checker  ]

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à.

Other Packages Related to api-sanity-checker

• dep: abi-compliance-checker (>= 1.99)

  strumento per confrontare la compatibilità ABI di versioni di librerie condivise C/C++

• dep: perl

  "Practical Extraction and Report Language" di Larry Wall

• sug: doc-base

  programmi di utilità per gestire la documentazione in linea

Download api-sanity-checker

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	104.4 kB	660.0 kB	[list of files]