Инструментально-программный

методический комплекс

Методы и средства проектирования информационных систем и технологий

Технология разработкипрограммного обеспечения

Часть 2.

Источники ошибок

в программных продуктах

2

2.1. Интеллектуальные возможности человека

• способность к перебору;

• способность к абстракции;

• способность к математической индукции.

3

2.2. Неправильный перевод как причина ошибок в программных средствах

Упрощенная схема разработки и применения программного продукта

Заказчик

Спецификация аппаратуры Требования к ПС

Разработчик

Внешнее описание ПС

Руководство по применению ПС

Спецификациябазового ПО

Спецификация языка программирования

Листинги программ ПС

4

2.3. Модель перевода

Представление А Представление В

Read

Memory

Write

ЗабывчивостьОсмысливание

Чтение «между строк»

Стремление быстро записать

5

2.4. Основные пути борьбы с ошибками

• сужение пространства перебора

(упрощение создаваемых систем);

• обеспечение требуемого уровня подготовки

разработчика (это функции менеджеров

коллектива разработчиков);

• обеспечение однозначности интерпретации

представления информации;

• контроль правильности перевода (включая

и контроль однозначности интерпретации)