[klee-dev] Video games and embedded systems???

[David Blubaugh]

  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.nowack at 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 <davidblubaugh2000 at 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 at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

  
-------------- next part --------------
HTML attachment scrubbed and removed