GUI Model Verification via Path Prioritization
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
GUI-based applications face challenges in assessing and modeling their behavior due to hidden interactions that are not directly observable, leading to inaccuracies in finite-state models.
Innovation Solution
A method is introduced to verify the consistency of GUI-based application models by prioritizing paths that follow specific rule-patterns indicative of potential inaccuracies, such as hidden behavior, to improve the efficiency of model verification.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Productivity
If traditional model verification methods are used for GUI-based applications, then the verification process can be performed, but the verification efficiency is low due to hidden interactions that are not directly observable
Solution Approach 1:
The patent applies preliminary action by performing model verification before the model is deployed or finalized. The system proactively identifies potential inaccuracies in the GUI application model by comparing predicted behaviors against actual application behaviors, allowing corrections to be made before the model is used in production environments. This prevents hidden interactions from causing undetected errors later.
Solution Approach 2:
The patent implements feedback by using the results of model verification to improve the model. The system compares the predicted behaviors from the GUI application model with actual observed behaviors, identifies discrepancies, and uses this feedback to refine and correct the model. This closed-loop feedback mechanism continuously improves model accuracy by learning from verification results.
2Reliability
If the model includes all possible paths, then the model completeness is improved, but the verification complexity increases due to the large number of paths to verify
Solution Approach 1:
The patent applies the taking out principle by extracting and prioritizing critical paths from the complete set of possible paths in the GUI application model. Instead of verifying all paths equally, the system identifies and separates the most important paths that contain hidden interactions or potential inaccuracies, verifying these first while potentially reducing or deferring verification of less critical paths. This reduces verification complexity while maintaining model reliability.
3Measurement precision
If traditional verification approaches are used without prioritization, then all paths can be verified, but the time consumption is high due to lack of prioritization
Solution Approach 1:
The patent applies preliminary action by performing path prioritization before the actual verification process. The system analyzes the GUI application model to identify paths that are more likely to contain inaccuracies or hidden interactions, and prepares a prioritized verification queue. This preliminary analysis allows the verification process to focus on critical paths first, reducing overall verification time while maintaining high accuracy by ensuring the most important paths are verified with the same thoroughness.
Data Source
AI summary
A method may include receiving a model of a graphical user interface (GUI) based application that includes a plurality of paths. The method may further include determining one or more paths of the plurality of paths that each include a pattern that satisfies a rule-pattern. The rule-pattern may be based on potential inaccuracies in the model as indicated by the pattern. The method may additionally include verifying whether the model is consistent with the GUI-based application. The verification may be based on a prioritization of a determination of whether the one or more paths are consistent with the GUI-based application. The prioritization of the one or more paths may be based on the one or more paths each including the pattern.