пользователей: 30398
предметов: 12406
вопросов: 234839
Конспект-online
РЕГИСТРАЦИЯ ЭКСКУРСИЯ

В) Основные понятия и виды корректности программ

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

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

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

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

разработано;

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

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

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


15.06.2015; 19:52
хиты: 91
рейтинг:0
Точные науки
информатика
VLSI дизайн
для добавления комментариев необходимо авторизироваться.
  Copyright © 2013-2024. All Rights Reserved. помощь