Automated Database Applications Testing: Specification Representation For Automated Reasoning (Series In Machine Perception And Artificial Intelligence, #76)

by Rana Farid Mikhail, Donald J Berndt, and Abraham Kandel

0 ratings • 0 reviews • 0 shelved
Book cover for Automated Database Applications Testing: Specification Representation For Automated Reasoning
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

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.
  • ISBN13 9789812837288
  • Publish Date 20 January 2010
  • Publish Status Active
  • Publish Country SG
  • Imprint World Scientific Publishing Co Pte Ltd