ПРОЦЕСС СОПРОВОЖДЕНИЯ ПРАКТИКУМОВ В СЕРВИСЕ ГРУППОВОЙ РАЗРАБОТКИ СИСТЕМЫ ТЕСТИРОВАНИЯ

Парфёнова И. А.

Негосударственное образовательное учреждение «Институт Актуального образования «ЮрИнфоР-МГУ»

ПРОЦЕСС СОПРОВОЖДЕНИЯ ПРАКТИКУМОВ В СЕРВИСЕ ГРУППОВОЙ РАЗРАБОТКИ СИСТЕМЫ ТЕСТИРОВАНИЯ

Аннотация

В статье рассмотрено – представление процесса сопровождения практикумов в Сервисе групповой разработки системы тестирования. Приведен фрагмент его графического представления. Зафиксированы начальное и конечное состояния процесса в формализации лямбда-исчисления.

Ключевые слова: процессное взаимодействие, тестирование, сопровождение.

 Parfenova I. A.

Junior Researcher,

Institute for Contemporary Education "JurInfoR- MSU"

THE SUPPORT PROCESS IN SERVICE OF COMMAND DEVELOPMENT OF TESTING SYSTEM

Abstract

The article considers introduction of the support process in Service of command development of testing system. There is a fragment of  its graphical representation in the article. Initial and final states of the process are recorded in the lambda calculus formalization.

Keywords: interaction processes, testing, support.

Введение

В данной статье предлагается рассмотрение бизнес-процесса сопровождения практикума в Сервисе групповой разработки системы тестирования (СГРСТ) с целью построения его формального описания. Бизнес-процесс начинается с желания владельца СГРСТ подготовить или внести изменения в имеющийся практикум, актуализировать его содержимое или произвести его настройку на определенный класс испытуемых. Окончанием бизнес-процесса является подготовленный экспертами практикум. Сам бизнес-процесс заключается в исполнении в определенном порядке действий, предусмотренных в системе. Бизнес-процесс при этом декомпозируется на несколько подпроцессов, направленных на достижение указанной цели.

Теоретические вопросы процесса сопровождения

Рассмотрим динамическую систему управления групповой разработкой практикумов. Динамическая система описывает динамику процесса перехода системы из одного состояния в другое. Начальное состояние рассматриваемой динамической системы состоит в следующем

- в СГРСТ зарегистрированы несколько экспертов (count(expert)>=2)

- в СГРСТ создан пустой файл практикума (метаинформация не заполнена, темы практикума не созданы).

 λ metainformation. λ  list_of_tema. Practicum ( metainformation, list_of_tema )

Переход из начального состояния в другое состояние заключается в параллельной модификации практикума экспертами в СГРСТ. Множество конечных состояний представляет собой множество сгенерированных выходных файлов практикумов. Выходной файл практикума представляет собой аппликацию пустого файла практикума к метаинформации и списку тем.

( λ metainformation. λ  list_of_tema. Practicum ( metainformation, list_of_tema )) MetaInformation List_of_thema, где λ-терм MetaInformation представляет собой композицию статичных характеристик практикума (название, описание, ключевые слова и т.п.) и динамичных характеристик (список экспертов, участвующих в разработке, количество вопросов каждого из типов, количество модификаций конструкций вопросов и т.п.); List_of_thema -  λ-терм, являющийся списком тем: List_of_thema = tema1^tema2^…^teman. Далее рекурсивно: каждая тема состоит из своей метаинформации и списка вопросов, каждый вопрос из конструкций вопросов.

Вводятся ограничения на выходной файл практикума (Out_Practicum). Out_ Practicum содержит как минимум одну тему, каждый вопрос Out_Practicum содержит как минимум две альтернативы ответа, каждый вопрос содержит как минимум один правильный и один неправильный ответы, Out_Practicum не содержит вопросов с одинаковыми названиями / текстами вопросов.

Out_Practicum содержит как минимум одну тему:

Is_thema_list(list_of_tema) =

if car(list_of_tema)=NIL then false

else true, где car(X) – получение головы списка X.

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

Алфавит процесса P: αP = {edit_quest_commentk, done_edit_quest_commentk, set_count_alternativek, done_set_count_alternativek, set_formula_exp_rightsk, done_ set_formula_exp_rightsk, add_commentk, done_add_commentk …}

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

Процесс P представляет собой альтернативную композицию процессов, описывающих сопровождение практикума более детализировано. Альтернативная композиция выражает зависимость поведения системы от поведения экспертов.

События, в которых процесс участвовал до некоторого момента времени, фиксируются  конечной последовательностью символов в протоколе. Пример протокола: <open_themem, create_quest, add_namem, done_add_namem, add_textm, done_add_textm, add_commentm, done_add_commentm,  done_create_questm, open_questm, add_quest_commentm, done_add_quest_commentm>.

Начальное меню процесса P состоит из множества событий B, включающего создание новой темы в практикуме и открытии имеющейся. B = { open_theme , create_theme }.

