
(Eng:
program verification) De controle op de juiste werking van een computerprogramma. Dit gebeurt over het algemeen door gebruik te maken van een aantal testgevallen waarvan de uitkomsten bekend zijn. programmeerbaar logisch besturingsapparaat (programmable logic Een PLC bezit een architectuur die veel op die van een normale computer lijkt...
Gevonden op
https://www.angelfire.com/ca/vlietstra/CADCAM.pdf

(Eng:
program verification, debugging) Proces waarin een programma op de juistheid wordt gecontroleerd en eventuele fouten uit het programma worden verwijderd.
Gevonden op
https://www.angelfire.com/ca/vlietstra/KNSTINTL.pdf
Geen exacte overeenkomst gevonden.