Полное тестирование с открытым состоянием ограниченно недетерминированных систем
|
Скачать 0.68 Mb.
|
|
И.Б.Бурдонов, А.С.Косачев. Полное тестирование с открытым состоянием ограниченно недетерминированных систем. Труды Института системного программирования РАН, N 17, 2009, стр.161-192. 32 стр. _____________________________________________________ Полное тестирование с открытым состоянием ограниченно недетерминированных системБурдонов И.Б., Косачев А.С. Институт системного программирования РАН, {igor,kos}@ispras.ru Аннотация. В статье представлен подход к проблеме полноты тестирования, под которым понимается проверка соответствия реализации требованиям, описываемым спецификацией. Тестирование полное, если оно обнаруживает все возможные ошибки в реализации. Для практического применения тестирование должно заканчиваться за конечное время. Требования полноты и конечности тестирования в общем случае взаимно противоречат друг другу. Однако для ограниченных классов реализаций и спецификаций, а также при использовании дополнительных тестовых возможностей, удаётся построить конечные полные тесты. Предлагаются алгоритмы тестирования и даётся оценка их сложности для конечных спецификаций и конечных реализаций с ограниченным недетерминизмом при тестировании с открытым состоянием. 1.1. ВведениеТестирование понимается как проверка соответствия (конформности) реализации требованиям, сформулированным в виде спецификации. Тестирование считается полным, если оно однозначно отвечает на вопрос: есть в реализации ошибки или нет, где под ошибкой понимается нарушение требований, то есть неконформность реализации спецификации. Для практического применения тестирование должно заканчиваться за конечное время. К сожалению, во многих случаях тестирование либо неполно, либо бесконечно. Решение проблемы можно искать, сужая класс рассматриваемых реализаций и/или предполагая дополнительные тестовые возможности. В некоторых случаях удаётся построить частные алгоритмы полного и конечного тестирования, но применимые только для рассматриваемого класса реализаций и использующие дополнительные тестовые возможности. Основными причинами бесконечности полного тестирования являются объём реализации и/или спецификации и недетерминизм реализации. Если объём требований, описываемых спецификацией, бесконечен, мы не сможем их все проверить за конечное время, то есть конечное тестирование будет заведомо неполным. Если объём требований конечен, но каждое или некоторые из них нужно проверять в бесконечном числе ситуаций, то за конечное время мы также не сможем это сделать. Для полноты конечного тестирования нужно, чтобы реализация имела конечное число неэквивалентных ситуаций, в которых нужно проверять требования спецификации, то есть реализация также должна быть конечной. Однако конечности реализации недостаточно, если её объём неизвестен: ни в какой момент времени мы не можем знать, все ли имеющиеся в реализации ситуации мы проверили или нет. Нам нужно уметь оценить объём реализации либо заранее, предполагая, что он не только конечен, но и ограничен, либо в процессе тестирования. В последнем случае предполагается наличие дополнительных тестовых возможностей, позволяющих наблюдать в том или ином виде протестированную часть реализации и делать выводы о наличии или отсутствии других частей. Если поведение реализации недетерминировано без каких-либо ограничений, ни в какой момент времени мы не можем знать, продемонстрировала ли реализация все варианты своего недетерминированного поведения или нет. Поэтому для полноты конечного тестирования на недетерминизм реализации приходится налагать те или иные ограничения. В данной статье мы рассматриваем тестирование конечной реализации по конечной спецификации с двумя дополнительными предположениями: 1) тестирование с открытым состоянием – у нас есть возможность наблюдать состояния реализации, в которых мы оказываемся в процессе тестирования, 2) реализация ограниченно-недетерминирована – если одно и то же тестовое воздействие повторяется в одном и том же состоянии реализации достаточное, известное заранее число раз, то реализация демонстрирует все возможные варианты поведения. Для этого случая мы предлагаем алгоритмы конечного и полного тестирования и даём оценки числа тестовых воздействий и объёма вычислений. Статья состоит из четырёх основных разделов. Во 2-ом разделе кратко излагаются основные положения теории конформности, которые были изложены в работах авторов [[11],[13],[14]]. В 3-ом разделе обсуждаются проблемы практического тестирования и пути их решения. В 4-ом и 5-ом разделах описываются алгоритмы тестирования, доказывается конечность и полнота тестирования и приводятся оценки сложности. |
Похожие:
 |
В. В. Миняйлов Тестирование учащихся по английскому языку в системе дистанционного обучения Рис Пока вы его не увидели – тестирование не пройдено, и его результаты засчитаны не будут (в этом случае Вам понадобится пройти... |
 |
Исследование потенциальных клиентов Продвижение на рынке «Чудесного оволосителя Джо» Когда использовать тестирование с разбивкой на первый-второй и многомерное тестирование |
|
Содержание Модуль «Тестирование» Модуль «Тестирование» в составе по системы S. Builder предназначен для организации на сайте тестирования, например, профориентационного... |
|
Как пройти тестирование при приеме на работу В наши дни, очень распространенным становится тестирование при приеме на работу. Эта статья ответит на основные вопросы |
|
Типовая инструкция по эксплуатации систем контроля и управления теплоэнергетического Разработано Открытым акционерным обществом ''Фирма по наладке, совершенствованию технологии и эксплуатации электростанций и сетей... |
|
Инструкция по созданию тестов на странице преподавателя На странице преподавателя имеется возможность преподавателю предоставить студентам тестирование (например, для подготовки к зачету).... |
|
Инструкция по проверке трансформаторов тока, используемых в схемах релейной защиты и измерения Разработано Открытым акционерным обществом "Фирма но наладке, совершенствованию технологии и эксплуатации электростанций и сетей... |
|
Тестеры c ерии mdx -600 Для проверки проводимости аккумуляторных... Новая серия тестеров mdx-600 позволяет проводить тестирование аккумуляторных батарей без риска, быстро и просто |
|
Национальный стандарт российской Разработан открытым акционерным обществом «Головной научно-исследовательский и проектный институт по распределению и использованию... |
|
Методические рекомендации проектирование систем газопотребления жилых... Разработаны некоммерческим партнерством Саморегулируемая организация «Газораспределительная система. Проектирование» нп сро «ГС.... |
|
Постановление от 30 октября 2015 г. N 410 о порядке надзора за эксплуатацией... Республике Саха (Якутия), в целях обеспечения надзора за техническим состоянием аттракционной техники на территории Республики Саха... |
|
1. 1 Полное наименование системы и ее условное обозначение Полное наименование системы: Единая автоматизированная система учета кадров всех государственных предприятий "ас кадры" |
|
Анализ причин аварийности и травматизма в поднадзорных организациях За 2016 год Пао «Нижнекамскнефтехим», а эксплуатирующей организацией является ОАО «тгк-16». В 2014 году ООО «Инженерный центр по экспертизе и... |
|
Профессионально-диагностическое тестирование, интерпретация полученных результатов Цели Профессионально-диагностическое тестирование, интерпретация полученных результатов |
|
Об утверждении единых правил безопасности при разработке месторождений... Утвердить Единые правила безопасности при разработке месторождений полезных ископаемых открытым способом |
|
Методические рекомендации по техническому диагностированию трубопроводов... Методические рекомендации предназначены для применения организациями, осуществляющими эксплуатацию тепловых сетей (систем транспорта... |