03003nam 2200637 a 450 991045615270332120200520144314.01-282-75747-49786612757471981-283-729-9(CKB)2490000000001780(EBL)731063(OCoLC)670429608(SSID)ssj0000412391(PQKBManifestationID)12101019(PQKBTitleCode)TC0000412391(PQKBWorkID)10367413(PQKB)10093998(MiAaPQ)EBC731063(WSP)00007122(Au-PeEL)EBL731063(CaPaEBR)ebr10422652(CaONFJC)MIL275747(EXLCZ)99249000000000178020100419d2010 uy 0engur|n|---|||||txtccrAutomated database applications testing[electronic resource] specification representation for automated reasoning /Rana Farid Mikhail, Donald Berndt & Abraham KandelSingapore ;Hackensack, NJ World Scientificc20101 online resource (212 p.)Series in machine perception and artificial intelligence ;v. 76Description based upon print version of record.981-283-728-0 Includes bibliographical references (p. 185-192) and index.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; IndexThis 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.Series in machine perception and artificial intelligence ;v. 76.Computer softwareTestingAutomationDatabase designElectronic books.Computer softwareTestingAutomation.Database design.005.1/4Mikhail Rana Farid984765Berndt Donald J984766Kandel Abraham28590MiAaPQMiAaPQMiAaPQBOOK9910456152703321Automated database applications testing2250266UNINA