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

Программа как формализованное описание процесса обработки данных © В.М. Гриняк, доц. каф. ИСКТ ВГУЭС Базовые понятия программирования Данные (data) – представление фактов и идей в формализованном виде, пригодном для передачи и

Слайд 1Лекции по курсу «Метрология и качество программного обеспечения»
Лекция 1. Надёжное программное средство

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

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


Слайд 2Программа как формализованное описание процесса обработки данных
© В.М. Гриняк, доц. каф.

ИСКТ ВГУЭС

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

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


Слайд 3Программа как формализованное описание процесса обработки данных
© В.М. Гриняк, доц. каф.

ИСКТ ВГУЭС

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

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


Слайд 4Понятие правильной программы
© В.М. Гриняк, доц. каф. ИСКТ ВГУЭС
Ошибки в программных

средствах

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


Слайд 5Понятие надёжной программы
© В.М. Гриняк, доц. каф. ИСКТ ВГУЭС
Надёжность программного средства
Надёжность

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

Слайд 6Понятие надёжной программы
© В.М. Гриняк, доц. каф. ИСКТ ВГУЭС
Особенности оценки надёжности

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

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

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


Слайд 7Технология программирования, как инструмент создания надёжных ПС
© В.М. Гриняк, доц. каф.

ИСКТ ВГУЭС

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

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


Слайд 8Технология программирования, как инструмент создания надёжных ПС
© В.М. Гриняк, доц. каф.

ИСКТ ВГУЭС

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

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


Слайд 9Источники ошибок в ПС
© В.М. Гриняк, доц. каф. ИСКТ ВГУЭС
Два основных

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

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


Слайд 10Источники ошибок в ПС
© В.М. Гриняк, доц. каф. ИСКТ ВГУЭС
Сложность ПС

как системы

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


Слайд 11Источники ошибок в ПС
© В.М. Гриняк, доц. каф. ИСКТ ВГУЭС
Сложность ПС

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

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

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


Слайд 12Источники ошибок в ПС
© В.М. Гриняк, доц. каф. ИСКТ ВГУЭС
Неправильный перевод

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

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


Слайд 13Источники ошибок в ПС
© В.М. Гриняк, доц. каф. ИСКТ ВГУЭС
Неправильный перевод

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

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


Слайд 14Источники ошибок в ПС
© В.М. Гриняк, доц. каф. ИСКТ ВГУЭС
Основные пути

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

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


Обратная связь

Если не удалось найти и скачать презентацию, Вы можете заказать его на нашем сайте. Мы постараемся найти нужный Вам материал и отправим по электронной почте. Не стесняйтесь обращаться к нам, если у вас возникли вопросы или пожелания:

Email: Нажмите что бы посмотреть 

Что такое ThePresentation.ru?

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


Для правообладателей

Яндекс.Метрика