- •1 Анализ технического задания и возможных способов реализации поставленной задачи.
- •2 Выбор инструментальных программных средств.
- •3 Выбор аппаратных средств.
- •4 Тестирование разработанной программы
- •4.1 Теоретическое обоснование метода тестирования
- •4.2 Контрольная задача тестирования
- •5 Программная документация
- •460.Стэп.00001-01 97 01-1
- •2004 Г.
- •1 Основание для разработки
- •2 Назначение разработки
- •3 Требования к программе
- •3.1 Требования к функциональным характеристикам
- •3.2 Требования к надежности
- •460.Стэп.00001-01 99 01-1
- •2004 Г.
- •1 Описание пользователя
- •1.1 Среда пользователя
- •1.2 Описание пользователя
- •1.3 Основные потребности пользователя
- •3.3 Кому предназначена база данных
- •6 Эксплуатационная документация
- •460.Стэп.00001-01 94 01-1
- •2004 Г.
- •1 Назначение и условия применения программы
- •2 Характеристики программы
- •3 Обращение к программе
- •4 Входные и выходные данные
- •5 Сообщения оператору
- •460.Стэп.00001-01
- •Приложение а.
- •Листинг окна главной формы.
4 Тестирование разработанной программы
4.1 Теоретическое обоснование метода тестирования
Для тестирования программного продукта используется метод тестирования называющийся «Способ диаграмм причин – следствий». Диаграммы причинно – следственной связи – это способ проектирования тестовых вариантов, который обеспечивает формальную запись логических условий и соответствующих им действий.
Шаги способа:
для каждого модуля перечисляются причины и следствия. Каждой причине и следствию присваивают свой идентификатор;
разрабатывается граф причинно – следственных связей;
граф преобразуется в таблицу решений;
столбцы таблицы решений преобразуются в тестовые варианты.
Изобразим базовые символы для записи графов причин и следствий. Причины обозначаются ci , а следствия ei .
Функция тождество – устанавливает, что если значение с1 есть 1, то и значение е1 есть 1; в противном случае значение е1 есть0.
Рисунок 4.1.1 Функция «тождество»
Функция «не» - устанавливает, что если значение с1 есть 1, то и значение е1 есть 0; в противном случае значение е1 есть1.
Рисунок 4.1.2 Функция «не»
Функция «или» - устанавливает, что если с1 или с2 есть 1,то е1 есть 1, в противном случае е1 есть 0.
V
Рисунок 4.1.3 Функция «или»
Функция «и» - устанавливает, что если и с1 и с2 есть 1, то е1 есть 1, в противном случае е1 есть 0.
Рисунок 4.1.4 Функция «и»
Часто определенные комбинации причин невозможны из-за синтаксических или внешних ограничений. Используются перечисленные ниже обозначения ограничений.
Ограничение E (Exclusive) – устанавливает, что Е должно быть истинным, если хотя бы одна из причин – а или в – принимает значение 1 (а и в не могут принимать значение 1 одновременно)
Е
Рисунок 4.1.5 Ограничение Е (исключает, Exclusive)
ОграничениеI (включает, Inclusive) – устанавливает, что по крайней мере одна и величин, а, в или с, всегда должны быть равной 1 (а, в и с не могут принимать значение 0 одновременно)
I
Рисунок 4.1.6. Ограничение I (включает, Inclusive)
Ограничение O (одно и только одно, Only one) – устанавливает, что одна и только одна величина а или в должна быть равна 1.
О
Рисунок 4.1.7. Ограничение О (одно и только одно, Only one)
Ограничение R (требует, Requires) – устанавливает, что если а принимает значение 1, то и в должна принимать значение 1, (нельзя, чтобы а было равно 1, а в – 0).
R
Рисунок 4.1.8 Ограничение R (требует, Requires)
Часто возникает необходимость в ограничениях для следствий.
Ограничение М (скрывает, Masks) – устанавливает, что если следствие а имеет значение = 1, то следствие в должно принять значение 0.
М
Рисунок 4.1.9 Ограничение М (скрывает, Masks)