Технологические аспекты разработки ПО АСОИУ. - 45 стр.

UptoLike

Рубрика:

6) проверку сомнительных с точки зрения операторов программных

модулей следует производить с помощью специальных тестовых программ

или тестов.

В практике программирования выработан ряд правил, позволяющих из-

бежать или, по крайней мере, минимизировать серьёзные ошибки и упро-

стить отладку программных средств. Ван Тассел обобщает это следующим

образом: «Самый лучший способ организации отладки − это сведение к ми-

нимуму необходимости в ней» [1]. Конкретный состав этих правил во мно-

гом определяется используемой операционно-программной средой. При ко-

дировании алгоритмов следует придерживаться следующих правил:

1) не применяйте малораспространённых и непроверенных способов и

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

2) по возможности избегайте принципа умолчания;

3) не возводите в абсолют достоверность входных данных и заданность

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

верки перед принятием решений;

4) сводите к минимуму обращения из программы к пользователю и сис-

теме; если это необходимо, проверяйте вводимые данные.

Основными разновидностями контроля программного обеспечения яв-

ляются визуальный, статический и динамический.

Визуальный контроль – это проверка программ «за столом», без ис-

пользования компьютера. На первом этапе визуального контроля осуще-

ствляется чтение программы, причём особое внимание уделяется сле-

дующим её элементам:

– комментариям и их соответствию тексту программы;

– условиям в операторах условного выбора (IF, CASE) и цикла;

– сложным логическим выражениям;

– возможности незавершения итерационных циклов (WHILE, REPEAT,

LOOP).