Publications Portal

You searched on:
Author: paul black

Displaying records 31 to 40 of 51 records.
Resort by: Date / Title

31. FS-TST 2.0: Forensic Software Testing Support Tools ? Part B? Test Summary Report
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 7297-B
Published: 4/25/2005
Author: Paul E Black
Abstract: This NIST Internal Report deals with Release 2.0 of a software package, Forensic Software Testing Support Tools (FS-TST 2.0), developed to aid the testing of disk imaging tools typically used in forensic investigations. The package includes programs ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=50578

32. FS-TST 2.0: Forensic Software Testing Support Tools ¿ Part A ¿ Test Plan, Test Design Specifications, and Test Case Specifications
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 7297-A
Published: 4/25/2005
Author: Paul E Black
Abstract: This NIST Internal Report deals with Release 2.0 of a software package, Forensic Software Testing Support Tools (FS-TST 2.0), developed to aid the testing of disk imaging tools typically used in forensic investigations. The package includes programs ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150577

33. Software Write Block, Testing Support Tools Validation Part B Test and Code Review Report
Series: NIST Interagency/Internal Report (NISTIR)
Report Number: 7207-B
Published: 3/1/2005
Author: Paul E Black
Abstract: This NIST Internal Report consists of two parts. Part A covers the planning, design, and specification of testing and reviewing the Software write block (SWB) support tools. Part B, which is a companion document, covers the test and code review su ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150302

34. Testing BIOS Interrupt 0x13 Based Software Write Blockers
Published: 3/1/2005
Authors: James R Lyle, Paul E Black
Abstract: We report observations and experience in the Computer Forensics Tool Testing (CFTT) project while developing methodologies to test interrupt 0x13 based software write block (SWB) tools. A write blocker allows access to all data on a storage device w ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150307

35. Modeling Quantum Information Systems
Published: 12/1/2004
Authors: Paul E Black, Andrew W Lane
Abstract: A simulator for quantum information systems cannot be both general, that is, easily used for every possible system, and efficient. Therefore, some systems will have aspects which can only be simulated by cunning modeling. On the other hand, a simu ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150482

36. Modeling Quantum Information Systems
Published: 8/24/2004
Authors: Paul E Black, Andrew W Lane
Abstract: A simulator for quantum information systems cannot be both general, that is, easily used for every possible system, and efficient. Therefore, some systems will have aspects which can only be simulated by cunning modeling. On the other hand, a simula ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=151702

37. Comparison of Fault Classes in Specification-Based Testing
Published: 6/1/2004
Authors: Vadim Okun, Paul E Black, Y Yesha
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 prove ...
http://www.nist.gov/manuscript-publication-search.cfm?pub_id=150489

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

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

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