AUTOMATED DATABASE APPLICATIONS TESTING: SPECIFICATION REPRESENTATION FOR AUTOMATED REASONING
暫譯: 自動化資料庫應用程式測試：自動推理的規格表示

Rana Farid Mikhail

AUTOMATED DATABASE APPLICATIONS TESTING: SPECIFICATION REPRESENTATION FOR AUTOMATED REASONING
  • 出版商: World Scientific Pub
  • 出版日期: 2010-04-01
  • 售價: $4,170
  • 貴賓價: 9.5 折 $3,962
  • 語言: 英文
  • 頁數: 210
  • 裝訂: Paperback
  • ISBN: 9812837280
  • ISBN-13: 9789812837288
  • 相關分類: 資料庫

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

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.

商品描述(中文翻譯)

本書介紹了 SpecDB，一個智能數據庫，旨在以機器可讀的格式表示和托管軟體規範，基於人工智慧和單元測試數據庫操作的原則。SpecDB 通過兩個自動化智能工具進行演示。第一個工具自動從 SpecDB 的規則庫生成數據庫約束。第二個工具是一個逆向工程工具，記錄程式碼的實際執行過程。

類似商品