Automated Database Applications Testing: Specification Representation for Automated Reasoning
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.
A Database Design for Software Speci cations
A Trans lation Algorithm
4 An Automated Constraint Generator
5 A Reverse Engineering Testing Tool
6 Enhancing Other Testing Tools Using SpecDB
Other editions - View all
Add Constraint Add record AGENDA algorithm Alter Table attribute automated testing tools automated tools automatically black box testing business rules Calculation Chapter Char Class_Name CommissionCalc component Creating Check Constraint Creating Foreign Key Creating Primary Key database applications database level database operations DataFlow table Date Db_Operation_Id Db_Operations DBOperationDetails DBOperationTables DD-paths Default defined design of SpecDB employee entities errors of commission example executed field FieldName formal specifications Func1 function Function_Declaration identified implementation input Integer Not Null operands Pos_Num post conditions Predicate table Prompt Creating Check Prompt Creating Foreign Prompt Creating Primary Prompt Creating Table Rational Software References restrictions reverse engineering salesman commission scenario schema Section Set1 software application software specifications software testing SpecDB representation Sub_Routine_Name subroutine T_Field_Name T_Field_Type T_Table_Name table Pos Table Var Add Table_Field_Description testers testing techniques triggers Type_Name Type_Restrictions Types_Lov user-defined UTL_FILE.PUTF(ScriptFile valid values Var_Restrictions Var1 variable VarID white box testing