Hi Didier, I appreciate the offer and would like to learn more. Do you have links to any documentation?
My focus is primarily on getting unit tests in place, and getting everyone to make a regular habit of writing them. It sounds like the techniques you're talking about would be at some higher level than what we're focusing on for now. If you'd like to participate in the testing effort and learn about the OpenSSL code base, you're certainly welcome to; perhaps over time we can then see how your tools could fit into the OpenSSL environment. Thanks, Mike On Sat, Jun 7, 2014 at 2:06 PM, <dcrue...@qualitesys.com> wrote: > Hello Mike > > I work on / provide custom tools, based on source code analysis, that can > help in > > - generating autotest test suites according to each function signature : > random / full combinatory of argument values : to check the function > robustness > wide loops : to check memory consumption > > - generating enhanced original source code : free/malloc enhance, array > bound check > > - generate some other source code, as needed > > I am quite new in C, not expert at all. > > If some good practice in unit tests in C is available, feedback is welcome ! > > If some special source code generation can make sense, the same ! > > PS : these techniques have been used on Java, quite valuable. > For the openssl group I can provide support on these tools > > Thanks > > Didier CRUETTE > > > > > Le 06.06.2014 19:56, Mike Bland a écrit : >> >> I've created the openssl-testing mailing list (via Google Groups) to >> discuss the OpenSSL unit/automated testing effort, to avoid clogging >> openssl-dev: >> >> https://groups.google.com/d/forum/openssl-testing >> >> Membership is open to whoever wishes to join, even if only to lurk. >> Ideally all testing discussions will eventually move to openssl-dev >> once we have processes, tools, conventions, etc. in place. I've >> started documenting the effort here: >> >> http://wiki.openssl.org/index.php/Unit_Testing >> http://wiki.openssl.org/index.php/How_To_Write_Unit_Tests_For_OpenSSL >> >> Despite the outstanding issues (e.g. working with internal APIs and >> private symbols), using my GitHub fork, we can begin adding tests >> right away: >> >> https://github.com/mbland/openssl >> >> Once we have resolution on some of these issues, my fork can be >> updated accordingly, and we can eventually commit the results to the >> master OpenSSL repository. >> >> Thanks to everyone whose interest and support is helping to make this >> happen, >> >> Mike >> ______________________________________________________________________ >> OpenSSL Project http://www.openssl.org >> Development Mailing List openssl-dev@openssl.org >> Automated List Manager majord...@openssl.org > > ______________________________________________________________________ > OpenSSL Project http://www.openssl.org > Development Mailing List openssl-dev@openssl.org > Automated List Manager majord...@openssl.org ______________________________________________________________________ OpenSSL Project http://www.openssl.org Development Mailing List openssl-dev@openssl.org Automated List Manager majord...@openssl.org
