Бурдонов И. Б., Косачев А. С. Системы с приоритетами: конформность, тестирование, композиция




НазваниеБурдонов И. Б., Косачев А. С. Системы с приоритетами: конформность, тестирование, композиция
страница1/12
Дата03.02.2016
Размер4.35 Kb.
ТипДокументы
  1   2   3   4   5   6   7   8   9   ...   12


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


Системы с приоритетами:
конформность, тестирование, композиция



«Если воняет, то это химия, когда ничего не работает – физика, а если понять нельзя ни слова – математика».

Из «Законов Мэрфи», цит. по публичной лекции В.И.Арнольда «Сложность конечных последовательностей нулей и единиц и геометрия конечных функциональных пространств».

Введение

В существующих теориях тестирования конформности (conformance testing) подразумевается отсутствие приоритетов между действиями, которые тестируемая система может выполнять в данной ситуации [23]. Это называется правилом недетерминированного выбора на выполнение одного из таких действий. В то же время для реальных программных и аппаратных систем это правило не всегда адекватно отражает требуемое поведение системы. Рассмотрим несколько примеров.


Выход из дивергенции. Под дивергенцией понимается бесконечная внутренняя активность («зацикливание») системы. Запрос, поступающий извне, может бесконечно долго игнорироваться системой, если он имеет тот же приоритет, что внутренняя активность. Заметим, что внутренняя активность может быть инициирована предыдущим запросом. Если речь идёт о составной системе, собранной из нескольких компонентов, то такая внутренняя активность может быть естественным результатом взаимодействия компонентов между собой. И в этом случае для обработки запроса, поступающего в систему (в один из её компонентов) извне, он должен иметь больший приоритет, чем внутреннее взаимодействие.


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


Приоритет выдачи над приёмом в неограниченных очередях. Этот обратный пример характерен для неограниченной очереди, используемой в качестве буфера между взаимодействующими системами, в частности, при асинхронном тестировании (тестировании в контексте). Здесь нужно, чтобы выборка из очереди была приоритетней постановки в очередь. В противном случае очередь имеет право только принимать сообщения и никогда их не выдавать. При асинхронном тестировании для входной очереди это означает, что все входные сообщения, посылаемые тестом, не доходят до реализации, бесконечно накапливаясь в очереди. Соответственно, для выходной очереди это означает, что тест может не получать никаких ответных сообщений от реализации, хотя она их выдаёт, поскольку они «оседают» в очереди.


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


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


Отсутствие приоритетов в моделях систем не даёт возможности проверять при тестировании выполнение тех требований к системе, которые могут быть выражены только в форме приоритетов. В данной статье предлагается способ введения приоритетов в теорию конформности: семантику взаимодействия и модель системы, отношение конформности, методы генерации тестов и оператор композиции (сборки составной системы из взаимодействующих между собой компонентов). Теория конформности без приоритетов кратко описана в нашей статье [13], подробное изложение с доказательствами утверждений содержится в диссертации одного из авторов данной статьи [16], теория конформности для класса, так называемых -семантик излагается в книге [15]. Здесь мы сначала повторим основные положения этой теории, а затем модифицируем их для случая приоритетов.
  1   2   3   4   5   6   7   8   9   ...   12

Похожие:

Бурдонов И. Б., Косачев А. С. Системы с приоритетами: конформность, тестирование, композиция iconПриоритетами государственной политики, в том числе с приоритетами региональной социальной политики
Цели, задачи и индикативные показатели деятельности Министерства социальных отношений Челябинской области
Бурдонов И. Б., Косачев А. С. Системы с приоритетами: конформность, тестирование, композиция iconРабочая программа по дисциплине «Композиция»
Программой курса «Композиция» по декоративно-прикладному искусству и народным промыслам предусматривает приобретение учащимися специальных...
Бурдонов И. Б., Косачев А. С. Системы с приоритетами: конформность, тестирование, композиция iconТестирование как форма контроля
В настоящее время школа – один из основных потребителей тестов. Спектр использования тестов в школьной практике очень широк: распределение...
Бурдонов И. Б., Косачев А. С. Системы с приоритетами: конформность, тестирование, композиция iconИспользование безотметочной системы в начальной школе. Тестирование в системе оценивания. Балльно-рейтинговая система оценки знаний. Портфолио новый и эффективный инструмент оценивания. Егэ и будущее образования в России. Книги
...
Бурдонов И. Б., Косачев А. С. Системы с приоритетами: конформность, тестирование, композиция iconПлан мероприятий по улучшению демографической ситуации в Ракитянском районе на 2011 2013 годы
«Дети Белгородчины», «Женщины Белгородчины», и т д нормативно правовых документов в соответствии с приоритетами демографической политикой...
Бурдонов И. Б., Косачев А. С. Системы с приоритетами: конформность, тестирование, композиция iconУрок литературно-музыкальная композиция, посвящённый жизни и творчеству Марины Цветаевой
Урок – литературно-музыкальная композиция, посвящённый жизни и творчеству Марины Цветаевой
Бурдонов И. Б., Косачев А. С. Системы с приоритетами: конформность, тестирование, композиция iconМатериал Композиция Язык
Программа «Обучение разным видам чтения на уроках гуманитарного цикла». Источники
Бурдонов И. Б., Косачев А. С. Системы с приоритетами: конформность, тестирование, композиция iconЛитературно-музыкальная композиция Жизнь и творчество А. П. Чехова
Разработала и провела учитель высшей квалификационной категории Рыжкина Марина Викторовна
Бурдонов И. Б., Косачев А. С. Системы с приоритетами: конформность, тестирование, композиция iconРабочая программа учебной дисциплины «Композиция (лаковая миниатюра)» Специальность
Квалификация: художник – мастер с углубленной подготовкой в области традиционного прикладного искусства
Бурдонов И. Б., Косачев А. С. Системы с приоритетами: конформность, тестирование, композиция iconПрограмма-минимум кандидатского экзамена по специальности 05. 13. 01
Выделение системы из среды, определение системы. Системы и закономерности их функционирования и развития. Управляемость, достижимость,...
Разместите кнопку на своём сайте:
Библиотека


База данных защищена авторским правом ©lib2.znate.ru 2012
обратиться к администрации
Библиотека
Главная страница