A Holistic View for Finite-State Modeling and Testing of User Interactions
نویسنده
چکیده
With the growing complexity of computer-based systems, their user interfaces, which are mostly realized graphically, also become more complex. Accordingly, the test and analysis process becomes more tedious and costly as well. The present paper introduces a holistic view of fault modeling that can be carried out as a complementary step to system modeling, thus specifying both the desirable and undesirable behavior of the system under test. This enables a precise scalability of the test process, revealing much rationalization potential. Finite-state based notions and tools enable the introduction of efficient algorithms to generate and select test cases automatically. The elements of the approach will be illuminated and validated by realistic examples. ACM CR
منابع مشابه
A Holistic View for Modeling and Testing of User Interactions Using Finite-State Techniques
With the growing complexity of the computer-based system, also their user interfaces, mostly materialized graphically, become more complex, accordingly making the test and analysis process more and more tedious and costly. The paper introduces a holistic view of fault modeling that can be carried out as a complementary step to system modeling, enabling a precise scalability of the test process,...
متن کاملFinite-State Testing of Graphical User Interfaces
The most Human-Computer-Interfaces will be materialized by Graphical User Interfaces (GUI). With the growing complexity of the computer-based system, also their GUIs become more complex, accordingly making the test process more and more costly. The paper introduces a holistic view of fault modeling that can be carried out as a complementary step to system modeling, enabling a precise scalabilit...
متن کاملFinite-State Testing and Analysis of Graphical User Interfaces
Based on finite-state automata (FSA) and equivalent regular expressions, the paper introduces a holistic view of fault modeling that can be carried out as a complementary step to system modeling, revealing much rationalization potential. Appropriate formal notions will be used to introduce efficient algorithms to systematically generate and select test cases. The completeness of the test can be...
متن کاملMemo workbench for semi-automated usability testing
In this paper we present a new approach to the automation of usability evaluation for interactive systems. Design ideas or complete systems are modeled as a conditional state machine. Then, user interactions with the system are simulated on the basis of tasks, by first searching for possible solution paths and then generating deviations from these paths under consideration of user groups and sy...
متن کاملA Holistic Approach to Testing of Interactive Systems using Statecharts
In addition to the growing complexity of computer-based systems, their user interfaces, mostly realized graphically, are becoming more complex. Consequently, the analysis and testing of such systems demands a growing amount of effort. Necessary is a holistic view that takes undesirable malfunctions of the system into account as a complementary step to the modeling of the desirable functions of ...
متن کامل