Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Singapore ; Hackensack, NJ :
World Scientific,
©2010.
|
| Colección: | Series in machine perception and artificial intelligence ;
v. 76. |
| Temas: | |
| Acceso en línea: | Texto completo |
| Sumario: | 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. |
|---|---|
| Descripción Física: | 1 online resource (xiv, 195 pages) : illustrations |
| Bibliografía: | Includes bibliographical references (pages 185-192) and index. |
| ISBN: | 9789812837295 9812837299 |