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 car-ried out as a complementary step to system modeling, enabling a precise scal-ability of the test process,
... [Show full abstract] revealing much rationalization potential. Finite-state based notions and tools enable to introduce efficient algorithms to generate and select test cases systematically. The elements of the approach will be illu-minated and validated by realistic examples.