[CentOS-devel] unit test generator for shared C/C++ library API

Tue Feb 16 15:42:57 UTC 2010
Andrey Ponomarenko <susanin at ispras.ru>

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