Automatic software test generation

✍ Scribed by M Camuffo; M Maiocchi; M Morselli

• Publisher: Elsevier Science
• Year: 1990
• Tongue: English
• Weight: 859 KB
• Volume: 32
• Category: Article
• ISSN: 0950-5849
• DOI: 10.1016/0950-5849(90)90003-a

✦ Synopsis

The paper deals with the automation ~?[quality control activities in soltware deveh~pment. It proposes the description ~f the functional speeg[ications oJ a program ( ~Tntax and semantics) using a /ormalism based on two-h, vel grammars. Some tools, which can generate automatically both tests and related expected results and can provide a nwasure ~!/ the functional coverage', are presented. Lhnitations are examined and discussed. Real applications are shown, evaluating the economic advantages in industrial experiences.