Personal tools
You are here: Home Knowledge Model REPOSITORY of Terms V Verification

Verification

by Kyriakos Kritikos last modified Apr 26, 2012 15:30
— filed under:

Definition of the term Verification

Definitions

Term:
Verification
Domain: Cross-cutting issues
Engineering and Design
(KM-ED)
Adaptation and Monitoring
(KM-AM)
Quality Definition, Negotiation and Assurance
(KM-QA)
Generic
(domain independent)
D
o
m
a
i
n
:
L
a
y
e
r
s

Business Process Management
(KM-BPM)




Service Composition and Coordination
(KM-SC)




Service Infrastructure
(KM-SI)




Generic
(domain independent)



The main aim of verification is to check that a system meets some properties. These are sometimes generic, as termination, absence of deadlocks or starvation, temporal ordering of actions (e.g., making sure X is always done before Y ), and sometimes these are related to an intended behavior which has been stated in a previous design stage. [PO-JRA-2.2.1][Wikipedia]

 

Competencies

 

References

Document Actions
  • Send this
  • Print this
  • Bookmarks

The Plone® CMS — Open Source Content Management System is © 2000-2017 by the Plone Foundation et al.