Некоторые типы контрольных механизмов в программном обеспечении:

• Модульный (блочный) контроль. 1 Выполняется в специальных условиях, вне связи контролируемого блока с другими составными частями ПО. 1 В ходе блочного контроля может производиться математическая и лингвистическая проверка. 1
• Интегрированный контроль. 1 Предполагает проверку между разными частями ПО — модулями, процедурами, вложенными структурами, осуществляемую в ходе функционирования программ. 1
• Контроль внешних факторов. 1 Это проверка соответствия внешних условий функционирования аппаратно-программного комплекса техническим требованиям. 1
• Системный контроль. 1 Реализует проверку соответствия ПО требуемым целям функционирования и взаимодействия с аппаратным компонентом. 1
• Опытно-эксплуатационный контроль. 1 Предполагает эксплуатацию ПО в реальных условиях с целью обнаружения ошибок, допущенных при отладке составляющих частей программного обеспечения. 1
• Выборочный контроль. 1 Используется для проверки некоторого модуля (процедуры), имеющего на входе достаточно большое количество возможных комбинаций. 1
• Программно-логический контроль. 2 Предполагает включение в основную программу дополнительных операций, формирующих по особым правилам избыточную информацию, позволяющую обнаруживать и, возможно, исправлять ошибки. 2
• Тестовый контроль. 2 Работоспособность компьютерной системы устанавливается путём выполнения специальной тестовой программы, для которой известен правильный результат. 2