|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910456152703321 |
|
|
Autore |
Mikhail Rana Farid |
|
|
Titolo |
Automated database applications testing [[electronic resource] ] : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Singapore ; ; Hackensack, NJ, : World Scientific, c2010 |
|
|
|
|
|
|
|
ISBN |
|
1-282-75747-4 |
9786612757471 |
981-283-729-9 |
|
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (212 p.) |
|
|
|
|
|
|
Collana |
|
Series in machine perception and artificial intelligence ; ; v. 76 |
|
|
|
|
|
|
Altri autori (Persone) |
|
BerndtDonald J |
KandelAbraham |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer software - Testing - Automation |
Database design |
Electronic books. |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references (p. 185-192) and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Preface; Acknowledgments; Contents; 1. Introduction; 2. SpecDB: A Database Design for Software Speci cations; 3. Representing Formal Specifications in SpecDB: A Trans- lation Algorithm; 4. An Automated Constraint Generator; 5. A Reverse Engineering Testing Tool; 6. Enhancing Other Testing Tools Using SpecDB; 7. Conclusion and Future Work; Appendix A SQL Scripts for SpecDB Constraints; Appendix B PL/SQL Constraint Generator Code; Bibliography; Index |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
|
|