Dear colleagues,

Linux Verification Center at the Institute for System Programming of RAS and the Linux Foundation have released a free unit test generator for shared C/C++ library API. It helps to quickly generate simple ("sanity" or "shallow"-quality) tests for all functions from the library API using their signatures and data type definitions straight from the library header files. The quality of generated tests allows to check absence of critical errors in simple use cases and can be improved by involving of highly reusable specialized types for the library.

This tool can execute generated tests and detect all kinds of emitted signals, early program exits, program hanging and specified requirement failures. It can be considered as a tool for low-cost sanity checking of library API or as a powerful test development framework. Also it supports universal Template2Code format of tests, random test generation mode and other useful features. This tool is free software: you can redistribute it and/or modify it under the terms of the GNU GPLv2.

We suppose this tool can be very useful for shared library developers and recommend it for including to Cent OS.

For more information, please see: http://ispras.linux-foundation.org/index.php/API_Sanity_Autotest

Andrey Ponomarenko Linux Verification Center at the Institute for System Programming of RAS