Gentoo Archives: gentoo-qa

From: Andrey Ponomarenko <susanin@××××××.ru>
To: gentoo-qa@l.g.o
Subject: [gentoo-qa] unit test generator for shared C/C++ library API
Date: Tue, 16 Feb 2010 18:04:55
Message-Id: 4B7AD30B.8040108@ispras.ru
1 Dear colleagues,
2
3 Linux Verification Center at the Institute for System Programming of RAS
4 and the Linux Foundation have released a free unit test generator for
5 shared C/C++ library API. It helps to quickly generate simple ("sanity"
6 or "shallow"-quality) tests for all functions from the library API using
7 their signatures and data type definitions straight from the library
8 header files. The quality of generated tests allows to check absence of
9 critical errors in simple use cases and can be improved by involving of
10 highly reusable specialized types for the library.
11
12 This tool can execute generated tests and detect all kinds of emitted signals,
13 early program exits, program hanging and specified requirement failures.
14 It can be considered as a tool for low-cost sanity checking of library API
15 or as a powerful test development framework. Also it supports universal
16 Template2Code format of tests, random test generation mode and other useful
17 features. This tool is free software: you can redistribute it and/or modify
18 it under the terms of the GNU GPLv2.
19
20 We suppose this tool can be very useful for shared library developers
21 and recommend it for including to Gentoo.
22
23 For more information, please see:
24 http://ispras.linux-foundation.org/index.php/API_Sanity_Autotest
25
26 Andrey Ponomarenko
27 Linux Verification Center at the Institute for System Programming of RAS