Automated database applications testing [[electronic resource] ] : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel |
Autore | Mikhail Rana Farid |
Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2010 |
Descrizione fisica | 1 online resource (212 p.) |
Disciplina | 005.1/4 |
Altri autori (Persone) |
BerndtDonald J
KandelAbraham |
Collana | Series in machine perception and artificial intelligence |
Soggetto topico |
Computer software - Testing - Automation
Database design |
Soggetto genere / forma | Electronic books. |
ISBN |
1-282-75747-4
9786612757471 981-283-729-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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 |
Record Nr. | UNINA-9910456152703321 |
Mikhail Rana Farid | ||
Singapore ; ; Hackensack, NJ, : World Scientific, c2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Automated database applications testing [[electronic resource] ] : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel |
Autore | Mikhail Rana Farid |
Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2010 |
Descrizione fisica | 1 online resource (212 p.) |
Disciplina | 005.1/4 |
Altri autori (Persone) |
BerndtDonald J
KandelAbraham |
Collana | Series in machine perception and artificial intelligence |
Soggetto topico |
Computer software - Testing - Automation
Database design |
ISBN |
1-282-75747-4
9786612757471 981-283-729-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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 |
Record Nr. | UNINA-9910780890203321 |
Mikhail Rana Farid | ||
Singapore ; ; Hackensack, NJ, : World Scientific, c2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Automated database applications testing : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel |
Autore | Mikhail Rana Farid |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2010 |
Descrizione fisica | 1 online resource (212 p.) |
Disciplina | 005.1/4 |
Altri autori (Persone) |
BerndtDonald J
KandelAbraham |
Collana | Series in machine perception and artificial intelligence |
Soggetto topico |
Computer software - Testing - Automation
Database design |
ISBN |
1-282-75747-4
9786612757471 981-283-729-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
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 |
Record Nr. | UNINA-9910816637103321 |
Mikhail Rana Farid | ||
Singapore ; ; Hackensack, NJ, : World Scientific, c2010 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|