NIST logo

Publications Portal

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

Displaying records 91 to 100 of 104 records.
Resort by: Date / Title


91. Test Generation Using Model Checking and Specification Mutation
Topic: Software Testing Metrics
Published: 11/22/2013
Author: Paul E Black
Abstract: Although building quality into software is paramount, professionals find that testing is necessary to assure that the system will operate as desired. Developing tests can take significant resources. In 1998 NIST showed how tests can be automaticall ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=914289

92. Test Sequence Generation for Integration Testing of Component Software
Topic: Software Testing Metrics
Published: 11/22/2007
Authors: Leonard J Gallagher, Jeff Offutt
Abstract: Ensuring high object interoperability is a goal of integration testing for object-oriented software. When messages are sent, receiving objects should respond as intended. Ensuring this is especially difficult when software uses components that are de ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50880

93. Testing Web Applications by Modeling with FSMs
Topic: Software Testing Metrics
Published: 8/1/2005
Authors: A Andrews, A. J Offutt, R Alexander
Abstract: The National Software Reference Library (NSRL) of the U.S. National Institute of Standards and Technology (NIST) collects software from various sources and publishes file profiles computed from this software (such as MD5 and SHA-1 hashes) as a Refer ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150355

94. 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

95. 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

96. 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

97. 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

98. 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

99. 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

100. 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



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