DocumentCode
2618484
Title
The broad spectrum toolset for upstream testing, verification and analysis
Author
Gerhart, Susan L.
Author_Institution
MCC, Austin, TX, USA
fYear
1988
fDate
19-21 Jul 1988
Firstpage
4
Lastpage
12
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Testing, Verification, and Analysis, 1988., Proceedings of the Second Workshop on
Conference_Location
Banff, Alta.
Print_ISBN
0-8186-0868-4
Type
conf
DOI
10.1109/WST.1988.5349
Filename
5349
Link To Document