ENGLISH

Automated Database Applications Testing: Specification Representation for Automated Reasoning

By Abraham Kandel , Rana Rarid Mikhail , Donald Berndt

Book information

Publisher
World Scientific Publishing Company
Year
2010
ISBN
9812837280, 9789812837288
Language
english
Format
PDF
Filesize
2 MB (2346289 bytes)
Series
Series in Machine Perception and Artifical Intelligence
Pages
210\210
Time added
2011-01-23 12:00:00

Description

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.

Similar books