Полное тестирование с открытым состоянием ограниченно недетерминированных систем




Скачать 0.68 Mb.
Название Полное тестирование с открытым состоянием ограниченно недетерминированных систем
страница 1/6
Тип Документы
rykovodstvo.ru > Руководство эксплуатация > Документы
  1   2   3   4   5   6

И.Б.Бурдонов, А.С.Косачев.

Полное тестирование с открытым состоянием ограниченно недетерминированных систем.

Труды Института системного программирования РАН, N 17, 2009, стр.161-192.

32 стр.

_____________________________________________________

Полное тестирование с открытым состоянием ограниченно недетерминированных систем


Бурдонов И.Б., Косачев А.С.

Институт системного программирования РАН,

{igor,kos}@ispras.ru

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

1.1. Введение


Тестирование понимается как проверка соответствия (конформности) реализации требованиям, сформулированным в виде спецификации. Тестирование считается полным, если оно однозначно отвечает на вопрос: есть в реализации ошибки или нет, где под ошибкой понимается нарушение требований, то есть неконформность реализации спецификации. Для практического применения тестирование должно заканчиваться за конечное время. К сожалению, во многих случаях тестирование либо неполно, либо бесконечно. Решение проблемы можно искать, сужая класс рассматриваемых реализаций и/или предполагая дополнительные тестовые возможности. В некоторых случаях удаётся построить частные алгоритмы полного и конечного тестирования, но применимые только для рассматриваемого класса реализаций и использующие дополнительные тестовые возможности.

Основными причинами бесконечности полного тестирования являются объём реализации и/или спецификации и недетерминизм реализации.

Если объём требований, описываемых спецификацией, бесконечен, мы не сможем их все проверить за конечное время, то есть конечное тестирование будет заведомо неполным. Если объём требований конечен, но каждое или некоторые из них нужно проверять в бесконечном числе ситуаций, то за конечное время мы также не сможем это сделать. Для полноты конечного тестирования нужно, чтобы реализация имела конечное число неэквивалентных ситуаций, в которых нужно проверять требования спецификации, то есть реализация также должна быть конечной.

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

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

В данной статье мы рассматриваем тестирование конечной реализации по конечной спецификации с двумя дополнительными предположениями: 1) тестирование с открытым состоянием – у нас есть возможность наблюдать состояния реализации, в которых мы оказываемся в процессе тестирования, 2) реализация ограниченно-недетерминирована – если одно и то же тестовое воздействие повторяется в одном и том же состоянии реализации достаточное, известное заранее число раз, то реализация демонстрирует все возможные варианты поведения. Для этого случая мы предлагаем алгоритмы конечного и полного тестирования и даём оценки числа тестовых воздействий и объёма вычислений.

Статья состоит из четырёх основных разделов. Во 2-ом разделе кратко излагаются основные положения теории конформности, которые были изложены в работах авторов [[11],[13],[14]]. В 3-ом разделе обсуждаются проблемы практического тестирования и пути их решения. В 4-ом и 5-ом разделах описываются алгоритмы тестирования, доказывается конечность и полнота тестирования и приводятся оценки сложности.
  1   2   3   4   5   6

Похожие:

Полное тестирование с открытым состоянием ограниченно недетерминированных систем icon В. В. Миняйлов Тестирование учащихся по английскому языку в системе дистанционного обучения
Рис Пока вы его не увидели – тестирование не пройдено, и его результаты засчитаны не будут (в этом случае Вам понадобится пройти...
Полное тестирование с открытым состоянием ограниченно недетерминированных систем icon Исследование потенциальных клиентов Продвижение на рынке «Чудесного оволосителя Джо»
Когда использовать тестирование с разбивкой на первый-второй и многомерное тестирование
Полное тестирование с открытым состоянием ограниченно недетерминированных систем icon Содержание Модуль «Тестирование»
Модуль «Тестирование» в составе по системы S. Builder предназначен для организации на сайте тестирования, например, профориентационного...
Полное тестирование с открытым состоянием ограниченно недетерминированных систем icon Как пройти тестирование при приеме на работу
В наши дни, очень распространенным становится тестирование при приеме на работу. Эта статья ответит на основные вопросы
Полное тестирование с открытым состоянием ограниченно недетерминированных систем icon Типовая инструкция по эксплуатации систем контроля и управления теплоэнергетического
Разработано Открытым акционерным обществом ''Фирма по наладке, совершенствованию технологии и эксплуатации электростанций и сетей...
Полное тестирование с открытым состоянием ограниченно недетерминированных систем icon Инструкция по созданию тестов на странице преподавателя
На странице преподавателя имеется возможность преподавателю предоставить студентам тестирование (например, для подготовки к зачету)....
Полное тестирование с открытым состоянием ограниченно недетерминированных систем icon Инструкция по проверке трансформаторов тока, используемых в схемах релейной защиты и измерения
Разработано Открытым акционерным обществом "Фирма но наладке, совершенствованию технологии и эксплуатации электростанций и сетей...
Полное тестирование с открытым состоянием ограниченно недетерминированных систем icon Тестеры c ерии mdx -600 Для проверки проводимости аккумуляторных...
Новая серия тестеров mdx-600 позволяет проводить тестирование аккумуляторных батарей без риска, быстро и просто
Полное тестирование с открытым состоянием ограниченно недетерминированных систем icon Национальный стандарт российской
Разработан открытым акционерным обществом «Головной научно-исследовательский и проектный институт по распределению и использованию...
Полное тестирование с открытым состоянием ограниченно недетерминированных систем icon Методические рекомендации проектирование систем газопотребления жилых...
Разработаны некоммерческим партнерством Саморегулируемая организация «Газораспределительная система. Проектирование» нп сро «ГС....
Полное тестирование с открытым состоянием ограниченно недетерминированных систем icon Постановление от 30 октября 2015 г. N 410 о порядке надзора за эксплуатацией...
Республике Саха (Якутия), в целях обеспечения надзора за техническим состоянием аттракционной техники на территории Республики Саха...
Полное тестирование с открытым состоянием ограниченно недетерминированных систем icon 1. 1 Полное наименование системы и ее условное обозначение
Полное наименование системы: Единая автоматизированная система учета кадров всех государственных предприятий "ас кадры"
Полное тестирование с открытым состоянием ограниченно недетерминированных систем icon Анализ причин аварийности и травматизма в поднадзорных организациях За 2016 год
Пао «Нижнекамскнефтехим», а эксплуатирующей организацией является ОАО «тгк-16». В 2014 году ООО «Инженерный центр по экспертизе и...
Полное тестирование с открытым состоянием ограниченно недетерминированных систем icon Профессионально-диагностическое тестирование, интерпретация полученных результатов Цели
Профессионально-диагностическое тестирование, интерпретация полученных результатов
Полное тестирование с открытым состоянием ограниченно недетерминированных систем icon Об утверждении единых правил безопасности при разработке месторождений...
Утвердить Единые правила безопасности при разработке месторождений полезных ископаемых открытым способом
Полное тестирование с открытым состоянием ограниченно недетерминированных систем icon Методические рекомендации по техническому диагностированию трубопроводов...
Методические рекомендации предназначены для применения организациями, осуществляющими эксплуатацию тепловых сетей (систем транспорта...

Руководство, инструкция по применению






При копировании материала укажите ссылку © 2024
контакты
rykovodstvo.ru
Поиск