Software testing is a process of refining faults and errors in a software system or project. Software testing is done by both manually and systematically. Automated testing of software is mostly followed in today’s industry. To achieve this, the concern project is divided into various test suites and then testing is done. These test suites should be minimized, selected and prioritized to make t...

Regression test suites are developed and maintained throughout the lifetime of the software product. For testers, it is common practice to add new testcases to the existing regression test suite, with intent to test new features in the software product or to capture any newly discovered fault. Many a times the intention is to check whether the program is sufficiently tested or not. This is done...

Context: Test suite reduction is the problem of creating and executing a set of test cases that are smaller in size but equivalent in effectiveness to an original test suite. However, reduced suites can still be large and executing all the tests in a reduced test suite can be time consuming. Objective: We propose ordering the tests in a reduced suite to increase its rate of fault detection. The...

In automated test generation, granting control to test experts over test selection can enhance quality of generated test suites. However, in many cases test experts’ control is limited and they can not define custom coverage criteria. This work proposes a general framework for application of knowledge engineering to software testing, which facilitates specification of custom coverage criteria a...

This paper provides an overview of a system which allows to integrate detection of potential timing attack with a regular test suite. The authors examine previous approaches to the problem and discuss their usefulness and fitness for the purposes of automated testing. A developer-friendly system for detecting timing issues using Valgrind is presented, and integration with Google Test is discuss...

This paper presents a test automation framework for Mercury programs. We developed a method that generates runnable Mercury code from a formalized test suite, and which code provides a report on execution about the success of test cases. We also developed a coverage tool for the framework, which identifies and provide a visualization of the reached parts of the program when executing a given te...