NIST logo

Publications Portal

You searched on:
Topic Area: Software Testing Metrics
Sorted by: title

Displaying records 101 to 110 of 113 records.
Resort by: Date / Title


101. Testing with Model Checker: Insuring Fault Visibility
Topic: Software Testing Metrics
Published: 1/5/2003
Authors: Vadim Okun, Paul E Black, Yelena Yesha
Abstract: To detect a fault in software, a test case execution must be chosen so intermediate errors propagate to the output. We describe two modeling methods for specification-based mutation testing using model checkers that guarantee this propagation. We e ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=917181

102. Testing with Model Checkers: Insuring Fault Visibility
Topic: Software Testing Metrics
Published: 10/23/2002
Authors: Vadim Okun, Paul E Black, Y Yesha
Abstract: To detect a fault in software, a test case execution must be chosen so intermediate errors propagate to the output. We describe two modeling methods for specification-based mutation testing using model checkers that guarantee this propagation. We e ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50790

103. The Juliet 1.1 C/C++ and Java Test Suite
Topic: Software Testing Metrics
Published: 10/1/2012
Authors: Frederick E Boland Jr, Paul E Black
Abstract: The Juliet Test Suite 1.1 is a collection of over 81,000 synthetic C/C++ and Java programs with known flaws. These programs are useful as test cases for testing the effectiveness of static analyzers and other software assurance tools, and are in the ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=912128

104. The NIST 2008 Metrics for Machine Translation Challenge - Overview, Methodology, Metrics, and Results
Topic: Software Testing Metrics
Published: 3/10/2010
Authors: Mark Allan Przybocki, Kay Peterson, P. Sebastien Bronsart, Gregory A Sanders
Abstract: This paper discusses the evaluation of automated metrics developed for the purpose of evaluating machine translation (MT) technology. A general discussion of the usefulness of automated metrics is offered. The NIST MetricsMATR evaluation of MT metr ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=903840

105. The ghost in the machine: Don't let it haunt your software performance measurements
Series: Technical Note (NIST TN)
Report Number: 1830
Topic: Software Testing Metrics
Published: 4/28/2014
Authors: Vreda Pieterse, David W Flater
Abstract: This paper describes pitfalls, issues, and methodology for measuring software performance. Ideally, measurement should be performed and reported in such a way that others will be able to reproduce the results in order to confirm their validity. W ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=914911

106. Unravel: A CASE Tool to Assist Evaluation of High Integrity Software Volume 1: Requirements and Design
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 5691
Topic: Software Testing Metrics
Published: 8/1/1995
Authors: James R Lyle, D Wallace, J R Graham, K Gallagher, Joseph P. Poole, D W Binkley
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=900761

107. User's Guide for RDA/SQL Validation Tests
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 5725
Topic: Software Testing Metrics
Published: 12/1/1996
Authors: J M Sullivan, Kevin G Brady
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=900769

108. User's Guide for the PHIGS Validation Tests (Version 2.1)
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 434
Topic: Software Testing Metrics
Published: 4/1/1994
Authors: Kevin G Brady, John V Cugini, Qiming Wang
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=900712

109. Users Manual for Version 2.2.1 of the NIST DMIS Test Suite
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 7735
Topic: Software Testing Metrics
Published: 10/25/2010
Authors: Thomas Rollin Kramer, John A Horst
Abstract: This manual is a users manual for the NIST DMIS Test Suite, version 2.2.1. DMIS (Dimensional Measuring Interface Standard) is a language for writing programs for coordinate measuring machines and other dimensional measurement equipment. The manual d ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=905756

110. Using Semantic Web Methods to Improve Information Resource Quality
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 7354
Topic: Software Testing Metrics
Published: 9/29/2006
Author: John Barkley
Abstract: The quality of information resources can be improved using Semantic Web methods instead of, or in conjunction with XML and relational database systems. With Semantic Web methods, more of the semantics of an information resource can be made explicit i ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50895



Search NIST-wide:


(Search abstract and keywords)


Last Name:
First Name:







Special Publications:

Looking for a NIST Special Publication (NIST SP Series)? Place the series number and dash in the report number field (Example: 800-) and begin your search.

  • SP 250-XX: Calibration Services
  • SP 260-XX: Standard Reference Materials
  • SP 300-XX: Precision Measurement and Calibration
  • SP 400-XX: Semiconductor Measurement Technology
  • SP 480-XX: Law Enforcement Technology
  • SP 500-XX: Computer Systems Technology
  • SP 700-XX: Industrial Measurement Series
  • SP 800-XX: Computer Security Series
  • SP 823-XX: Integrated Services Digital Network Series