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