Basis Path Testing
I have a MS and a BS in computer science, a BA in philosophy and
a minor in history.
Basis Path TestingBasis Path Testing is a technique for unit testing. This method involves taking a program flowgraph and determining a basis set of test paths. A basis set has the two following properties:
Communication Technology
for Distributed Health Care
This was a demonstration project comparing five methods of distributed
communication mechanisms (CORBA, OLE, SQL/RDA, RPC and sockets)
for use in a health care environment. We explored the areas of
distributed communication methods and
role based access control. There is a
demonstration that you can view. The results of this project are
detailed in NISTIR5820.
Unravel - A Tool for Program Slicing
Unravel is a static analysis tool that calculates dependency flowgraphs
for program variables and allows the user to specify a variable
and a line of code to get the subset of code lines that could
change that variable (program slicing). If you want more information,
see the Unravel
project page or the two volume documentation set for details on the
tool. NISTIR 5691,
vol. 1 (postscript) is a design and evaluation document, while
NISTIR 5691,
vol. 2 (postscript) is the user manual.
(in reverse publication order)
Poole, Barkley, Brady, Cincotta, and Salamon, "NISTIR 5820 -- Distributed Communication Methods and Role-Based Access Control for Use in Health Care Applications", April, 1996. (compressed Postscript, 182k)
Poole, J., "NISTIR 5737 -- A Method to Determine a Basis Set of Paths to Perform Program Testing", November, 1995. (compressed Postscript, 68k)
Lyle, Wallace, Graham, Gallagher, Poole and Binkley, "NISTIR 5691 -- Unravel: A CASE Tool to Assist Evaluation of High Integrity Software", Volume 1 and 2, August, 1995.
Hoover, D. and Poole, J., A Distributed Self-stabilizing Solution
to the Dining Philosophers Problem, Information Processing
Letters, vol 41, March 18, 1992, pg. 209-213.