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 Thu 18 Jun 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

      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