B = { open_themek , create_theme }, где open_themek = open_theme1,  open_theme2 , open_theme3 …

(x : B -> P(x)) = (open_themek -> P1 | create_theme -> P2)

P(x) = ( if x = open_themek then P1 else P2)

P2 = add_theme_namel -> done_add_theme_namel -> add_theme_descriptionl -> done_add_theme_descriptionl -> done_add_themel -> P

P1 =  create_questkk -> ( P | P1 ) | open_questn -> P3 -> ( P | P1 )

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

P3 = edit_namen -> done_edit_namen - > P3 | edit_textn -> done_edit_textn -> P3 | edit_commentn -> done_edit_commentn -> P3 | add_answn -> add_answ_costn-> done_add_answ_costn -> add_answ_commentn -> done_add_answ_commentn -> done_add_answn -> P3 | edit_answ_costn -> done_edit_answ_costn -> P3 |  add_alternative_namen -> done_add_alternative_namen -> P3 | ... | {}   

Выбор события из начального меню процесса зависит от окружения: от действий экспертов СГРСТ, которые также рассматриваются как процессы. Количество процессов равно количеству зарегистрированных экспертов:

Поведение экспертов описывается с использованием того же алфавита αP, указанные действия в котором, требуют одновременного участия процесса P и процесса Ei. Действия всех процессов системы синхронизируются.

Проверка прав осуществляется на каждое намерение выполнить действие алфавита αP для процесса Ei, поэтому эксперт сможет выполнить только те действия, права на которые ему разрешены. Если состояния двух процессов E1 и E2 совпадают на определенном шаге, и эти состояния предполагают редактирование одной и той же конструкции практикума (текст вопроса, описание темы и т.п.), то редактирование разрешается только одному из Ei, например E1, процесс E2 при этом либо ждет, либо переходит в свое первоначальное состояние.

E1 = … -> edit_quest_commentk -> done_edit_quest_commentk ->  E1

E2 = … -> edit_quest_commentk -> (WAIT || E2)

Одним из подпроцессов P является голосование экспертов за альтернативные формулировки конструкций вопроса: альтернативное название, альтернативный текст, альтернативный комментарий. Подпроцесс Ps состоит из трех этапов: 1) организация начала голосования, 2) этап голосования, 3) подведение итогов. Диаграмма процесса Ps в нотации eEPC представлена на Рис.1.

Заключение

Применение различных способов формализации модели сопровождения практикумов для описания СГРСТ позволяет детально проанализировать фрагменты модели и проверить их на непротиворечивость. Методология теории процессов предполагает определенный подход к формализации информации о деятельности рассматриваемой системы и представлении ее, в том числе, в виде графических моделей. В статье был показан алфавит процесса сопровождения практикумов в СГРСТ. Приведен пример протокола процесса сопровождения. Окружение процесса сопровождения практикумов описано через процессы, состоящие из действий экспертов, участвующих в сопровождении. Также были рассмотрены фрагменты формального описания параллельного взаимодействия экспертов в СГРСТ.

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

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

Рис. 1 - eEPC диаграмма процесса голосования экспертов за альтернативные формулировки конструкций вопроса

Литература

1. Хоар Ч. Взаимодействующие последовательные процессы. Пер. с англ. – М.: Мир, 1989 – 226с.
2. А.М. Миронов. Теория процессов. Переславль-Залесский: «Университет города Переславля», 2008. - 345 с.
3. Вольфенгаген В.Э. Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах. - М.: МИФИ, 1994; 2-е изд. – М.: АО "Центр ЮрИнфоР", 2003. – 336 с.
4. Вольфенгаген В. Э., Исмаилова Л.Ю., Косиков С. В. Структура компьютинга и конструирование вычисления. / В.Э. Вольфенгаген, Л.Ю. Исмаилова, С.В. Косиков // Электронное научно-техническое издание «Наука и образование», Эл №ФС 77-30569. Государственная регистрация №0421000025. ISSN 1194-0408, № 08, август 2010. – 21 с.

References

1. Hoar Ch. Vzaimodejstvujushhie posledovatelnye processy. Per. s angl. – M.: Mir, 1989 – 226s.
2. A.M. Mironov. Teorija processov. Pereslavl-Zalesskij: «Universitet goroda Pereslavlja», 2008. - 345 s.
3. Volfengagen V.Je. Kombinatornaja logika v programmirovanii. Vychislenija s obektami v primerah i zadachah. - M.: MIFI, 1994; 2-e izd. – M.: AO "Centr JurInfoR", 2003. – 336 s.
4. Volfengagen V. Je., Ismailova L.Ju., Kosikov S. V. Struktura kompjutinga i konstruirovanie vychislenija. / V.Je. Volfengagen, L.Ju. Ismailova, S.V. Kosikov // Jelektronnoe nauchno-tehnicheskoe izdanie «Nauka i obrazovanie», Jel №FS 77-30569. Gosudarstvennaja registracija №0421000025. ISSN 1194-0408, № 08, avgust 2010. – 21 s.