Automated Database Applications Testing: Specification Representation For Automated Reasoning, Hardback Book

Automated Database Applications Testing: Specification Representation For Automated Reasoning Hardback

Part of the Series In Machine Perception And Artificial Intelligence series

Description

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.

Information

  • Format: Hardback
  • Pages: 212 pages
  • Publisher: World Scientific Publishing Co Pte Ltd
  • Publication Date:
  • Category: Software Engineering
  • ISBN: 9789812837288

Other Formats

£85.00

£69.19

 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Also by Rana Farid Mikhail

Also in the Series In Machine Perception And Artificial Intelligence series   |  View all