William Oliver

Lawrence Livermore National Laboratory

William Oliver has more than thirteen years at Lawrence Livermore National Laboratory (LLNL) as a software developer and software quality engineer. Previously, William worked at Klocwork, Inc. (a static analysis tool vendor) and at Qualcomm in the static analysis group as a staff engineer, assisting development teams in defect triage and working with developers to install and use the Klocwork client tool that allows developers to perform local static analysis. Returning to LLNL in 2010, William is assigned to several development teams and is the static analysis expert for the programs he supports. He is the Klocwork administrator and continues to assist in defect triage of C and C++ codes.

Speaker Presentations

Thursday, April 11, 2013 - 2:00pm

Test Techniques

Quantifying the Value of Static Analysis

During the past ten years, static analysis tools have become a vital part of software development for many organizations. However, the question arises, “Can we quantify the benefits of static analysis?” William Oliver presents the results of a Lawrence Livermore National Laboratory study that first measured the cost of finding software defects using formal testing on a system without static analysis; then, they integrated a static analysis tool into the process and, over a period of time, recalculated the cost of finding software defects.