Using a program slicing case tool for evaluating high integrity software systems

This paper describes a Computer Aided Software Engineering (CASE) tool, unravel, that can assist in the evaluation of high integrity software by using program slices to extract a software channel of code for examination and test. The tool, available through the National Institute of Standards and Technology, can currently be used to evaluate software written in ANSI C and is designed such that other languages can be added. The opinions and viewpoints presented herein are those of the authors and do not necessarily represent the criteria, requirements and guidelines of the U.S. Nuclear Regulatory Commission.