Проверяемый текст

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

[стр. 125] 126 3 time-moment 1, time-moment2 e [0, Tmax] (time-moment 1 < time-moment2 & 3 agent-name (V time-moment3 (Assumptions (time-mo ment3, agent-name, List-of) & time-moment 1 < time-moment3 & time-moment3 < time-moment2 & List-of = 0 & Parameter-max-staying-time (time-period) & time-moment2 □ time-moment 1 > time-period —♦ nonoperating-agent (time-period, time-momentl, timemoment2)))) Существует промежуток времени [time-momentl, time-moment2], в течение которого исполнитель agent-name не выполнял работы по данному проекту, и длина этого промежутка превышает заданный допустимый период простаивания исполнителей time-period. Если это условие наличия дефекта выполнено, в графе G будет локализована вершина, соответствующая исполнителю agent-name, в сопровождении информации о заданном значении параметра и промежутке времени, с которым связано наличие рассматриваемого дефекта. 4.2.2.2.3 Дефект 2.3. Существует исполнитель, который на некотором промежутке времени (или в момент времени, если длина этого промежутка равна 0) был вынужден одновременно выполнять слишком большое число работ. Параметр: максимальное число работ, параллельное выполнение которых считается для исполнителей допустимым. Формальное определение: 3 time-momentl, time-moment2 G [0, Tmax] (time-momentl < time-moment2 & 3 agent-name (V time-moment3 (Assumptions (time-moment3, agent-name, List-of) & time-momentl < time-moment3 & time-moment3 < time-moment2 & Parameter-max-assumptions-for-agent (#effort-units) & List-of > //effort-units —> too-many-assumptions-for-agent (#effort-unit, List-of, time-momentl, time-moment2))))

[стр. 115] 115 работе в нескольких проектах), поэтому каждый обнаруженный дефект этого типа нужно тщательно анализировать. Параметр: максимальный промежуток времени, в течение которого простаивание исполнителя считается допустимым (задается числом единичных интервалов длиной delta). Формальное определение: 3 time-moment 1, time-moment2 е [0, Ттах] (time-moment 1 < time-moment2 & 3 agent-name (V time-moment3 (Assumptions (time-moment3, agent-name, List-of) & time-moment 1 < time-moment3 & time-moment3 < time-moment2 & List-of = 0 & i Parawe/er-max-staying-time (time-period) & time-moment2 time-moment 1 > time-period -> nonoperating-agent (time-period, time-momentl, time-moment2) & Visualize(agent-name e Res) ) )) Комментарий, Существует промежуток времени [time-momentl, timemoment2], в течение которого исполнитель agent-name не выполнял работы по данному проекту, и длина этого промежутка превышает заданный допустимый период простаивания исполнителей time-period. Если это условие наличия дефекта выполнено, в графе G будет локализована вершина, соответствующая исполнителю agent-name, в сопровождении информации о заданном значении параметра и промежутке времени, с которым связано наличие рассматриваемого дефекта. [стр.,116] 116 Дефект 2.3. Неформальное определение: существует средство (например, сложное и дорогостоящее оборудование), которое простаивает в течение длительного промежутка времени (задаваемого числом единичных интервалов длиной delta). Параметры: 1)уникальный идентификатор средства, 2) максимальный промежуток времени, в течение которого простаивание этого средства считается допустимым (задается числом единичных интервалов длиной delta). Формальное определение: 3 time-moment 1, time-moment2 е [0, Ттах] (time-moment 1 < time-moment2 & 3 tool-name (V time-moment3 (Allocations (time-moment3, tool-name, List-of) & • time-moment 1 < time-moment3 & time-moment3 < time-moment2 & List-of = 0 & Рдга/we/ers-not-used-too] (tool-name, time-period) & time-moment2 time-moment 1 > time-period -> not-used-tool (time-period, time-momentl, time-moment2) & Visualize (tool-name e Res) ) ) ) Комментарий. Существует промежуток времени [time-momentl, timemoment2], в течение которого средство tool-name не использовалось, и длина этого промежутка превышает заданный допустимый период простаивания этого средства time-period. Если это условие наличия дефекта выполнено, в графе G будет локализована вершина, соответствующая средству tool-name, в сопровождении информации о заданном значении параметра time-period и промежутке времени, с которым связано наличие рассматриваемого дефекта. [стр.,117] 117 Дефект 2.4. Неформальное определение: существует исполнитель, который на некотором промежутке времени (или в момент времени, если длина этого промежутка равна 0) был вынужден одновременно выполнять слишком большое число работ. Параметр: максимальное число работ, параллельное выполнение которых считается для исполнителей допустимым. Формальное определение: 3 time-moment 1, time-moment2 е [0, Tmax] (time-moment 1 < time-moment2 & 3 agent-name (V time-moment3 (Assumptions (time-moment3, agent-name, List-of) & time-moment 1 < time-moment3 & time-moment3 < time-moment2 & j Rorawefcr-inax-assumptions-for-agent (#effdrt-units) & List-of > #effort-units • too-many-assumptions-for-agent (#effort-unit, List-of, time-moment 1, time-moment2) & Visualize (agent-name e Res)))) Комментарий. Существует промежуток времени, в течение которого исполнитель agent-name одновременно выполнял больше максимально допустимого числа работ #effort-units. Если это условие наличия дефекта выполнено, в графе G будет локализована вершина, соответствующая исполнителю agent-name, в сопровождении информации о значении параметра ^effort-units, фактическом числе работ, которые был вынужден выполнять исполнитель, и промежутке времени, с которым связано наличие рассматриваемого дефекта.

[Back]