NIST logo

Publications Portal

You searched on:
Author: paul black

Displaying records 41 to 50 of 54 records.
Resort by: Date / Title

41. Fault Classes and Fault Coupling in Boolean Specifications
Published: 6/1/2004
Authors: Vadim Okun, Paul E Black, Y Yesha
Abstract: ult-based testing strategies generate tests to detect faults belonging to a preselected set of simple fault classes. A hierarchy of fault classes and the infrequency of fault coupling let us rely on these strategies to detect many other faults, too. ...

42. QCSim, Quantum Computation Simulator
Published: 12/1/2003
Author: Paul E Black
Abstract: The goal of this document is to help W3C editors write better specifications, by making a specification easier to interpret without ambiguity and clearer as to what is required in order to conform. It focuses on how to define and specify conformance ...

43. Testing with Model Checkers: Insuring Fault Visibility
Published: 10/1/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 ...

44. Quantum Computing and Communication
Published: 6/28/2002
Authors: Paul E Black, David R Kuhn, Carl J Williams
Abstract: A quantum computer, if built, will be to an ordinary computer as a hydrogen bomb is to gunpowder, at least for some types of computations. Today no quantum computer exists, beyond laboratory prototypes capable of solving only tiny problems, and many ...

45. Model Checkers in Software Testing
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 6777
Published: 2/1/2002
Authors: Paul E Black, P E Ammann, W Ding
Abstract: The primary focus of formal methods is static analysis of specifications and code, but there is also a long tradition of exploiting formal methods for testing. This paper continues this model by exploring the role of model checkers in software testi ...

46. A Specification-Based Coverage Metric to Evaluate Test Sets
Published: 12/1/2000
Authors: P E Ammann, Paul E Black
Abstract: Software developers use a variety of methods, including both formal methods and testing, to argue that their systems are suitable components for high assurance applications. In this paper, we develop another connection between formal methods and tes ...

47. Is 'Implementation Implies Specification' Enough?
Published: 6/1/2000
Author: Paul E Black
Abstract: An implementation is typically checked against a specification by proving that the implementation implies the specification. This ensures that the implementation only has behaviors allowed by the specification. However, this does not require the im ...

48. Abstracting Formal Specifications to Generate Software Tests via Model Checking
Published: 10/1/1999
Authors: P E Ammann, Paul E Black
Abstract: A recent method combines model checkers with specification-based mutation analysis to generate test cases from formal software specifications. However high-level software specifications usually must be reduced to make analysis with a model checker f ...

49. Using Model Checking to Generate Tests From Specifications
Published: 11/1/1998
Authors: P E Ammann, Paul E Black, William J Majurski
Abstract: We apply a model checker to the problem of test generation using a new application of mutation analysis. We define syntactic operators, each of which produces a slight variation on a given model. The operators define a form of mutation analysis at ...

50. Using Model Checking to Generate Tests from Specifications
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 6166
Published: 11/1/1998
Authors: P E Ammann, Paul E Black, William J Majurski

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