[arch-general] unit test generator for shared C/C++ library API

Brendan Long korin43 at gmail.com
Tue Feb 16 17:12:26 EST 2010


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
>>
>>
>>     
>   

-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: PKGBUILD
URL: <http://mailman.archlinux.org/pipermail/arch-general/attachments/20100216/f7a3bafa/attachment.ksh>


More information about the arch-general mailing list