AETGSM Web: A Web Based Service for Automatic Efficient Test Generation from Functional Requirements

  • Authors:
  • Siddhartha R. Dalal;Ashish Jain;Gardner Patton;Manish Rathi;Paul Seymour

  • Affiliations:
  • -;-;-;-;-

  • Venue:
  • WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
  • Year:
  • 1998

Quantified Score

Hi-index 0.00

Visualization

Abstract

AETGSMWeb is a web based service developed by Bell-core researchers for enabling model based testing. In model based testing, the functional test requirements of the system are first modeled and then testcases based on this model arecreated or generated. AETGSMWeb employs a web based user interface to model the functional requirements of the System Under Test, and automatically generates testcases for the system using the AETGSMtest case generation technology. A brief review of modeling using AETGSMWeb and the AETGSMtest generation paradigm is explained.