NIST logo

Publications Portal

You searched on:
Topic Area: Software Testing Metrics

Displaying records 51 to 60 of 113 records.
Resort by: Date / Title


51. Software Fault Complexity and Implications for Software Testing
Topic: Software Testing Metrics
Published: 6/16/2004
Authors: David R Kuhn, D Wallace, A M Gallo
Abstract: Exhaustive testing of computer software is intractable, but empirical studies of software failures suggest that testing can in some cases be effectively exhaustive. Data reported in this study and others show that software failures in a variety of ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=151290

52. Improving Software Quality Through Better Design and Testing
Topic: Software Testing Metrics
Published: 4/1/2004
Authors: John Barkley, Mark Skall
Abstract: Our results extending Kuhn's fault class hierarchy provide a justification for the focus of fault-based testing strategies on detecting particular faults and ignoring others. We develop a novel analytical technique that allows us to elegantly p ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150507

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

54. An Investigation of the Applicability of Design of Experiments to Software Testing
Topic: Software Testing Metrics
Published: 12/6/2002
Authors: David R Kuhn, Martin L. Mr. Reilly
Abstract: Approaches to software testing based on methods from the field of design of experiments have been advocated as a means of providing high coverage at relatively low cost. Tools to generate all pairs, or higher n-degree combinations, of input values ha ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=151271

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

56. Failure Modes in Medical Device Software: an Analysis of 15 Years of Recall Data
Topic: Software Testing Metrics
Published: 12/5/2001
Authors: Dolores R. Wallace, David R Kuhn
Abstract: Most complex systems today contain software, and systems failures activated by software faults can provide lessons for software development practices and software quality assurance. This paper presents an analysis of software-related failures of medi ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=917180

57. Mutation Operators for Specifications
Topic: Software Testing Metrics
Published: 9/15/2000
Authors: Paul E Black, Vadim Okun, Yaacov Yesha
Abstract: Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge about a system, and a recent method uses such specifications to automati ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=917185

58. Dictionary of Algorithms and Data Structures
Topic: Software Testing Metrics
Published: 10/1/1998
Author: Paul E Black
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=150356

59. Software Testing by Statistical Methods - Preliminary Success Estimates for Approaches Based on Binomial Models, Coverage Designs, Mutation Testing, and Usage Models
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 6129
Topic: Software Testing Metrics
Published: 3/1/1998
Authors: D L. Banks, W H. Dashiell, Leonard J Gallagher, Robert Charles Hagwood, Raghu N Kacker, Lynne S. Rosenthal
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=900838

60. A Testability-Based Assertion Placement Tool for Object-Oriented Software,
Report Number: 98-735
Topic: Software Testing Metrics
Published: 1/1/1998
Authors: D Wallace, J Voas, M Schmid, M Schatz
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=900830



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