Skip to main content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.

Https

The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

Software Quality Group

The Software Quality Group develops tools, methods, and related models for improving the process of ensuring that software behaves correctly and for identifying software defects, thus helping industry improve the quality of software development and maintenance.

 

News and Updates

Publications

Opaque Wrappers and Patching: Negative Results

Author(s)
Paul E. Black, Monika Singh
When a patch is released for buggy software, bad actors may be able to analyze the patch and create an attack on unpatched machines. A wrapper could block

Formal Methods for Statistical Software

Author(s)
Paul E. Black
"Statistical software" encompasses several distinct classes of software. This report explains what formal methods, tools, and approaches may be able to increase

Defining 'kind of quantity'

Author(s)
David W. Flater
The definition of 'kind of quantity' given in the International Vocabulary of Metrology (VIM), 3rd edition, does not cover the historical meaning of the term as

SATE V Report: Ten Years of Static Analysis Tool Expositions

Author(s)
Aurelien M. Delaitre, Bertrand C. Stivalet, Paul E. Black, Vadim Okun, Terry S. Cohen, Athos Ribeiro
Software assurance has been the focus of the National Institute of Standards and Technology (NIST) Software Assurance Metrics and Tool Evaluation (SAMATE) team

Software

UNRAVEL

Computer Aided Software Engineering (CASE) tool, unravel. This tool can assist evaluation of high integrity software by using program slices to extract

Press Coverage

Contacts