Automatic software test generation
โ
M Camuffo; M Maiocchi; M Morselli
๐
Article
๐
1990
๐
Elsevier Science
๐
English
โ 859 KB
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 rel