![[back]](images/backicon.gif)
Welcome to Prospero Software
Development Tools Welcome to Prospero Software
Development Tools
Prospero Software have a long association with Pascal
validation, and were retained by BSI to undertake the
maintenance, support and distribution of the Pascal Validation
Suite (PVS). The following is a general description of the suite
itself and the various associated items which are included.
General Description
The Pascal Validation Suite (PVS) provides implementors and users
with a means of assessing in detail the performance of an
implementation in relation to the definition of the language in
the relevant International Standard, ISO 7185:1990. The current
version of the PVS is 5.7, which consists of tests in the
following categories:
| Class | Level 0 | Level 1 | Total |
|---|---|---|---|
| Conformance | 221 | 16 | 237 |
| Deviance | 266 | 26 | 292 |
| Pretest | 88 | 3 | 91 |
| Error handling | 88 | 3 | 91 |
| Implementation Defined | 13 | 1 | 14 |
| Implementation Dependent | 25 | 0 | 25 |
| Implementation Defined Behaviour | 51 | 2 | 53 |
| Extension | 9 | 0 | 9 |
| Grand Total | 761 | 51 | 812 |
As can be seen from the table, the PVS is made up of various CLASSES of test, the most important being Conformance and Deviance, which between them make up approximately two thirds of the Suite. Conformance tests are designed to ensure that a processor supports all the required features of the Standard. (The term processor describes a Pascal implementation together with the environment in which it runs, typically an operating system.) Deviance tests are designed to ensure that a processor rejects incorrect constructs, to give a high level of assurance that a program accepted by that processor will be accepted by other conforming processors. The other classes check the extent to which a processor detects execution errors and other aspects of its functionality. Version 5.7 of the PVS comprises well over 22,000 lines of test code
Besides the Validation Suite proper, the issue may include a selection of programs produced by the Pascal Program Generator, which exercise various aspects of an implementation without being related to specific points in the Standard, and some tests of features of Extended Pascal. The latter may be of value to potential implementors or other interested parties.
For further information, contact:
Prospero
Development Software
London SW18 1PY
England
Telephone: +44 (0)20-8875 9011