Martin,
Ok thank you very much for your response.
I greatly appreciate it.
I was wondering is there any verified and validated methodology to divide a
large application such as a modern video game into more testable sub systems???
Then once you combine those separate components back together that there are no
errors in the interface or interaction of those separately tested sub
programs???
Thanks
David Blubaugh
On Thursday, October 6, 2022, 06:42:45 AM EDT, Nowack, Martin
<m.now...@imperial.ac.uk> wrote:
Hi David,
Have a look at https://klee.github.io/publications for a multitude of use cases
that KLEE has been used successfully:
That said, the larger your application is the more challenging it becomes to
test it with any method.
In those cases it becomes useful to test parts of the application independently
instead of focusing on the full application at once.
Best,
Martin
> On 5. Oct 2022, at 22:49, David Blubaugh <davidblubaugh2...@yahoo.com> wrote:
>
> KLEE dev question. I was
> wondering if the KLEE environment has
> ever been used for a large application like a modern video game or
> for
> development or testing of an embedded system such as a
> microcontroller or
> FPGA? Is this feasible????
>
>
> Thanks
>
>
> David
>
>
>
>
> _______________________________________________
> klee-dev mailing list
> klee-dev@imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
