An Automated Planning Approach to User Interface Model Checking

User interface is an important component of business application. We present a new model to design user interface. The model is creative in that it is elicited from business requirement. Then we want to check the user interface model whether it is valid to user requirement of interface. As the state space of user interface model testing is large, the large number of possible states makes the user interface model testing a challenge work. We introduce an automated planning approach to simplify the work. We present the planning domain of the user interface model checking. Given an initial interface and a goal interface in the model, a plan is a series of interface transition to the goal interface. Some constraints of interface requirement have been added to the plan domain, each step of the plan must satisfy the constraints. If the goal interface is reached, the user interface mode is valid. If not, the model has some faults according to the requirement. The model is automatically checked during the plan. The result of model checking is achieved by the result of the plan problem.