Checking Models, Proving Programs, and Testing Systems

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, t...

Full description

Saved in:
Bibliographic Details
Published inTests and Proofs Vol. 6706; pp. 1 - 13
Main Author Gaudel, Marie-Claude
Format Book Chapter
LanguageEnglish
Published Germany Springer Berlin / Heidelberg 2011
Springer Berlin Heidelberg
SeriesLecture Notes in Computer Science
Subjects
software testing
software verification
Online AccessGet full text
ISBN9783642217678
3642217672
ISSN0302-9743
1611-3349
DOI10.1007/978-3-642-21768-5_1

Cover

More Information
Summary: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.
ISBN:9783642217678
3642217672
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-642-21768-5_1