U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

PUBLICATIONS

SATE VI Ockham Sound Analysis Criteria

Published

Author(s)

Paul E. Black

Abstract

In preparation for SATE VI, we present our current thoughts on the Ockham Sound Analysis Criteria track. First, we explain the purpose of the Ockham track and define some terms, such as "sound", "finding", and "site". Then we present the general flow for checking that a tool satisfies the SATE VI Ockham Criteria. Next we discuss test suites from which tool makers may choose. Finally we sketch a tentative timeline.
Pub Type
Talks

Download Paper

Local Download

Keywords

software assurance, static analysis, sound analysis, Ockham criteria
Software research and Software testing

Citation

Black, P. (2017), SATE VI Ockham Sound Analysis Criteria, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=923651 (Accessed June 1, 2023)

Created July 11, 2017, Updated May 4, 2021