AUTOMATED DATABASE APPLICATIONS TESTING: SPECIFICATION REPRESENTATION FOR AUTOMATED REASONING

Rana Farid Mikhail

  • 出版商: World Scientific Pub
  • 出版日期: 2010-04-01
  • 售價: $3,382
  • 貴賓價: 9.5$3,213
  • 語言: 英文
  • 頁數: 210
  • 裝訂: Paperback
  • ISBN: 9812837280
  • ISBN-13: 9789812837288

下單後立即進貨 (約2~4週)

商品描述

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.