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.

Seller Inventory # LU-9789812837288

Contact seller

Report this item

Bibliographic Details

Title: Automated Database Applications Testing: Specification Representation For Automated Reasoning
Publisher: World Scientific Publishing Co Pte Ltd, SG
Publication Date: 2010
Language: English
ISBN 10: 9812837280
ISBN 13: 9789812837288
Binding: Hardback
Edition: Illustrated.
Condition: New

About this title

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.