• DocumentCode
    2822742
  • Title

    AETGSM Web: a Web based service for automatic efficient test generation from functional requirements

  • Author

    Dalal, Siddhartha R. ; Jain, Ashish ; Patton, Gardner ; Rathi, Manish ; Seymour, Paul

  • Author_Institution
    Bellcore, Morristown, NJ, USA
  • fYear
    1998
  • fDate
    1998
  • Firstpage
    84
  • Lastpage
    85
  • Abstract
    AETGSM Web is a Web based service developed by Bellcore researchers for enabling model based testing. In model based testing, the functional test requirements of the system are first modeled and then test cases based on this model are created or generated. AETGSM Web employs a Web based user interface to model the functional requirements of the system under test, and automatically generates test cases for the system using the AETGSM test case generation technology. A brief review of modeling using AETGSM Web and the AETGSM test generation paradigm is explained
  • Keywords
    formal specification; information resources; program testing; AETG Web; AETGSM Web; Bellcore; Web based service; Web based user interface; automatic efficient test generation; functional requirements; model based testing; system under test; Automatic testing; Design for experiments; Samarium; Software systems; Software testing; System testing; Time to market; Trademarks; User interfaces; Web services;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Industrial Strength Formal Specification Techniques, 1998. Proceedings. 2nd IEEE Workshop on
  • Conference_Location
    Boca Raton, FL
  • Print_ISBN
    0-7695-0081-1
  • Type

    conf

  • DOI
    10.1109/WIFT.1998.766301
  • Filename
    766301