Что такое ошибки ПО?

1. Ошибка есть, если поведение программы не соответствует спецификациям; но сами спецификации могут содержать ошибку.

2. Ошибка есть, если поведение программы не соответствует установленным пределам, однако, если программа случайно используется в непредвиденной ситуации, то её поведение должно быть разумным.

3. Поведение ПО не соответствует публикациям для пользователя, но ошибки могут быть и в программе, и в публикациях. В публикациях описывается только ожидаемое и планируемое поведение системы.

4. Система работает не в соответствии с требованиями пользователя, однако, эти требования обычно слабо детализированы.

В ПО есть ошибки, если оно не выполняет того, что пользователь разумно ожидает. При разработке требования к программе можно разделить на 2 группы:

- ПО должно делать то же, что выполнялось и без него ранее, но более эффективно;

- реализация новых возможностей.

Ошибка в ПО это необязательно внутреннее его свойство. Это значит , что никогда нельзя выявить всех ошибок ПО. Ошибки это ошибки как ПО, так и ожиданий пользователя.

Надёжность ПО - это вероятность его отказов в течение определённого времени с учётом стоимости отказов.

, где P_i - вероятность безотказной работы.

Оценка надёжности также включает вероятность того, что пользователь не введёт данные, выводящие систему из строя.

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

N - частота отказов

t - время

1 - аппаратура

2 - ПО

2^¢ - ПО

Эксперту очень трудно исследовать факторы, влияющие на ПО, однако очевидно, что частота сбоев ПО зависит от плотности потоков данных.

Причины:

1) Факторы, влияющие на надёжность ПО - индивидуальные особенности программиста. Соотношение эффективности профессиональных программистов 28 к 1.

2) На разработку ПО влияют сотни факторов.

Основные причины ошибок ПО - неправильный перевод информации из одного представления в другое на всех этапах.

Макромодель перевода информации.

Разновидность ошибок и их причины:

1) ошибки непонимания программиста и заказчика;

2) неверная интерпретация №№№ решений по требованиям или неявная формулировка целей;

3) самый значительный объём перевода информации и много ошибок;

4) перевод внешнего описания в структуру программных модулей (источник ошибок большой объём информации);

5) большинство ошибок при программировании обнаружимы, однако могут быть ошибки – трансляторы;

6) ошибки публикации из-за неполноты описания и плохого стиля его;

7) неучтены возможности аппаратуры: надёжность датчиков и т.п.

8) неправильное понимание базисных ПО;

9) непонимание нюансов синтаксиса и языка;

10) непонимание документации;

11) ошибки интерфейса;

12) ошибки модификации программы.

Ошибки ПО - не только ошибки программиста.

Микромодель перевода.

A,B - разные формы представления информации, R, W, M - соответственно чтение, запись и память.

1 - человек видит то, что ожидает увидеть. Проявляется стереотип восприятия. Это как вредно, так и полезно. Польза будет при правильном функционировании ПО.

Специалист - это человек, который знает стандартные ошибки в своей сфере деятельности и умеет их избежать

2 - неполное понимание

3 - забывчивость, рассеянность

4 - отвратительный стиль и подчерк.