Главная Теоретический материал Лабораторные работы Задачи Тесты Контакты

Узбекское Агентство
Связи и Информатизации



Ташкентский Университет Информационных Технологий


Кафедра
«Программное обеспечение информационных технологий»

Направления:

5521900Информатика и
информационные технологии,
5523500Защита информации,
5523600Электронная коммерция,
5811200Сервис (информационный сервис),
5811300Сервис (электронные и
компьютерные технологии),
5320200Информатика и
библиотековедение,
5140900Профессиональное образование
(по направлению
информатика и
информационные технологии).


Преподаватель дисциплины



Доцент
Чернев Дмитрий Алексеевич

Корректность программ

Понятие «корректность» или «правильность» подразумевает соответствие проверяемого объекта некоторому эталонному объекту или совокупности формализованных эталонных харак­теристик и правил.

Корректность или правильность программы наиболее полно определяется степенью ее соответствия предъявляемым к ней формальным требованиям программной спецификации.

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

Однако понятие корректности программ по отношению к запросам пользователя или заказчика сопряжено с неопре­деленностью самого эталона, которому должна соответствовать программа. Вследствие этого понятие корректности программ становится субъективным и его невозможно определить коли­чественно.

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

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

Формальные правила проектирования программ устанав­ливаются стандартами и инструкциями подготовки текстов прог­рамм и их структурного построения. Эталоны этого вида включают описание языка программирования, правила оформления текстов программ и описания данных, они являются наиболее уни­версальными и в ряде случаев формализуются на уровне ГОСТов на языки программирования и базу данных.

Будем считать программное изделие правильным, если оно:

-   решает действительно ту задачу, для которой оно было
разработано;

-   не «зависает» и не заканчивает свою работу аварийно;

-   удовлетворяет всем требованиям из документа «Соглашение о требованиях» («Техническое задание») с учетом их уточнений в процессе проектирования программного изделия;

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


Назад


Главная Теоретический материал Лабораторные работы Тесты Контакты