Route Switching Verification Optimization
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Conventional methods for verifying behavior in route switching systems are complex and inefficient, failing to meet the increasing demands for safety and reliability in applications like electronic commerce and teleconsultation due to their monotonous nature and inability to combine verification methods effectively.
Innovation Solution
A collaboration method and device that evaluate multiple verification indicators, generate comprehensive efficiency and cost attribute value sets, assign weights based on importance, and solve state transition equations to determine the optimal combination of verification methods, enhancing accuracy and reducing verification time and cost.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If conventional methods verify all characteristics and functions of the route switching system, then the reliability of verification is improved, but the complexity of the verifying process increases
Solution Approach 1:
The patent segments the verification process by dividing evaluating indicators into multiple dimensions (efficiency indicators and cost indicators). Each dimension is further divided into specific indicators that can be independently evaluated. This segmentation allows the complex verification process to be broken down into manageable parts while maintaining comprehensive coverage of system characteristics and functions.
Solution Approach 2:
The patent transforms the verification process from a qualitative assessment to a quantitative evaluation by introducing specific evaluating indicators with measurable parameters. Efficiency indicators (such as verification coverage, defect detection rate) and cost indicators (such as time consumption, resource usage) are defined with specific measurement parameters, enabling objective comparison and selection of verification methods.
2Reliability
If multiple verification methods are used to verify behavior respectively, then the comprehensiveness of verification is improved, but the complexity of the verifying process increases
Solution Approach 1:
The patent merges multiple verification methods into a unified collaborative verification framework. By defining a common set of evaluating indicators that apply across different verification methods (static analysis, dynamic testing, formal verification), the patent enables systematic comparison and combination of methods. The collaboration mechanism integrates results from multiple methods while managing complexity through standardized evaluation criteria.
Solution Approach 2:
The patent creates a universal evaluation framework that can assess multiple verification methods using the same set of indicators. This multi-functional approach allows the same evaluation system to work with different verification methods (code review, automated testing, formal methods) without requiring separate evaluation processes for each method, thereby improving comprehensiveness while controlling complexity.
3Ease of operation
If conventional monotonous verification methods are used, then the simplicity of the verifying process is maintained, but the efficiency of verification deteriorates
Solution Approach 1:
The patent introduces dynamics into the verification process by enabling flexible selection and combination of verification methods based on specific requirements. The collaborative verification framework allows the verification process to adapt dynamically - choosing appropriate methods and indicators based on the particular system being verified, the available resources, and the desired outcome. This dynamic approach improves efficiency while maintaining ease of operation through standardized procedures.
Solution Approach 2:
The patent implements feedback mechanisms through the evaluation of efficiency and cost indicators. Results from verification activities are measured against defined indicators, and this feedback informs subsequent verification decisions. The feedback loop enables continuous improvement of verification efficiency while maintaining simplicity through data-driven adjustments rather than complex procedural changes.
Data Source
AI summary
A collaboration method and device for verifying a behavior in a route switching system are provided. The method includes: evaluating a plurality of evaluating indicators in a plurality of verification methods to obtain valid evaluating indicators; generating a comprehensive efficiency attribute value set and a comprehensive cost attribute value set according to the valid evaluating indicators; generating weights of the valid evaluating indicators according to importance of the valid evaluating indicators; calculating a comprehensive efficiency value corresponding to each verification method and a comprehensive cost value corresponding to each verification method according to the weights of the valid evaluating indicators and values of the valid evaluating indicators in each verification method; establishing a state transition equation according to the comprehensive efficiency value corresponding to each verification method and the comprehensive cost value corresponding to each verification method, and solving the state transition equation to obtain an optimal solution.