Надёжное программное средство как продукт технологии программирования. Источники ошибок в программных средствах. (Лекция 1) презентация

как продукт технологии программирования. Источники ошибок в программных средствах.

© В.М. Гриняк, доц. каф. ИСКТ ВГУЭС

ИСКТ ВГУЭС

Базовые понятия программирования

Данные (data) – представление фактов и идей в формализованном виде, пригодном для передачи и переработки в некоем процессе;
Информация (information) – смысл, придаваемый данным при их представлении;
Обработка данных (data processing) – выполнение систематической последовательности действий с данными;
Носители данных – аппаратные средства, предназначенные для хранения данных;
Информационная среда (data medium) – совокупность носителей данных, используемых при какой-либо их (данных) обработке;

ИСКТ ВГУЭС

Базовые понятия программирования (продолжение)

Состояние информационной среды – набор данных, содержащийся в информационной среды в какой-либо момент;
Процесс – последовательность сменяющих друг друга состояний некоторой информационной среды;
Программа – формализованное описание процесса;
Программное средство – программа, снабжённая документацией.

средствах

Говорят, что ПС содержит ошибку (software error), если оно не выполняет того, что разумно ожидать от неё пользователю.
Если программа не соответствует своей функциональной спецификации, то такая ошибка называется дефектом программы (defect).
Правильная программа – программа не содержащая ошибок.
Принципиально невозможно доказать правильность программы формальными методами или тестированием, т.к. можно доказать лишь наличие ошибок, а не их отсутствие.

(reliability) программного средства – его способность безотказно выполнять определённые функции при заданных условиях с достаточно большой вероятностью. Эта вероятность и есть мера надёжности.
Отказ ПС – проявление в нём ошибки.
Убедиться в надёжности ПС можно путём тестирования. Таким образом, фактически, можно разрабатывать лишь надёжные а не правильные программные средства.

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

При оценке степени надёжности ПС следует учитывать последствия каждого отказа (мера таких последствий называется стоимостью).

Надёжность ПС есть одна из важнейших характеристик его качества.

ИСКТ ВГУЭС

Основные понятия технологии программирования

Технология программирования (programming technology) – совокупность производственных процессов, приводящую к созданию требуемого ПС и описание этой совокупности (центральное место – процесс разработки).
Программная инженерия (software engineering) – систематический подход к разработке, эксплуатации, сопровождению и изъятию из обращения ПС (центральное место – методы и средства).

ИСКТ ВГУЭС

Основные подходы современной технологии программирования

Рассматриваются все процессы разработки ПС, начиная с момента возникновения замысла ПС;
Рассматриваются не только вопросы построения программных конструкций, но и вопросы описания функций и принимаемых решений с точки зрения их неформального восприятия;
В качестве конечного продукта принимается именно надёжное (то есть далеко не всегда правильное) программное средство.

источника ошибок в ПС

Сложность программного средства как системы
Неправильный перевод (человеческий фактор)

как системы

Система – совокупность взаимодействующих друг с другом элементов. Любая программа является системой.
Простая система – та, в которой человек может уверенно перебрать все пути взаимодействия между элементами;
Сложная система – такая система, в которой перебрать все пути взаимодействия между элементами человек не в состоянии.
Сложность системы определяется числом потенциальных взаимодействий между её элементами типа «каждый с каждым», то есть n!.

как системы (продолжение)

Система называется малой, если n < 7 (n!<1000).
Система называется большой, если n >7 (n!>1000).
Малая система всегда простая, а большая может быть как простой, так и сложной.

Задача технологии программирования с точки зрения построения качественных ПС – делать большие системы простыми. Достигается это посредством группировки и обобщения.

(человеческий фактор)

Этапы перевода информации при разработке ПС:

(человеческий фактор - продолжение)

На каждом из этапов разработки ПС перевод информации может быть осуществлён неправильно, например, из-за неправильного понимания исходного представления информации. Возникнув на одном из этапов разработки ПС, ошибка в представлении информации преобразуется в новые ошибки результатов. Полученных на последующих этапах разработки, и, в конечном счёте, окажется в ПС.

борьбы с ошибками

сужение пространства перебора (упрощение создаваемых систем);
обеспечение требуемого уровня подготовки разработчиков (функция менеджеров коллектива разработчиков);
обеспечение однозначности интерпретации представления информации, контроль правильности перевода (включая и контроль однозначности интерпретации – путём верификации рабочих продуктов).