[arch-general] unit test generator for shared C/C++ library API
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 Arch Linux. 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
d.i.y: http://wiki.archlinux.org/index.php/Creating_Packages On 02/16/2010 11:03 AM, Andrey Ponomarenko wrote:
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 Arch Linux.
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
I looked at the download to see how hard this would be, and all it is is the license (GPL) and a perl script. Does the package just need to copy the perl script to /usr/bin? If so, I've attached a PKGBUILD and I can upload it to the AUR if it's correct. On 02/16/2010 10:21 AM, kludge wrote:
d.i.y: http://wiki.archlinux.org/index.php/Creating_Packages
On 02/16/2010 11:03 AM, Andrey Ponomarenko wrote:
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 Arch Linux.
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
Thanks, PKGBUILD is correct, except for the last line in the "install" section. I suppose script should be installed without ".pl" suffix: install $srcdir/$pkgname-$pkgver/api-sanity-autotest.pl $pkgdir/usr/bin/api-sanity-autotest Brendan Long wrote:
I looked at the download to see how hard this would be, and all it is is the license (GPL) and a perl script. Does the package just need to copy the perl script to /usr/bin? If so, I've attached a PKGBUILD and I can upload it to the AUR if it's correct.
On 02/16/2010 10:21 AM, kludge wrote:
d.i.y: http://wiki.archlinux.org/index.php/Creating_Packages
On 02/16/2010 11:03 AM, Andrey Ponomarenko wrote:
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 Arch Linux.
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
participants (3)
-
Andrey Ponomarenko
-
Brendan Long
-
kludge