Как называется процесс, посредством которого проверяется правильность программы?   
Ответ выразите одним словом, состоящим из строчных букв, начиная с заглавной и с точкой в конце.