Displaying 1 result from an estimated 1 matches for "framewort".
Did you mean:
framework
2013 May 03
1
[LLVMdev] [klee-dev] GSoC Proposal: automatic function level testing
...n for any imported function
from tested code without its modification.
First: parsing test code would collect input/output variables and global
data.
Second: variating by KLEE of input and global data used by function will
provide basic testcase.
Third: generated testcases could be exported to test framewort (e.g. Google
Test Framework).
This technic will be usefull for regress testing libraries stability and
for check design by contract implementation.
I'm doing it as part of my MPhil work at MSU.
Looking forward for any advice.
--
Best Regards,
Anton Vasilyev
-------------- next part -------...