NIST logo

Publications Portal

You searched on:
Author: paul black

Displaying records 41 to 50 of 56 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. ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=151690

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 ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50557

43. Testing with Model Checker: Insuring Fault Visibility
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

44. Testing with Model Checkers: Insuring Fault Visibility
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

45. 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 ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=51022

46. 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 ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=51075

47. 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 ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=151676

48. Mutation Operators for Specifications
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

49. 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 ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=151671

50. 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 ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=151677



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