Title :
The broad spectrum toolset for upstream testing, verification and analysis
Author :
Gerhart, Susan L.
Author_Institution :
MCC, Austin, TX, USA
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
Keywords :
program testing; program verification; software tools; Prolog; behavioral models; broad spectrum toolset; specification; test data; upstream testing; verification; window package; Data visualization; Formal specifications; History; Organizing; Packaging; Power system modeling; Problem-solving; Programming; Software testing; Software tools;
Conference_Titel :
Software Testing, Verification, and Analysis, 1988., Proceedings of the Second Workshop on
Conference_Location :
Banff, Alta.
Print_ISBN :
0-8186-0868-4
DOI :
10.1109/WST.1988.5349
