Search by property

Jump to: navigation, search

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

Search by property

A list of all pages that have property "Full description" with value "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.". Since there have been only a few results, also nearby values are displayed.

Showing below up to 2 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)


    

List of results

    • API Sanity Checker  + (API Sanity Checker is an automatic generatAPI Sanity Checker is an automatic generator of basic unit tests</br>for a C/C++ library. It helps to quickly generate simple</br>("sanity" or "shallow" quality) tests for every function in an</br>API using their signatures, data type definitions and</br>relationships between functions straight from the library header</br>files ("Header-Driven Generation"). Each test case contains a</br>function call with reasonable (in most, but unfortunately not</br>all, cases) input parameters. The quality of generated tests</br>allows one to check absence of critical errors in simple use</br>cases and can be greatly improved by involving of highly reusable</br>specialized types for the library.</br></br>The tool can execute generated tests and detect crashes, aborts,</br>all kinds of emitted signals, non-zero program return code,</br>program hang‐ ing and requirement failures (if specified). The</br>tool can be considered as a tool for out-of-box low-cost sanity</br>checking of library API or as a test development framework for</br>initial generation of templates for advanced tests. Also it</br>supports universal Template2Code format of tests, splint</br>specifications, random test generation mode and other useful</br>features.generation mode and other useful features.)


    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.