Проверяемый текст
Старовойтов, Илья Владимирович. Разработка и исследование моделей, методов и средств оценивания процесса производства программного обеспечения (Диссертация 2003)
[стр. 123]

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

4.2.2.1.2 Дефект 1.2.
Не назначен исполнитель на некоторую роль, необходимую для выполнения шага.
Формальное определение:
3 step (Project-steps (step, task-name, _, List-of,...
) & 3 role-name ( List-of & NOT (Assignments role-name, step, _)) —»vacant-role (role-name))) На шаге step существует роль role-name, для выполнения которой не назначен ни один исполнитель.
Если это условие наличия дефекта выполнено, в графе G будет локализована
вершина, соответствующая шагу step, в сопровождении
названия роли, на которую не назначен исполнитель.

4.2.2.2 Дефекты плана программного проекта, проявляющиеся в процессе его выполнения Выявление дефектов плана программного проекта, описанных в данном разделе, требует моделирования процесса его выполнения.
4.2.2.2.1 Дефект 2.1.
Существует шаг, начало выполнения которого задерживается в течение значительного промежутка времени из-за неготовности незначительной доли его входных продуктов.

Параметры (в общем случае дефект рассматривается для нескольких "задерживающих" продуктов); 1) промежуток времени, задержка в течение которого считается допустимой (задается числом единичных интервалов длиной delta), 2) процентная доля "задерживающих" входных продуктов, которая считается незначительной.
Формальное определение: 3 step (Project-steps (step, task-name, List-of<(*IN*)
product-re£>, □) &
[стр. 111]

Ill Формальное определение: 3 agent-name, role-name, step (Assignments agent-name, role-name, step, _) & Staff (agent-name, _, _, experience-records) & Paraweter-sufficient-experience (role-name, ^previous-projects) & relevant-records = { role-name,...> e experience-records } & relevant-records < ^previous-projects —> unexperienced-agent (agent-name, ^previous-project, relevant-records) & Visualize ((agent-name, task-name(t' steP))role-name e R2) ) Примечание 1.
Здесь и далее значение переменной t в следствии правила однозначно определяется значениями переменных task-name и step (согласно определению статического графа, приведенному в Главе 2).
Примечание 2.
Операция { }, введенная при определении Метрики 2, в данном случае обеспечивает построение множества записей (которые могут повторяться), каждая из которых удовлетворяет следующему условию: запись принадлежит множеству experience-records и описывает работу исполнителя в предыдущих проектах в роли role-name.
Комментарий.
На шаге step на роль role-name назначен исполнитель agentname, причем число проектов, в которых он выполнял эту роль ранее, меньше числа проектов, участие в которых (в соответствии с заданным значением параметра) дает исполнителю достаточный опыт для выполнения данной роли.
Если это условие наличия дефекта выполнено, в графе G будет локализована
дуга, соответствующая "дефектному" назначению, в сопровождении информации об имени исполнителя, заданном значении параметра и числе проектов, в которых исполнитель участвовал в данной роли.

Дефект 1.2.
Неформальное определение: не назначен исполнитель на некоторую роль, необходимую для выполнения шага.
Формальное определение:


[стр.,112]

112 3 step (Project-steps (step, task-name, _, _, List-of, ...
) & 3 role-name ( e List-of & NOT (Assignments (_, role-name, step, _)) —> vacant-role (role-name) & Visualize(task-name(t stcp) e Tasks)) ) Комментарий.
На шаге step существует роль role-name, для выполнения которой не назначен ни один исполнитель.
Если это условие наличия дефекта выполнено, в графе G будет локализована
вершина, соответствующая шагу step, в сопровождении названия роли, на которую не назначен исполнитель.

3.1.2.2.
Дефекты плана программного проекта, проявляющиеся в процессе его выполнения Выявление дефектов плана программного проекта, описанных в данном разделе, требует моделирования процесса его выполнения.

Дефект 2.1.
Неформальное определение: существует шаг, начало выполнения которого задерживается в течение значительного промежутка .
времени из-за неготовности незначительной доли его входных продуктов.
Вариант 1.
(для нескольких "задерживающих" продуктов).
'
Параметры: 1) промежуток времени, задержка в течение которого считается допустимой (задается числом единичных интервалов длиной delta), 2) процентная доля "задерживающих" входных продуктов, которая считается незначительной.
Формальное определение: 3 step (Project-steps (step, task-name, List-of<(*IN*)
product-ref>,...) & 3 product-refl, product-ref2 e List-of<(*IN*) product-ref> (Produced (time-momentl, product-refl) & Produced (time-moment2, product-ref2) & Paranieters-slep-de\ay (time-period, product-ratio) &

[стр.,113]

113 time-moment2 time-moment 1 > time-period & V product-ref3 e List-of<(*IN*) product-re£> (Produced (time-moment3, product-ref3) & (time-moment3 < time-momentl v time-moment3 > time-moment2)) & product-set = { product-ref4 e List-of<(*IN*) product-ref > (Produced (time-moment4, product-ref4) & time-moment4 > time-moment2) } & product-set < jList-of<(*IN*) product-ref>* product-ratio/100 —> step-delay (time-period, product-ratio, product-set) & Visualize(task-name(t,step) e Tasks))) Комментарий.
При выполнении проекта имеет место следующая ситуация: существуют две группы входных продуктов шага step, причем продукты второй группы были созданы значительно позже (более, чем через заданное время time-period), чем продукты первой группы, и при этом число продуктов второй группы (созданных позже) составляет незначительную долю (не более, чем заданная доля product-rati о) от общего числа входных продуктов шага step.
Если это условие наличия дефекта выполнено, в графе G будет локализована
вершина, соответствующая шагу step, в сопровождении
информации о параметрах и множестве продуктов, из-за неготовности которых произошла задержка начала выполнения шага.
Вариант 2.
(для одного "задерживающего" продукта).
Параметр: промежуток времени, задержка в течение которого считается допустимой (задается числом единичных интервалов длиной delta).
Формальное определение: 3 step (Project-steps(step, task-name, List-of<(*IN*)
product-ref>, ...))& 3 product-ref e List-of<(*IN*) product-ref> (Produced (time-momentl, product-ref) & V product-ref2 e List-of<(*IN*) product-ref>\{product-ref} (Produced (time-moment2, product-ref2) &

[Back]