Virtual Processor Code Verification Without Software
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Existing methods for verifying codes in information processing devices require additional software and can be prone to software operation errors, necessitating a method to verify codes without altering the device's structure or installing separate software.
Innovation Solution
An electronic apparatus and method that acquires a request information set, transmits it to a reference server and a development server, receives responses from both, and provides comparison information to determine if the code is erroneous, thereby preventing errors when providing services, without requiring changes to the processor or memory structure or installing separate software.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If verification software is added to verify code before execution, then code verification capability is improved, but device complexity increases and software operation errors may occur
Solution Approach 1:
The patent creates a virtual copy of the processor (virtual machine) that emulates the target processor's instruction set architecture. This virtual processor executes test codes in a controlled environment without requiring physical hardware modifications or additional verification software layers, thereby maintaining device simplicity while achieving code verification through behavioral observation of the virtual processor's execution results
Solution Approach 2:
The patent replaces the mechanical/software-based verification approach with a virtualized execution environment. Instead of using verification software that analyzes code statically or dynamically, the system substitutes this with a virtual processor that actually executes the code and observes its behavior, replacing complex verification software with a simpler virtualization mechanism
2Reliability
If separate verification software is installed in the information processing device, then code verification is enabled, but ease of operation deteriorates due to installation requirements
Solution Approach 1:
The virtual processor is designed with universal functionality that can execute multiple different test codes and verify various aspects of code correctness without requiring separate verification software installations. The single virtualization layer serves multiple verification purposes simultaneously, eliminating the need for additional software components and simplifying operation
3Reliability
If code is verified using traditional software methods, then verification is performed, but software operation errors may occur and separate software must be added
Solution Approach 1:
The patent creates a virtual copy of the processor that emulates the target processor's instruction set architecture. This virtual processor executes test codes in a controlled environment without requiring physical hardware modifications or additional verification software layers, thereby maintaining device simplicity while achieving code verification through behavioral observation of the virtual processor's execution results
Solution Approach 2:
The virtual processor performs self-verification by executing test codes and automatically observing its own execution behavior. The system monitors the virtual processor's state changes, instruction execution outcomes, and operational characteristics to determine code correctness, eliminating the need for external verification software that could introduce operation errors
Data Source
AI summary
An information providing method is provided, the method including acquiring a request information set by an electronic apparatus, transmitting a request information sub-set corresponding to at least a portion of the request information set to a reference server, transmitting the request information sub-set to a development server, receiving a first response set including a first response to the request information sub-set from the reference server, receiving a second response set including a second response to the request information sub-set from the development server, and providing comparison information of the first response set and the second response set.