Процедура тестирования и исправления информационной базы

разработка методов и средств автоматизированного составления программ для ЭВМ по данным, представленным на некотором формальном языке. Процесс автоматизации обеспечивается средствами вычислительной техники. Автоматизация программирования способствует повышению эффективности использования ЭВМ в различных сферах их применения, а также повышению производительности труда программиста. В автоматизации программирования можно выделить дна основных тесно связанных направления: разработку языков программирования; разработку методов и средств выполнения на ЭВМ программ, написанных на языках программирования. Применяемые в автоматизации программирования методы и возникающие при этом проблемы определяются особенностями конкретных ЭВМ и, в свою очередь, оказывают существенное влияние на развитие и совершенствование их структуры.

система контроля, обеспечивающая проведение контроля без непосредственного участия человека.

это показатель работы системы, который может быть получен или измерен, а затем использован для определения эксплуатационных границ или возможностей системы. Например, объем памяти рабочей станции, количество параметров на экране, количество управляющих контуров. Атрибут системы может быть независимым или зависимым.