Chargement en cours…
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 auto...
| Cote: | Libro Electrónico |
|---|---|
| Auteur principal: | |
| Autres auteurs: | , |
| Format: | Électronique eBook |
| Langue: | Inglés |
| Publié: |
Singapore ; Hackensack, NJ :
World Scientific,
©2010.
|
| Collection: | Series in machine perception and artificial intelligence ;
v. 76. |
| Sujets: | |
| Accès en ligne: | Texto completo |
| Résumé: | 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. |
|---|---|
| Description matérielle: | 1 online resource (xiv, 195 pages) : illustrations |
| Bibliographie: | Includes bibliographical references (pages 185-192) and index. |
| ISBN: | 9789812837295 9812837299 |