We are all faced up to a flowering of concepts and methods in the area of software verification and validation, due to significant advances in the domain. This paper considers the main terms and expressions currently in use on the subjects of model, specification, program, system, proof, checking, testing. Some analysis of the use and combination of these terms is sketched, pointing out some confusions and discrepancies. This leads to a plea for clarification of the taxonomy and terminology. The aim is a better identification of the general concepts and activities in the area, and the development of some uniform basic terminology helping communication and cooperation among the scientific and industrial actors. © 2011 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Gaudel, M. C. (2011). Checking models, proving programs, and testing systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6706 LNCS, pp. 1–13). https://doi.org/10.1007/978-3-642-21768-5_1
Mendeley helps you to discover research relevant for your work.