Automated Database Applications Testing: Specification Representation For Automated Reasoning
Regular price
€97.99
14 days return policy
Shipping & Delivery
A01=Abraham Kandel
A01=Donald J Berndt
A01=Rana Farid Mikhail
Author_Abraham Kandel
Author_Donald J Berndt
Author_Rana Farid Mikhail
Category=UMZ
Category=UNA
Database
eq_bestseller
eq_computing
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction
Software Testing
SpecDB
Product details
- ISBN 9789812837288
- Publication Date: 20 Jan 2010
- Publisher: World Scientific Publishing Co Pte Ltd
- Publication City/Country: SG
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
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.
