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
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;
Conference_Titel :
Industrial Strength Formal Specification Techniques, 1998. Proceedings. 2nd IEEE Workshop on
Conference_Location :
Boca Raton, FL
Print_ISBN :
0-7695-0081-1
DOI :
10.1109/WIFT.1998.766301
