1_02 - МиСПИСТ (ТРПО Источники ошибок)
DESCRIPTION
ÂTRANSCRIPT
![Page 1: 1_02 - МиСПИСТ (ТРПО Источники ошибок)](https://reader036.vdocuments.mx/reader036/viewer/2022082508/568c4a881a28ab491698875e/html5/thumbnails/1.jpg)
Инструментально-программный
методический комплекс
Методы и средства проектирования информационных систем и технологий
Технология разработкипрограммного обеспечения
Часть 2.
Источники ошибок
в программных продуктах
![Page 2: 1_02 - МиСПИСТ (ТРПО Источники ошибок)](https://reader036.vdocuments.mx/reader036/viewer/2022082508/568c4a881a28ab491698875e/html5/thumbnails/2.jpg)
2
2.1. Интеллектуальные возможности человека
• способность к перебору;
• способность к абстракции;
• способность к математической индукции.
![Page 3: 1_02 - МиСПИСТ (ТРПО Источники ошибок)](https://reader036.vdocuments.mx/reader036/viewer/2022082508/568c4a881a28ab491698875e/html5/thumbnails/3.jpg)
3
2.2. Неправильный перевод как причина ошибок в программных средствах
Упрощенная схема разработки и применения программного продукта
Заказчик
Спецификация аппаратуры Требования к ПС
Разработчик
Внешнее описание ПС
Руководство по применению ПС
Спецификациябазового ПО
Спецификация языка программирования
Листинги программ ПС
![Page 4: 1_02 - МиСПИСТ (ТРПО Источники ошибок)](https://reader036.vdocuments.mx/reader036/viewer/2022082508/568c4a881a28ab491698875e/html5/thumbnails/4.jpg)
4
2.3. Модель перевода
Представление А Представление В
Read
Memory
Write
ЗабывчивостьОсмысливание
Чтение «между строк»
Стремление быстро записать
![Page 5: 1_02 - МиСПИСТ (ТРПО Источники ошибок)](https://reader036.vdocuments.mx/reader036/viewer/2022082508/568c4a881a28ab491698875e/html5/thumbnails/5.jpg)
5
2.4. Основные пути борьбы с ошибками
• сужение пространства перебора
(упрощение создаваемых систем);
• обеспечение требуемого уровня подготовки
разработчика (это функции менеджеров
коллектива разработчиков);
• обеспечение однозначности интерпретации
представления информации;
• контроль правильности перевода (включая
и контроль однозначности интерпретации)