SYSTEM AND METHODS FOR GENERATING AND MANAGING A VIRTUAL DEVICE

摘要

Embodiments of the present disclosure may be configured to permit development and validation of a device driver or a device application program by using improved virtual devices. Such improved virtual devices may facilitate driver development without use of physical devices or hardware prototypes. In various embodiments, advanced validation of a device-driver combination may be permitted that would be difficult to achieve even with a physical device. Certain embodiments also may detect inconsistencies between virtual and physical devices, which may be used to improve drivers and device application programs and increase compatibility of such drivers and device application programs with physical devices.

主权项

1. A computer-implemented method for developing a device driver or a device application program, comprising:
constructing a virtual device; executing, by a symbolic execution engine, the virtual device symbolically, wherein the symbolic execution engine includes a virtual machine interface configured to communicate with a virtual device stub; providing a virtual machine configured to simulate operation of certain hardware or operating system with minimal access to the certain hardware or operating system of a host computer system, wherein the virtual machine includes the virtual device stub configured to communicate with the virtual machine interface; developing a device driver configured to facilitate communication between the physical device or the virtual device and an environmental infrastructure, such that the virtual device or the physical device is able to process information to produce a perceivable output; and verifying a device driver with a physical device with test cases generated by the virtual device.