Automated Database Applications Testing: Specification Representation for Automated Reasoning

Automated Database Applications Testing: Specification Representation for Automated Reasoning

by Rana Farid Mikhail, Donald J Berndt, Abraham Kandel
     
 

ISBN-10: 9812837280

ISBN-13: 9789812837288

Pub. Date: 04/28/2010

Publisher: World Scientific Publishing Company, Incorporated

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

Overview

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.

Product Details

ISBN-13:
9789812837288
Publisher:
World Scientific Publishing Company, Incorporated
Publication date:
04/28/2010
Series:
Series In Machine Perception And Artificial Intelligence Series
Pages:
212
Product dimensions:
6.10(w) x 9.10(h) x 0.90(d)

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >