8. Среднее время безошибочной работы t0
– среднее время между ошибками.
– статистическоеcреднее
время между двумя ошибками.
N– общее количество прогонов.
P(t)– вероятность безошибочной работы.
–
обобщенный закон надежности (λ ≠
const)
9. Основные этапы разработки по
Е
динственно
важная причина ошибок в ПО – это
неправильный перевод из одного
представления в другое.
Разработка описания реальной задачи в виде перечня требований пользователя (в некоторых случаях пользователь составляет сам). Ошибка может возникнуть если пользователь не сумеет адекватно выразить свои потребности, либо они будут неверно поняты, либо учтены не в полном объеме. Ошибки этого уровня обходятся чрезвычайно дорого.
Перевод требований пользователя в цели программы. Ошибки на этом этапе возникают, когда неверно определяются требования.
Преобразование цели программы в ее внешние спецификации, т.е. поведение всей системы с точки зрения пользователей. По объему перевода это самый значительный этап, он больше всего подвержен ошибкам.
Этот этап представляет собой несколько переводов от внешнего описания готового продукта до получения готового проекта:
перевод внешнего описания в структуру программы (например, модуль);
перевод каждой из этих компонент в описание процедурных шагов (например, блок-схему).
Перевод описания логики программы в предложения языка программирования. На этом этапе делается много ошибок, но они легко обнаруживаются и корректируются. На этом этапе есть еще один перевод – перевод текста программы на языке программирования в объектный код (выполняется компиляторами и трансляторами).
В результате работы над программным проектом возникает документы, описывающие использование ПО в виде руководств в бумажном или электронном виде. Если возникают ошибки при подготовке документации, то она не будет точно описывать поведение программы.
Например разработчик операционной системы опирается на описание процессора (набор команд, прерывания, средства защиты и т.д.) и периферийного оборудования. Неправильное толкование этих данных может привести к ошибкам в программе.
Прикладные программы взаимодействуют с базовым ПО (таким, например, как ОС). Неправильное понимание документации по базовому ПО – еще один источник ошибок.
Готовая программа состоит из предложений хотя бы одного языка программирования. Непонимание синтаксиса и семантики языка – также причина ошибок.
Есть две формы связи между пользователем и готовой программой – это руководство, описывающее использование и непосредственно работа с ним. Этот шаг представляет собой изучение пользователем руководств и перевод их содержания в его понимание того, как он желает применять программу.
10. Модель перевода входной информации в выходную
А – исходная информация.
В – результирующая информация.
ЧМ – читающий механизм (области мозга, управляющие зрением и слухом).
ПАМ – память.
ПМ – пишущий механизм (области мозга, управляющие речью и движением рук).
Человек получает информацию с помощью ЧМ.
Человек запоминает информацию в своей памяти.
Выбирает из памяти эту информацию, а также информацию, описывающую процесс перевода, выполняет перевод и посылает результат своему ПМ.
Информация физически распространяется с помощью печати на терминале или с помощью речи.
Ошибки
Одна из способностей человека – понимать входную информацию, сопоставляя ее с образами, созданными образованием и жизненным опытом. Человек читает документ А и видит то, что хочет, а не то, что написано, пытается восстановить недостающие факты или не понимает информацию. Ошибки могут присутствовать и в самом документе А.
В большинстве случаев, чтобы правильно запомнить информацию надо ее понять. Ошибки появляются в результате неправильной интерпретации или полного непонимания входной информации. Информация может быть слишком сложной или двусмысленной, образовательный уровень человека может оказаться недостаточно высоким.
Человек может забыть входную информацию А либо точные правила выполнения перевода. Слабость других умственных способностей, таких как четкость мышления, также способствует появлению ошибок.
Многие не умеют ясно писать или выражать свои мысли, это затуманивает смысл их сообщений. Если количество выходной информации велико человека начинает использовать сокращения либо предполагает, что факты будут интуитивно очевидны. Это увеличивает вероятность того, что следующий участник процесса разработки при переводе совершит ошибки.