Description

Book Synopsis
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.

Table of Contents
SpecDB: A Database Design for Software Specifications; Representing Formal Specifications in SpecDB: A Translation Algorithm; An Automated Constraint Generator; A Reverse Engineering Testing Tool; Enhancing Other Testing Tools Using SpecDB; Conclusion for Future Work.

Automated Database Applications Testing:

Product form

£80.75

Includes FREE delivery

RRP £85.00 – you save £4.25 (5%)

Order before 4pm today for delivery by Mon 19 Jan 2026.

A Hardback by Rana Farid Mikhail, Donald J Berndt, Abraham Kandel

Out of stock


    View other formats and editions of Automated Database Applications Testing: by Rana Farid Mikhail

    Publisher: World Scientific Publishing Co Pte Ltd
    Publication Date: 20/01/2010
    ISBN13: 9789812837288, 978-9812837288
    ISBN10: 9812837280
    Also in:
    Database design and theory Software Engineering

    Description

    Book Synopsis
    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.

    Table of Contents
    SpecDB: A Database Design for Software Specifications; Representing Formal Specifications in SpecDB: A Translation Algorithm; An Automated Constraint Generator; A Reverse Engineering Testing Tool; Enhancing Other Testing Tools Using SpecDB; Conclusion for Future Work.

    Recently viewed products

    © 2026 Book Curl

      • American Express
      • Apple Pay
      • Diners Club
      • Discover
      • Google Pay
      • Maestro
      • Mastercard
      • PayPal
      • Shop Pay
      • Union Pay
      • Visa

      Login

      Forgot your password?

      Don't have an account yet?
      Create account