Automated Database Applications Testing: Specification Representation for Automated Reasoning
by Rana Rarid Mikhail, Donald Berndt, Abraham Kandel
English | 2010 | ISBN: 9812837280 | 212 pages | PDF | 2.29 MB
| “ | 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. | ” |
Please No mirrors.
Download File Size:2.22 MB
|
