From formal requirements to automated web testing and prototyping

  • de Matos E
  • Sousa T
  • 14


    Mendeley users who have this article in their library.
  • 5


    Citations of this article.


Use cases and user interface prototypes are agile techniques used to specify required functionalities of an object-oriented system. Testing can find most errors of the software and ensure that the requirement specifications are satisfied by the application. We can derive test cases from use cases and run them in user interfaces, but we do it in a mechanical way. In this paper, we propose a new approach for automating the generation of user interface prototypes and test cases for web applications. Starting from a formalization of the requirements based on controlled use cases extended with the system glossary and the user interface specifications, we automatically generate web pages and test cases which are passed as parameters for an automated web testing tool. © Springer-Verlag London Limited 2010.

Author-supplied keywords

  • Automation
  • Requirements engineering
  • Software prototyping
  • Software testing

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document

Get full text


  • Ernesto Cid Brasil de Matos

  • Thiago C. Sousa

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free