Mikhail Rana Rarid, Berndt Donald, Kandel Abraham:
Automated Database Applications Testing: Specification Representation for Automated Reasoning
Specification Representation for Automated Reasoning
World Scientific Publishing Co Pte Ltd (Singapore), 2010
Hardback, 212 pagesSize: 237x160 mm
ISBN-13: 9789812837288
ISBN-10: 9812837280
List price: £67.00
You save: 20%
Automated Database Applications Testing: Specification Representation for Automated Reasoning
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.

