Los Alamos National Laboratory

Science >  LANL Institutes

National Security Education Center


Ensuring Software Quality with Static Analysis Tools

May 14, 2008
Time: 9:30 - 10:30 AM (with Q&A
Location: NSEC (LARP, 3rd Floor) Room 301

Software analysis tools are changing the quality assurance practices
of today's industry leaders. Prominent software vendors use static
analysis to find bugs, eliminate security holes, and deliver
high-quality patches to deployed software in a timely fashion. These
analysis tools excel at finding exactly the classes of errors that
are most difficult to find through testing, inspections and other
mainstream quality assurance practices.

I'll begin this talk by discussing the reasons why traditional
quality assurance practices such as testing and inspections are no
longer adequate to deliver the dependability that is required for
modern software. I'll describe the fundamental advantages of static
analysis technology and how the weaknesses of previous QA practices
are addressed. I'll briefly discuss the core concepts used in
static analysis, including abstraction, soundness, false positives,
and issues of scalability and adoptability. I will illustrate these
ideas through demonstrations of static analysis tools, and describe
how companies have integrated these tools into their overall quality
assurance strategy.

<< Back to calendar
Operated by Los Alamos National Security, LLC for the U.S. Department of Energy's NNSA
Inside | © Copyright 2008-09 Los Alamos National Security, LLC All rights reserved | Disclaimer/Privacy | Web Contact