• DocumentCode
    2252812
  • Title

    Functional and User Interface Model for Generating Test Cases

  • Author

    Bin, Zhu ; Anbao, Wang

  • Author_Institution
    Sch. of Comput. & Inf., Shanghai Second Polytech. Univ., Shanghai, China
  • fYear
    2012
  • fDate
    May 30 2012-June 1 2012
  • Firstpage
    605
  • Lastpage
    610
  • Abstract
    Use cases models are used to specifying functional requirements whereas task models are employed to modeling UI requirements. Test cases generated from use cases models are focused on the core functionality of the system, while test cases generated from task models are used to user interface testing which concerned with details of user interactions. Therefore, test cases derived from use case models or task models only capture partial system behavior. These test cases are inadequate for testing full system behavior. In this paper we employ use cases models for modeling system functionality and user action notation (UAN) for describing user interfaces. We assumed that the task model and use case model are consistent and they refined each other in some part of model. Use case models and task models are transformed to FSM respectively. We propose a method for formally integrating the model for use case models and task models. The resulting integrated model is then used to generate test cases which capture more complete and detailed user interactions and secondary system interactions.
  • Keywords
    formal specification; program testing; user interfaces; full system behavior testing; functional interface model; functional requirement specification; system functionality modeling; task models; test case generation; use case models; user action notation; user interactions; user interface model; Automata; Computational modeling; Object oriented modeling; Software; Testing; Unified modeling language; User interfaces; FSM; UAN; task model; test case; use case model;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer and Information Science (ICIS), 2012 IEEE/ACIS 11th International Conference on
  • Conference_Location
    Shanghai
  • Print_ISBN
    978-1-4673-1536-4
  • Type

    conf

  • DOI
    10.1109/ICIS.2012.54
  • Filename
    6211160