More Related Content
Similar to МиСПИСиТ (источники ошибок) (20)
More from Ural Federal University named after First President of Russia B.N. Yeltsin (20)
МиСПИСиТ (источники ошибок)
- 1. 1
Часть 2.
Источники ошибок
в программных продуктах
(©) Владислав Лавров, vlavrov.com
Методы и средства проектирования
информационных систем и технологий
- 2. 2
2.1. Интеллектуальные возможности человека
• способность к перебору;
• способность к абстракции;
• способность к математической индукции.
(©) Владислав Лавров, vlavrov.com
- 3. 3
2.2. Неправильный перевод как причина ошибок
в программных средствах
Упрощенная схема разработки и применения программного продукта
Заказчик
Спецификация
аппаратуры
Требования к ПС
Разработчик
Внешнее
описание ПС
Руководство по
применению ПС
Спецификация
базового ПО
Спецификация языка
программирования
Листинги
программ ПС
(©) Владислав Лавров, vlavrov.com
- 4. 4
2.3. Модель перевода
Представление А Представление В
Read
Memory
Write
ЗабывчивостьОсмысливание
Чтение
«между строк»
Стремление
быстро
записать
(©) Владислав Лавров, vlavrov.com
- 5. 5
2.4. Основные пути борьбы с ошибками
• сужение пространства перебора
(упрощение создаваемых систем);
• обеспечение требуемого уровня подготовки
разработчика (это функции менеджеров
коллектива разработчиков);
• обеспечение однозначности интерпретации
представления информации;
• контроль правильности перевода (включая
и контроль однозначности интерпретации)
(©) Владислав Лавров, vlavrov.com