Patent ID: 8666723

Claim:
A system for generating a virtual device to develop a device driver, comprising: a host computer system including at least a processor, main memory, and a communication unit; an infrastructure module including an environmental infrastructure in which another program can operate and a virtual device stub configured to permit communication between the infrastructure module and a symbolic execution engine through use of a virtual machine interface; a virtual device module including a virtual device configured to function as a real device without access to the real device, the symbolic execution engine configured to execute symbolically the virtual device, and the virtual machine interface configured to permit communication between the infrastructure module and the symbolic execution engine through use of the virtual device stub; a device driver, developed based on communication between the infrastructure module and the symbolic execution engine, configured to facilitate communication between the virtual device or the real device and the environmental infrastructure such that the virtual device or the real device is able to process information to produce a perceivable output.