Automated Database Applications Testing: Specification Representation For Automated Reasoning

丛 书 名：Series in Machine Perception and Artificial Intelligence, v. 76

作     者：Rana Farid Mikhail Donald J Berndt Abraham Kandel 

I S B N：(纸本) 9789812837288;9789812837295 

出 版 社：World Scientific 

出 版 年：2010年

主 题 词：Database design Computer software--Testing--Automation 

学科分类：08[工学] 081203[工学-计算机应用技术] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

馆 藏 号：201729493...

摘      要：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.