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

Measuring Combinatorial Coverage of System State-space for IV&V

Published

Author(s)

David R. Kuhn, Raghu N. Kacker

Abstract

This report describes some measures of combinatorial coverage that can be helpful in estimating this risk that we have applied to tests for spacecraft software but have general application to any combinatorial coverage problem. This method will be illustrated through a prior application to NASA spacecraft software, preliminary results on more recent NASA software, and non-NASA software.
Conference Dates
September 11-13, 2012
Conference Location
Morgantown, WV
Conference Title
Annual NASA IV&V Workshop
Pub Type
Conferences

Download Paper

Local Download

Keywords

combinatorial testing, coverage measurement, software assurance, software testing
Conformance testing

Citation

Kuhn, D. and Kacker, R. (2012), Measuring Combinatorial Coverage of System State-space for IV&V, Annual NASA IV&V Workshop, Morgantown, WV, [online], https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=911324 (Accessed April 19, 2024)

Created September 13, 2012, Updated February 19, 2017