Testing of database application is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. Conventionally database application testing is based upon whether or not the application can perform a set of predefined functions. While it is useful to achieve a basic degree of quality by considering the application to be a black box in the testing p...

Black-box property based testing tools like QuickCheck allow developers to write elegant logical specifications of their programs, while still permitting unrestricted use of the same language features and libraries that simplify writing the programs themselves. This is an improvement over unit testing because a single property can replace a large collection of test cases, and over more heavy-we...

Due to their simple and intuitive manner rules are often used for the implementation of intelligent systems. Besides general methods for the verification and validation of rule systems there exists only little research on the evaluation of their robustness with respect to faulty user inputs or partially incorrect rules. This paper introduces a gray box approach for testing the robustness of rul...

Black-box (functional) test cases are identified from functional requirements of the tested system, which is viewed as a mathematical function mapping its inputs onto its outputs. While the number of possible black-box tests for any non-trivial program is extremely large, the testers can run only a limited number of test cases under their resource limitations. An effective set of test cases is ...

A pivotal aspect of software development is testing, which serves as the final phase preceding release a or information system. The realm testing encompasses diverse array methods, and within scope this investigation, focus on black box testing. In pursuit objective, study leverages capabilities Katalon Studio for Automated Testing. Its application directed towards evaluating functionality an s...

We present faster overlap tests between spheres and either axis-aligned or oriented boxes. By utilizing quick rejection tests, faster execution times are observed compared to previous techniques. In addition, we present alternative vectorized overlap tests, which are compared to the sequential algorithms. Source code is available online.

in the privy and pail closet. Sanitary laws are intended to give power to communities which single individuals cannot possess, and in this country these laws?to some extent?are permissive, so that we see in some districts the law is rigidly enforced, while community after community is still found living in the most insanitary conditions. It is over 50 years since that sanitary abomination known...

A methodology that combines veri cation and conformance testing for validating safety requirements of reactive systems is presented The requirements are rst automatically veri ed on the system s speci cation Then test cases are automatically derived from the speci cation and the requirements and executed on a black box implementation of the system The test cases attempt to push the implementati...

Optimization using simulation has increased in popularity in recent years as more and more simulation packages now offer optimization features. At the same time, academic research in this area has grown, but more work is needed to bring results from the academic community to solve practical problems. This paper describes an effort in this direction. We present a framework that can be used to ef...