124 параметра) дает исполнителю достаточный опыт для выполнения данной роли. Если это условие наличия дефекта выполнено, в графе G будет локализована дуга, соответствующая "дефектному" назначению, в сопровождении информации об имени исполнителя, заданном значении параметра и числе проектов, в которых исполнитель участвовал в данной роли. 4.2.2.1.2 Дефект 1.2. Не назначен исполнитель на некоторую роль, необходимую для выполнения шага. Формальное определение: 3 step (Project-steps (step, task-name, _, List-of ) & 3 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£>, □) & |
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 3 step (Project-steps (step, task-name, _, _, List-of ) & 3 role-name ( На шаге 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 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) & |