Software verification and validation in practice and theory (Position Statement)

Authors:
Sabina H. Saib
Affiliations:
-
Venue:
ACM '78 Proceedings of the 1978 annual conference - Volume 2
Year:
1978

Citing 2
Cited 0

Pascal user manual and report; 3rd ed.

Pascal user manual and report; 3rd ed.
A software quality assurance experiment

Proceedings of the software quality assurance workshop on Functional and performance issues

Quantified Score

Hi-index	0.00

Visualization

Abstract

The techniques and tools that are available to the developer of practical software systems today are oriented towards the detection of errors in a test environment. That is, the software has been designed, coded, walked through, and tested by the designers, and is now to be subjected to outside verification and validation. Among the test tools that can be used to aid in the testing process are JAVS1, FAVS2, RXVP3, PACE4, and PET5.