Для языка Си разработана автоматизированная система тестов, ориентированная на аттестацию компиляторов с точки зрения требований мобильности.

Разработка такой системы тестов обусловлена особым положением Си в ряду других языков как языка системного программирования, ориентированного на разработку мобильного программного обеспечения [5].

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

Таким образом, целью тестирования является:

1) проверка компиляторов на соответствие описанию языка;

2) проверка зависимых от реализации средств языка, т. е. тех средств, описание которых допускает различное толкование (например, в языке Си - порядок вычисления аргументов функции);

3) проверка средств языка, которые должны определяться в конкретной реализации (например, размер объектов целого типа);

4) выявление ограничений на язык, накладываемых конкретной реализацией (например, максимальное количество различаемых идентификаторов);

5) проверка качества компилятора (главным образом полноты диагностики);

6) получение статистических данных о функционировании различных реализаций языка; эти данные могут оказаться существенно полезными при разработке мобильных программ для заданной группы машинных архитектур и операционных систем.

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