U.S. flag   An unofficial archive of your favorite United States government website
Dot gov

Official websites do not use .rip
We are an unofficial archive, replace .rip by .gov in the URL to access the official website. Access our document index here.

Https

We are building a provable archive!
A lock (Dot gov) or https:// don't prove our archive is authentic, only that you securely accessed it. Note that we are working to fix that :)

This is an archive
(replace .gov by .rip)

White Paper (Draft)

Combinatorial Coverage Difference Measurement

Date Published: June 2021
Comments Due: August 20, 2021 (public comment period is CLOSED)
Email Questions to: acts-project@nist.gov

Author(s)

Richard Kuhn (NIST), M S Raunak (NIST), Raghu Kacker (NIST)

Announcement

Structural coverage criteria are widely used tools in software engineering, useful for measuring aspects of test execution thoroughness. However, in many cases, structural coverage may not be applicable, either because source code is not available, or because processing is based on neural networks or other black-box components. Vulnerability and fault detection in such cases will typically rely on large volumes of tests, to discover flaws that result in system failures or security weaknesses.

This publication explains combinatorial coverage difference measures that have been applied to problems that include fault identification and autonomous systems validation, and documents functions of research tools for computing these measures. The metrics and tools described are introduced as research tools; later work will be useful in determining which are of value in assurance and testing or simulation.

Abstract

Keywords

combinatorial coverage; combinatorial coverage difference measures; combinatorial methods; combinatorial testing; fault location; software testing; structural coverage
Control Families

None selected

Documentation

Publication:
White Paper (DOI)

Supplemental Material:
Local Download (pdf)

Document History:
06/22/21: White Paper (Draft)

Topics

Security and Privacy
testing & validation

Technologies
combinatorial testing; software & firmware