Title

Integrating Symbolic And Statistical Methods For Testing Intelligent Systems: Applications To Machine Learning And Computer Vision

Abstract

Embedded intelligent systems ranging from tiny implantable biomedical devices to large swarms of autonomous unmanned aerial systems are becoming pervasive in our daily lives. While we depend on the flawless functioning of such intelligent systems, and often take their behavioral correctness and safety for granted, it is notoriously difficult to generate test cases that expose subtle errors in the implementations of machine learning algorithms. Hence, the validation of intelligent systems is usually achieved by studying their behavior on representative data sets, using methods such as cross-validation and bootstrapping. In this paper, we present a new testing methodology for studying the correctness of intelligent systems. Our approach uses symbolic decision procedures coupled with statistical hypothesis testing to validate machine learning algorithms. We show how we have employed our technique to successfully identify subtle bugs (such as bit flips) in implementations of the k-means algorithm. Such errors are not readily detected by standard validation methods such as randomized testing. We also use our algorithm to analyze the robustness of a human detection algorithm built using the OpenCV open-source computer vision library. We show that the human detection implementation can fail to detect humans in perturbed video frames even when the perturbations are so small that the corresponding frames look identical to the naked eye.

Publication Date

4-25-2016

Publication Title

Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016

Number of Pages

786-791

Document Type

Article; Proceedings Paper

Personal Identifier

scopus

Socpus ID

84973662053 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/84973662053

This document is currently not available here.

Share

COinS