Automated database applications testing : specification representation for automated reasoning
Author(s)
Bibliographic Information
Automated database applications testing : specification representation for automated reasoning
（Series in machine perception and artificial intelligence / editors, H. Bunke, P.S.P. Wang, v. 76）
World Scientific, c2010
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
Description and Table of Contents
Description
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.
by "Nielsen BookData"
