The broad spectrum toolset for upstream testing, verification and analysis

Abstract

A description is given of a suite of tools to support analysis of properties of sequences associated with a specification, with input or output to a program, or with simple behavioral models of a system under design. The toolset's capabilities include: generating sequences to satisfy combinations of conditions, organizing these condition combinations as tables of cases to serve as test data and visualizing the effects of executing a chosen sequence. The technology base is Prolog extended with a powerful window package.<>