
Automated Database Applications Testing: Specification Representation for Automated Reasoning
by Rana Farid Mikhail, Donald J Berndt, Abraham KandelISBN-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: