Характерные для современного этапа развития вычислительной техники высокие темпы смены аппаратуры, появление массовых ЭВМ с различными архитектурами, сдвиг доли затрат в сторону разработки программ, создание сетей ЭВМ обусловливают актуальность проблемы мобильности программного обеспечения.

Основными средствами решения этой проблемы являются: 1) описание стандарта языка программирования, 2) контроль программ, 3) контроль языковых процессоров.

Пользователей перечисленных средств можно условно разбить на три группы:

1) разработчики компиляторов;

2) пользователи, занимающиеся переносом программ с машины на машину;

3) обычные пользователи, имеющие дело с конкретными языковыми процессорами.

Каждой группе пользователей присуща своя точка зрения па применение указанных выше средств.

Соблюдение стандарта языка при разработке объектов стандартизации - прикладных программ и языкового процессора - одно из важнейших условий решения проблемы мобильности. Эффективность стандартизации, главной целью которой является именно повышение мобильности программной продукции, подтверждается практическим опытом и анализом различных способов достижения мобильности.

Стандарты существуют почти для всех распространенных языков программирования. В данной статье в качестве основы стандарта языка Си принимается предварительное описание, представляющее собой формализованное описание языка, изложенного в работе.

Основными средствами контроля программ на мобильность являются верификаторы и фильтры. Фильтр следит за тем, чтобы использовалось только заданное подмножество языка. Цель верификатора состоит в обнаружении в программах отклонений от заданного стандарта языка. Кроме того, верификаторы выполняют, как правило, ряд вспомогательных действий. Так, верификатор языка Си, называемый Линт, обнаруживает в программе использование машиннозависимых средств языка, а также места программы, сомнительные с точки зрения прагматики языка, например недоступные операторы.

Очевидно, в работе верификаторов и фильтров пользователей 2й из перечисленных групп интересует прежде всего решение вопросов мобильности, 3й группы-вопросов прагматики, 1й группы - в разной степени и то и другое, причем использование верификаторов может оказаться существенно полезным для разработчиков мобильных компиляторов.