ICSA Faculty Talk - 12/12/2019

Title

Challenges in Automated Software testing: Test Oracle and GPUs

Abstract

The challenge of automatically determining the correctness of test executions is referred to as the "test oracle problem" and is one of the key remaining issues for automated testing. In the first part of this talk, I will present a means to solve the test oracle problem in a way that is general, scalable and accurate. Our approach uses supervised learning over test execution traces. In the second part of the talk, I will present testing challenges for Graphics Processing Units (GPUs).  GPUs are massively parallel processors offering performance acceleration and energy efficiency unmatched by current processors (CPUs) in computers.  These advantages along with recent advances in the programmability of GPUs have made them attractive for general-purpose computations. Despite the advances in programmability, GPU kernels are hard to code and analyse due to the high complexity of memory sharing patterns, striding patterns for memory accesses, implicit synchronisation,  and combinatorial explosion of thread interleavings.  We propose a testing technique for OpenCL kernels that combines mutation-based fuzzing and selective constraint solving with the goal of being fast, effective and scalable.

Dec 12 2019 -

ICSA Faculty Talk - 12/12/2019

Ajitha Rajan

G.03, IF