LEADER 03003nam  2200637 a 450 
001 9910456152703321
005 20200520144314.0
010   $a1-282-75747-4
010   $a9786612757471
010   $a981-283-729-9
035   $a(CKB)2490000000001780
035   $a(EBL)731063
035   $a(OCoLC)670429608
035   $a(SSID)ssj0000412391
035   $a(PQKBManifestationID)12101019
035   $a(PQKBTitleCode)TC0000412391
035   $a(PQKBWorkID)10367413
035   $a(PQKB)10093998
035   $a(MiAaPQ)EBC731063
035   $a(WSP)00007122
035   $a(Au-PeEL)EBL731063
035   $a(CaPaEBR)ebr10422652
035   $a(CaONFJC)MIL275747
035   $a(EXLCZ)992490000000001780
100   $a20100419d2010      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aAutomated database applications testing$b[electronic resource] $especification representation for automated reasoning /$fRana Farid Mikhail, Donald Berndt & Abraham Kandel
210   $aSingapore ;$aHackensack, NJ $cWorld Scientific$dc2010
215   $a1 online resource (212 p.)
225 1 $aSeries in machine perception and artificial intelligence ;$vv. 76
300   $aDescription based upon print version of record.
311   $a981-283-728-0 
320   $aIncludes bibliographical references (p. 185-192) and index.
327   $aPreface; 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
330   $aThis 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.
410  0$aSeries in machine perception and artificial intelligence ;$vv. 76.
606   $aComputer software$xTesting$xAutomation
606   $aDatabase design
608   $aElectronic books.
615  0$aComputer software$xTesting$xAutomation.
615  0$aDatabase design.
676   $a005.1/4
700   $aMikhail$b Rana Farid$0984765
701   $aBerndt$b Donald J$0984766
701   $aKandel$b Abraham$028590
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910456152703321
996   $aAutomated database applications testing$92250266
997   $aUNINA