Испытания программного продукта

5. Испытания программного продукта.

Надежность программного обеспечения (ПО) есть вероятность его работы без отказов в течении определенного периода времени, рассчитанная с учетом стоимости для пользователя каждого отказа [9] . Надежность программного обеспечения как определяющий элемент его качества закладывается на этапе разработки и проектирования, реализуется на этапе реализации ПО [11]. Выбор критериев, которыми должна определятся надежность ПО, отыскание оптимальной по отношению к этим критериям его структуры, выбор режима работы ПО – вот далеко не полный перечень тех проблем, которые должны быть решены на этапе создания и реализации ПО до его эксплуатации. Поэтому для обеспечения надежности ПО зачастую используют такие термины, как доказательство, тестирование, отладка, контроль и испытание, которые часто используются как синонимы, поэтому приведём эти определения:

¨   Тестирование (testing) - процесс выполнения программы или части программы, с намерением или целью найти ошибки;

¨   Доказательство (proof) - попытка найти ошибки в программе безотносительно к внешней для программы среде. Большинство методов доказательства предполагает формулировку утверждений о поведении программы и затем вывод и доказательство математических теорем о правильности программы.

¨   Контроль (verification) - попытка найти ошибки в тестовой, или моделируемой среде;

¨   Испытание (validation) - попытка найти ошибки, выполняя программу в заданной реальной среде;

¨   Аттестация (certification) - авторитетное подтверждение правильности программы. При тестировании с целью аттестации выполняется сравнение с некоторыми заранее определённым стандартом;

¨   Отладка (debugging) не является разновидностью тестирования. Хотя “отладка” и “тестирование” часто используются как синонимы, под ними подразумеваются разные виды деятельности. Тестирование – деятельность, направленная на обнаружение ошибок; отладка направлена на установление точной природы известной ошибки.

5.1. Справочные документы.

Испытания программного продукта производятся с использованием следующей справочной литературы:

1.   ГОСТ Р28195-89 Оценка качества программных средств.

2.   ISO/IEC 9126 : 1991 Information Technology Software Product Quality Characteristics.

3.   Стандарты разработки ПО ESA PSS-05-0-1991.

5.2. Краткий обзор верификации .

Верификация обозначает:

¨   действие по проверке, инспекции, тестированию, контролю процессов, определённых требованиями ANSI –78

¨   процесс определения: удовлетворяет ли продукт данной фазе ЖЦ ПО требованиям, сформулированным на протяжение предыдущих фаз;

¨   формальное доказательство корректности программы.

¨   верификация необходима для обеспечения качественных характеристик продукта.

Ряд определений, приведённый ниже, охватывает вторую сторону тестирования: типы ошибок, которые предполагается обнаружить, и стандарты, с которыми сопоставляются тестируемые программы.

¨   Тестирование модуля или автономное тестирование – контроль отдельного программного модуля, обычно в изолированной среде (т.е. изолированно от всех остальных модулей). Тестирование модуля иногда также включает математическое доказательство.

¨   Тестирование сопряжений – контроль сопряжений между частями системы (модулями, компонентами подсистемами).

¨   Комплексное тестирование – контроль и/или испытание системы по отношению к исходным целям. Комплексное тестирование является процессом контроля, если оно выполняется в моделируемой среде, и процессом испытания, если выполняется в среде реальной, жизненной.

¨   Тестирование приемлемости – проверка соответствия программы требованиям пользователя.

5.3. Процессы верификации.

Верификацию, тестирование и испытания разрабатываемой системы будем производить в соответствии со стандартами ES-PSS-05.

Процесс верификации включает в себя:

¨   технические проверки, сквозные контроли и инспекции ПО;

¨   проверки того, что требования к ПО соответствуют требованиям заказчика;

¨   проверки того, что требования к проекту являются соответствующими требованиям ПО;

¨   автономное тестирование;

¨   системное тестирование;

¨   приёмочное тестирование;

¨   ревизии.

Исходя из выше изложенного, были проведены тестовые испытания программного продукта.

5.3.1. Сквозной контроль.

Эффективный прием оценки детальных внешних спецификаций – подготовить тесты и затем воспользоваться детальными внешними спецификациями для имитации поведения системы. Этот процесс часто называют сквозным контролем [10] или прослеживанием.

Для проверки отдельных внешних функций должны быть выполнены следующие действия. Кто-то (не автор спецификаций) должен сначала построить “тесты на бумаге” для этой функции, т.е. список конкретных входных данных (допустимых и недопустимых). Вместе с автором спецификаций затем имитируют ввод этих данных в cистему, используя спецификации как описание поведения системы. Если оказывается, что спецификации описывают выходные данные или преобразование для какого-то набора входных данных недостаточно полно и правильно, это означает, что обнаружена ошибка.

Важно отметить, что цель всякого такого сеанса сквозного контроля – обнаружить ошибки, но не исправлять их сразу.

Используя данный прием тестирования, были протестированы запросы осуществляемые к базе данных (БД) созданной системы. Для этого на вход подавались различные запросы к БД (См. приложение B).

В результате проведения теста было зафиксировано, что корректные запросы обрабатываются БД согласно предполагаемому результату, время обработки запроса отвечает указанному в ТЗ (не более 3 секунд при минимальной конфигурации, процессор Intel 586). При попытке осуществить некорректный запрос к БД не всегда выдаются сообщения об ошибках, либо не указано какие действия необходимо предпринять для правильной работы системы.

Похожие работы

Организация обработки информации на ЭВМ по формированию плана поставок готовой продукции

Скачать

28952

3

0

... оно осуществляет свою деятельность, чем больше на предприятие осуществляется поставок, тем более стабильно работает данное предприятие. При осуществлении поставок на предприятие производится обработка и хранение большого количества информации, связанной с поставками, которая в себя включает: своевременное и правильное оформление документов и контроль за каждой операцией поступления товаров от ...

Организация учета и контроля реализации готовой продукции и анализ финансовых результатов от реализации

Скачать

175607

38

8

... продукции для столицы Беларуси. На предприятии внедрены передовые технологии и высокопроизводительное оборудование ведущих отечественных и зарубежных фирм, которые позволяют добиваться высоких производственных показателей. 2. ОРГАНИЗАЦИЯ УЧЕТА И КОНТРОЛЯ РЕАЛИЗАЦИИ ГОТОВОЙ ПРОДУКЦИИ 2.1. Документальное оформление операций по реализации готовой продукции Первичный учет представляет собой ...

Проектирование и разработка информационной системы на примере магазина "Computer Master"

Скачать

29909

2

6

... создания. Ответственность за разработку ТЗ несет основной разработчик. 3.1 Общие сведения Полное наименование АИС: Информационная система по автоматизации учёта товаров и денежных потоков на предприятии «Computer Master». Условное обозначение: АИС – «Computer Master». Разработка ведется на основании договора №1 от 09.11.09 между заказчиком (Виктором Ивановичем директор «Computer Master») ...

Автоматизация учета продажи товаров в ООО Мастер-СД

Скачать

114116

18

0

... существующей технологии можно отнести отсутствие связи с бухгалтерией и таких отчетных форм, как прайс-лист по наличию товаров на складе, т.к. он наглядно показывает наличие замков. 1.5. Постановка задачи автоматизации учета продажи товаров в ООО "Мастер-СД" 1.5.1. Цель автоматизированного решения задачи учета продажи товаров   Назначением реализации проекта "Автоматизация учета продаж в ООО ...