An Automated Planning Approach to User Interface Model Checking

@article{Liang2010AnAP,
  title={An Automated Planning Approach to User Interface Model Checking},
  author={Weisheng Liang and Lei Li},
  journal={2010 International Conference on E-Product E-Service and E-Entertainment},
  year={2010},
  pages={1-4}
}
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… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 11 REFERENCES

Generating test cases for GUI responsibilities using complete interaction sequences

  • Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000
  • 2000
VIEW 2 EXCERPTS

Pollack and Mary Lou Soffa

Atif M. Memon, E. Martha
  • Plan Generation for GUI Testing [ C ] . The Fifth International Conference on Artificial Intelligence Planning and Scheduling
  • 2000

Pollack and Mary Lou Soffa . Using a Goaldriven Approach to Generate Test Cases for GUIs [ C ]

Atif M. Memon, E. Martha
  • Proceedings of the 21 st International Conference on Software Engineering
  • 1999

Using a goal-driven approach to generate test cases for GUIs

  • Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)
  • 1999
VIEW 1 EXCERPT