Articles liés à Automated Database Applications Testing: Specification...

Automated Database Applications Testing: Specification Representation For Automated Reasoning - Couverture souple

Mikhail, Rana Farid; Berndt, Donald J; Kandel, Abraham

 
9789812837288: Automated Database Applications Testing: Specification Representation For Automated Reasoning

Synopsis

This book introduces SpecDb, an intelligent database created to represent and host software specifications in a machine-readable format, based on the principles of artificial intelligence and unit testing database operations. SpecDb is demonstrated via two automated intelligent tools. The first automatically generates database constraints from a rule-base in SpecDb. The second is a reverse engineering tool that logs the actual execution of the program from the code.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de la quatrième de couverture

This book introduces SpecDB, an intelligent database created to represent and host software specifications in a machine-readable format, based on the principles of artificial intelligence and unit testing database operations. SpecDB is demonstrated via two automated intelligent tools. The first automatically generates database constraints from a rule-base in SpecDB. The second is a reverse engineering tool that logs the actual execution of the program from the code.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.