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

Reply via email to