API Sanity Checker

From Free Software Directory
 
Jump to: navigation, search

[edit]

Api sanity checker

https://github.com/lvc/api-sanity-checker
automatic generator of basic unit tests for a C/C++ library API.

API Sanity Checker is an automatic generator of basic unit tests for a C/C++ library. It helps to quickly generate simple ("sanity" or "shallow" quality) tests for every function in an API using their signatures, data type definitions and relationships between functions straight from the library header files ("Header-Driven Generation"). Each test case contains a function call with reasonable (in most, but unfortunately not all, cases) input parameters. The quality of generated tests allows one to check absence of critical errors in simple use cases and can be greatly improved by involving of highly reusable specialized types for the library.

The tool can execute generated tests and detect crashes, aborts, all kinds of emitted signals, non-zero program return code, program hang‐ ing and requirement failures (if specified). The tool can be considered as a tool for out-of-box low-cost sanity checking of library API or as a test development framework for initial generation of templates for advanced tests. Also it supports universal Template2Code format of tests, splint specifications, random test generation mode and other useful features.





Licensing

License

Verified by

Verified on

Notes

Verified by

Debian: Mathieu Malaterre <malat@debian.org>

Verified on

13 October 2013

Notes

License: gpl-2




Leaders and contributors

Resources and communication

AudienceResource typeURI
Debian (Ref) (R)https://tracker.debian.org/pkg/api-sanity-checker


Software prerequisites

This entry (in part or in whole) was last reviewed on 7 March 2018.



Entry




Property "Submitted by" (as page type) with input value "{{{Submitted by}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.







"Debian (Ref) (R)" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.






Date 2015-07-17
Source Debian
Source link http://packages.debian.org/sid/api-sanity-checker

[[Category:]]



Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.

The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.