Publications Portal

You searched on:
Author: paul black

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

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

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

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

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

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

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

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

48. Dictionary of Algorithms and Data Structures
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

49. Reliability of Conformance Tests
Published: 8/21/1998
Authors: Robert Charles Hagwood, Raghu N Kacker, James H Yen, D L. Banks, Lynne S. Rosenthal, Leonard J Gallagher, Paul E Black
Abstract: A conformance test is a software assurance test that is applied in order to determine if specification requirements of the software are being met. It is a time-dependent model, where the software object is subjected to an a priori known test suite. ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=151738

50. Software Testing: Protocol Comparison
Published: 5/29/1998
Authors: James H Yen, D L. Banks, Leonard J Gallagher, Paul E Black, Robert Charles Hagwood, Raghu N Kacker, Lynne S. Rosenthal
Abstract: Software testing is hard, expensive, and uncertain. Many protocols have been suggested, especially in the area of conformance verification. In order to compare the efficacy of these protocols, we have implemented a designed simulation experiment th ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=151734