Automated Database Applications Testing: Specification Representation for Automated Reasoning

Front Cover
World Scientific, 2010 - Computers - 212 pages
0 Reviews
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.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

1 Introduction
1
A Database Design for Software Speci cations
21
A Trans lation Algorithm
63
4 An Automated Constraint Generator
83
5 A Reverse Engineering Testing Tool
99
6 Enhancing Other Testing Tools Using SpecDB
125
7 Conclusion and Future Work
131
Appendix A SQL Scripts for SpecDB Constraints
143
Appendix B PLSQL Constraint Generator Code
173
Bibliography
185
Index
193
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information