Automated Database Applications Testing: Specification by Rana Rarid Mikhail, Donald Berndt, Abraham Kandel

By Rana Rarid Mikhail, Donald Berndt, Abraham Kandel

This e-book introduces SpecDB, an clever database created to symbolize and host software program requisites in a machine-readable structure, in accordance with the foundations of man-made intelligence and unit checking out database operations. SpecDB is validated through automatic clever instruments. the 1st immediately generates database constraints from a rule-base in SpecDB. the second one is a opposite engineering software that logs the particular execution of this system from the code.

Show description

Read Online or Download Automated Database Applications Testing: Specification Representation for Automated Reasoning PDF

Best organization and data processing books

Personalized Digital Television: Targeting Programs to Individual Viewers

Television audience this present day are uncovered to overwhelming quantities of knowledge, and challenged by way of the plethora of interactive performance supplied by means of present set-top containers. to make sure extensive adoption of this know-how through shoppers, destiny electronic tv must take usability matters completely into consideration.

Membrane Computing: 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers

This e-book constitutes the completely refereed prolonged postproceedings of the sixth overseas Workshop on Membrane Computing, WMC 2005, held in Vienna, Austria, in July 2005. The 20 revised complete papers provided including five invited papers went via rounds of reviewing and development. The papers during this quantity conceal all of the major instructions of study in membrane computing, starting from theoretical themes in arithmetic and computing device technology, to software matters, in particular in biology.

Ultimate Zero and One : Computing at the Quantum Frontier

Computing on the fringe of Nature -- Rethinking desktops -- Shrinking know-how -- A Peek Into Quantumland -- The Qubit: final 0 and One -- Are Bits riding Us Bankrupt? -- Quantum Computing -- methods of the exchange -- Quantum reminiscence Registers -- The prepare--evolve--measure Cycle -- Quantum Gates and Quantum Circuits -- instance of a Quantum Computation -- What Can desktops Do?

Additional info for Automated Database Applications Testing: Specification Representation for Automated Reasoning

Sample text

The advantage of this approach is to automatically test programmed software, giving the actual behavior for each operation. The analysts, designers and testers can then review all the software execution results, hence showing faults of commission that might not otherwise be spotted by normal testing techniques that deem a test successful if the specified behavior occurs. However, in some cases, the software errors lie in the fact that the programmed software does more than is specified. For example, an e-commerce application might perform its task of ordering an item, and also (as an unwanted side effect) send credit card information or passwords to another non-secure location!

Accordingly, as a preparation stage for representing the specifications in SpecDB, unique dataflow numbers are given to operations in the (formal) specifications. Accordingly, SpecDB assumes that the program is numbered. Every line of the (formal) specification of a software as well as every line of code generated is given a unique serial number. SpecDB assumes that every line of code is a simple program statement, unnecessary bundling of code or specification on the same line is forbidden in this representation, to simplify the representation and enhance readability from SpecDB by automated tools.

3, automatic constraints generator and the reverse engineering testing tool, respectively. 4, enhancements to available tools in the literature like AGENDA, using SpecDB are proposed. 10. Objectives of this Book Fig. 1 Introduction From the market survey of existing testing tools in Chapter 1, it was concluded that the current automated tools in the market lack an understanding of the functionality of the software under construction and testing. The literature review also showed how much of the research on automated tools can benefit from machine-readable specifications, which can reason with the specifications and automatically generate intelligent test cases and automatically determine whether the software passed the test based on its understanding of the specifications and design.

Download PDF sample

Rated 4.87 of 5 – based on 9 votes