• DocumentCode
    3203806
  • Title

    Test selection from UML Statecharts

  • Author

    Liuying, Li ; Zhichang, Qi

  • Author_Institution
    Dept. of Comput. Sci., Changsha Inst. of Technol., Hunan, China
  • fYear
    1999
  • fDate
    1999
  • Firstpage
    273
  • Lastpage
    279
  • Abstract
    UML is a third-generation state-of-the-art object modeling language that supports object-oriented software requirements and design. Software requirements and design are very important which must be validated and verified before implementation. Testing is one of the best ways to do so. This paper considers the method for testing UML Statecharts. Statechart is an important formalism to model the dynamics of the system. However, so far, the testing problems in Statecharts have been investigated in the context of structural programming. In this paper, the method presented, which is based on the Wp-method, can automatically generate and select test cases from UML Statecharts in the context of object orientation, which will detect errors early on to improve software quality
  • Keywords
    formal specification; object-oriented languages; object-oriented methods; object-oriented programming; program testing; program verification; software quality; UML Statecharts; Wp-method; dynamics modelling; error detection; object orientation; object-oriented software design; object-oriented software requirements; software quality; structural programming; test selection; third-generation state-of-the-art object modeling language; validation; verification; Automatic testing; Computer science; Concurrent computing; Object detection; Object oriented modeling; Programming; Software design; Software quality; Software testing; Unified modeling language;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Technology of Object-Oriented Languages and Systems, 1999. TOOLS 31. Proceedings
  • Conference_Location
    Nanjing
  • Print_ISBN
    0-7695-0393-4
  • Type

    conf

  • DOI
    10.1109/TOOLS.1999.796494
  • Filename
    796494