Automated Database Applications Testing: Specification Representation For Automated Reasoning
Uložené v:
| Názov: | Automated Database Applications Testing: Specification Representation For Automated Reasoning |
|---|---|
| Popis: | 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. |
| Autori: | Rana Farid Mikhail, Donald J Berndt, Abraham Kandel |
| Typ zdroja: | eBook. |
| Predmet: | Database design, Computer software--Testing--Automation |
| Kategórie: | COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Computer Engineering |
| Databáza: | eBook Index |
| Abstrakt: | 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. |
|---|---|
| ISBN: | 9789812837288 9789812837295 |