Aiding automated testing generation process by visualizing dynamic symbolic execution

Cao, Jiayi

Permalink

https://hdl.handle.net/2142/101243 Copy

Description

Title

Aiding automated testing generation process by visualizing dynamic symbolic execution

Author(s)

Cao, Jiayi

Issue Date

2018-04-27

Director of Research (if dissertation) or Advisor (if thesis)

Xie, Tao

Department of Study

Computer Science

Discipline

Computer Science

Degree Granting Institution

University of Illinois at Urbana-Champaign

Degree Name

M.S.

Degree Level

Thesis

Keyword(s)

Visualization, Dynamic Symbolic Execution, Test Input Generation

Abstract

Significant progress has been made in the field of automatic test generation, and Dynamic Symbolic Execution (DSE) is among the most effective techniques in this field. Despite its success, DSE still suffers from various obstacles when applied on complex programs. Users of DSE-based testing tools often experience three main categories of problems: the object creation problem, external method call problem, and boundary problem. When these problems arise, the testing tools present little information about the problem causes, leaving the users in the dark. Furthermore, there is little visual (i.e., easy to digest) guidance readily available to solve the problems effectively. The lack of guidance is especially troublesome given that the tools do not scale well when the number of problems increases. As a result, the time needed to investigate the root causes of the problems is prohibitive. To address such issue, in this thesis, we propose a visualization approach named PexViz. Our approach helps the tool users better understand and diagnose the encountered problems by reducing the large search space for problem root causes by aggregating information gathered through DSE exploration. In this thesis, we illustrate the benefits of the visualized information in assisting the tool users and our design decisions for such visualization. We provide a comparison between the proposed approach and two related previous approaches: IntelliTest, an industrial test generator available in Visual Studio 2015/2017, and an existing state-of-the-art visualization approach, SEViz. Our initial comparison results on example cases demonstrate the benefits of our proposed approach and its superiority over the related approaches.

Graduation Semester

2018-05

Type of Resource

text

Permalink

http://hdl.handle.net/2142/101243

Copyright and License Information

Copyright 2018 Jiayi Cao

Owning Collections