Мобильность

Естественность

Простота

Гибкость

Надежность

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

Почему необходимо выявить как можно больше ошибок на стадии трансляции:

o Чем раньше при разработке программы обнаружена ошибка, тем меньше стоимость самого проекта;

o Трансляция может быть выполнена на любой машине, воспринимающей входной язык, в то время как тестирование оттранслированной программы должно выполняться на целевой машине либо с использованием программ интерпретации, специально разработанных для тестирования.

Способы проверки правильности программы: использование формальных методов верификации программ, проверка путем чтения текста программы, прогон программы с тестовыми наборами данных.

Принципиальным средством достижения высокой надежности языка на этапе трансляции является система типизации данных.

Пример с индексацией массива: Дан массив A из 100 целых чисел.

A[i] ® 1 £ i £ 100.

Обеспечить это условие можно двумя способами:

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

2. Специфицировать область значений при описании переменной i. В этом случае проверка значения переменной i будет выполняться во время присваивания ей значения.

Надежность языка программирования связана с его удобочитаемостью.

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

Требование гибкости языка конфликтует с понятием надежности.

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

Концептуальная целостность языка: экономия, ортогональность и единообразие понятий.

Экономия понятий языка предполагает использование минимального числа понятий.

Ортогональность понятий означает, что между ними не должно быть взаимного влияния.

Единообразие понятий требует согласованного, единого подхода к описанию и использованию всех понятий.

Наиболее простыми являются языки функционального программирования.

Язык должен иметь такой синтаксис, который позволил бы отражать в программе логические структуры, лежащие в основе реализуемого алгоритма.

Мобильность означает возможность переносить программы с одной платформы на другую с относительной легкостью.

Стандарт является единственным способом обеспечения единообразия различных реализаций языка.

Международные стандарты разрабатываются Организацией Международных Стандартов

ISO – International Standards Organization

Дата добавления: 2014-01-13