Построение тестов для программ

Рассматриваются программы, написанные на языке Ассемблера ЕС ЭВМ. Вводятся понятия простого и комбинаторного критериев отладки программы, простого и комбинаторного проверяющих тестов и тестов с заданными критериями отладки. Предлагаются методы построения таких тестов и принципы построения программ отладки. Эти методы могут быть распространены и на программы, написанные на других языках.