• DocumentCode
    1967463
  • Title

    Test Case Generation by Simulating Requirements Analysis Model

  • Author

    Shikimi, Ryo ; Ogata, Shinpei ; Matsuura, Saeko

  • Author_Institution
    Div. of Electr. Eng. & Comput. Sci., Shibaura Inst. of Technol., Tokyo, Japan
  • fYear
    2012
  • fDate
    16-20 July 2012
  • Firstpage
    356
  • Lastpage
    357
  • Abstract
    A key to success of high quality software development is to define valid and feasible requirements specification. This paper proposes an efficient test case generation method from the validatable UML-based requirements analysis model to improve feasibility of the requirements specification.
  • Keywords
    Unified Modeling Language; formal specification; UML based requirements analysis model; quality software development; requirements specification; test case generation; Analytical models; Computational modeling; Contracts; Data models; Java; Skeleton; Unified modeling language; Requirements Analysis; Software Testing; Test Driven Development; Unified Modeling Language;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Software and Applications Conference (COMPSAC), 2012 IEEE 36th Annual
  • Conference_Location
    Izmir
  • ISSN
    0730-3157
  • Print_ISBN
    978-1-4673-1990-4
  • Electronic_ISBN
    0730-3157
  • Type

    conf

  • DOI
    10.1109/COMPSAC.2012.53
  • Filename
    6340175