Automated Database Applications Testing

Specification Representation For Automated Reasoning

By: Rana Farid Mikhail, Donald J Berndt, Abraham Kandel

Write A Review

Hardcover | 20 January 2010

At a Glance

Hardcover
212 Pages

Dimensions(cm)
22.86 x 15.24 x 1.27

Hardcover

RRP $183.99

$165.75

10%OFF

or 4 interest-free payments of $41.44 with

Ships in 15 to 25 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Artificial Intelligence Systems Analysis & Design Computer Programming & Software Development Software Engineering Databases Database Design & Theory Booktopia Publisher Services World Scientific Publishing

Preface	p. vii
Acknowledgments	p. ix
Introduction	p. 1
The Need for Testing	p. 1
Why Does Software have Errors?	p. 2
Software Testing Definitions	p. 3
Software Errors, Faults and Failures	p. 3
Software Testing	p. 3
When Should Testing Start in the Software Lifecycle?	p. 5
Types of Testing Techniques	p. 6
UML	p. 7
Formal Specification Languages	p. 8
Current Testing Technologies and Tools	p. 8
Types of Automated Testing Tools	p. 8
Design and Visual Modeling Tools	p. 9
Automated Testing Tools	p. 10
Disadvantage of Record and Playback Test Automation Tools	p. 12
Related Literature	p. 13
AGENDA; A Test Generator for Database Applications	p. 14
Executable Software Specifications	p. 14
Objectives of this Book	p. 15
SpecDB: A Database Design for Software Specifications	p. 21
Introduction	p. 21
The Advantages of a Database Representation of Specifications	p. 22
The Specification Database Design: SpecDB	p. 23
Entities for Specific Software Requirements	p. 24
Operator and Valid Operands	p. 24
List_of_Tables and Table Descriptions	p. 28
Types, Types_LOV and Type Restrictions	p. 29
Variables and Restrictions on Variable Values	p. 32
Procedure, Function, and Subroutine Descriptions	p. 36
Subroutine Parameters and Post-Conditions	p. 38
Dataflow, Triggers and Input/Output Definitions	p. 42
Assignment and Calculation	p. 45
Predicate	p. 48
Database Operations	p. 50
Classes, Objects and Class Relations	p. 54
Conclusion	p. 55
Other SpecDB Entities	p. 57
Representing Formal Specifications in SpecDB: A Translation Algorithm	p. 63
A Translation Algorithm from Formal Specifications to SpecDB	p. 63
Assumptions and Restrictions	p. 64
Preparing for Translation	p. 65
Storing Formal Specifications	p. 65
Defining Schema Names and Operations	p. 65
Types of Schemas	p. 66
User-Defined Types	p. 67
Specifying Values for a User-Defined Type	p. 67
Defining Sets or Tables	p. 68
Function Declaration	p. 69
Subroutine Input Restriction	p. 69
Variable Definition and Subroutine Inputs	p. 70
Output Definition	p. 71
Setting Variable Restrictions	p. 72
Assignment Operation	p. 73
Assignment Operation and Function Call	p. 74
Assignment Operation for Sets	p. 75
Assignment Operation for a Set	p. 76
Inserting Records in the Database	p. 76
Output Table Definition	p. 77
Assigning a Variable to a Calculation	p. 78
Constraining the Values Populating a Table or Set	p. 79
Conclusion	p. 81
An Automated Constraint Generator	p. 83
The Design of Additional Tables in SpecDB	p. 84
Using List_of_Tables and Table_Description	p. 85
Adding the Constraints Table to SpecDB and Using the Predicate Table	p. 87
Other Tables from SpecDB, Type_Excluded_Ranges and Types_LOV	p. 90
Generating Database-Level Constraints	p. 91
Generating Simple Static Constraints: The Algorithm	p. 91
Enforcing Complex Dynamic Business Rules	p. 95
Conclusion	p. 97
A Reverse Engineering Testing Tool	p. 99
Technique	p. 100
Input and Pre-Condition Classification and Categorization	p. 101
Output and Post-Condition Classification and Categorization	p. 104
Case Study	p. 106
Problem Statement for the Vacation Salesman Commission Program	p. 107
Implementation	p. 107
Program Graph for the Salesman Commission Problem	p. 110
DD-Path Graph for the Salesman Commission Problem	p. 110
Examples	p. 111
Test Case 1	p. 113
Test Case 2	p. 120
Test Case 3	p. 122
Conclusion	p. 124
Enhancing Other Testing Tools Using SpecDB	p. 125
Using the SpecDB Database to Expand the Testing Domain	p. 125
Enhancing State Validation Tools	p. 128
Expanding the Testing Scope Beyond Variables and Database States	p. 129
Testing Different Operation Types	p. 129
Conclusion	p. 130
Conclusion and Future Work	p. 131
A Comparison Between Testing Tools	p. 131
Test Cases and Scenarios	p. 132
Comparing the Ability of Testing Tools to Identify Errors	p. 134
Book Concepts at a Glance	p. 135
Conclusion and Recommendations	p. 136
Future Work at a Glance	p. 138
SQL Scripts for SpecDB Constraints	p. 143
PL/SQL Constraint Generator Code	p. 173
Table of Contents provided by Ingram. All Rights Reserved.

Automated Database Applications Testing

Specification Representation For Automated Reasoning

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Artificial Intelligence

The Challenge of the Future

What Should We Keep from Yesterday as We Rush into Tomorrow?

How to Talk to AI

(And How Not To)

Empire of AI

Inside the reckless race for total domination

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

How We Learn

The New Science of Education and the Brain

God, AI and the End of History

Understanding the Book of Revelation in an Age of Intelligent Machines

We Are As Gods

A Survival Guide for the Age of Abundance

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Co-Intelligence

Living and Working with AI

Sustainable Innovations in Management in the Digital Transformation Era

Taylor and Francis Proceedings in Environmental Science and Engineering

Reimagining Conference Interpreting in the Age of AI

Routledge Advances in Translation and Interpreting Studies

AI in Legal Tech

How Generative AI Is Transforming Legal Technology and the Practice of Law

The Python Project Book

Build Games, Web Apps, and AI Tools

AI-driven Medical Image Analysis in Precision Radiation Therapy

Imaging in Medical Diagnosis and Therapy

Artificial Universities

Speculative AI and Generative Design

Artificial Universities

Speculative AI and Generative Design

AI for MBAs

The Essential Guide for Leaders Building AI-Driven Enterprise

AI for MBAs

The Essential Guide for Leaders Building AI-Driven Enterprise

AI Marketing Essentials

Concepts and Practice for the Digital Age

AI Marketing Essentials

Concepts and Practice for the Digital Age

Cognitive Security for Industrial IoT

AI-Driven Approaches to Industry 4.0

Critical Software Studies

Artefacts, Systems and Spectacle in the Age of AI

AI for Good

How Real People Are Using Artificial Intelligence to Fix Things That Matter

XR and Metaverse

Proceedings of the 10th International XR-Metaverse Conference 2025, Maastricht, The Netherlands

This product is categorised by