4 options
Automated database applications testing : specification representation for automated reasoning / Rana Farid Mikhail, Donald Berndt & Abraham Kandel.
- Format:
- Book
- Author/Creator:
- Mikhail, Rana Farid.
- Series:
- Series in machine perception and artificial intelligence ; v. 76.
- Series in machine perception and artificial intelligence ; v. 76
- Language:
- English
- Subjects (All):
- Computer software--Testing--Automation.
- Computer software.
- Database design.
- Physical Description:
- 1 online resource (212 p.)
- Edition:
- 1st ed.
- Place of Publication:
- Singapore ; Hackensack, NJ : World Scientific, c2010.
- Language Note:
- English
- Summary:
- 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.
- Contents:
- 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
- Notes:
- Description based upon print version of record.
- Includes bibliographical references (p. 185-192) and index.
- ISBN:
- 9786612757471
- 9781282757479
- 1282757474
- 9789812837295
- 9812837299
- OCLC:
- 670429608
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.