Automated Database Applications Testing: Specification Representation For Automated Reasoning

Automated Database Applications Testing: Specification Representation For Automated Reasoning

Rana Farid Mikhail

Format: Print Book

ISBN: 9789812837288

  • SGD 143.38
    Unit price per 
Tax included.


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.

Format: Hardcover
No of Pages: 212
Imprint: World Scientific
Publication date: 20100120
Series: Series In Machine Perception And Artificial Intelligence





We Also Recommend