Cтраница 1
Множество маршрутов образует набор RT ( или R r), если любой пункт f ( t 0) входит хотя бы в один его маршрут. [1]
Разбиение множества маршрутов на подмножества сопровождаем построением дерева. [2]
Для планирования тестирования необходимо все множество маршрутов упорядочить по некоторому показателю и подготавливать его в соответствии с проведенным упорядочением. Полнота проверок должна учитывать весовой показатель, использованный для упорядочения, и для маршрутов, расположенных в конце упорядоченной последовательности, может допускаться неполное тестирование. Весовой показатель важности маршрута для функционирования всего КП должен учитывать сложность маршрута и тестов для его проверки, количество операторов, условных переходов и циклов в маршруте, частость исполнения при рабочем функционировании КП, сложность получения соответствующих эталонных данных и другие факторы. [3]
Следовательно, обобщенный маршрут представляет множество индивидуальных маршрутов, представленных своими кодами операций. В Мпер двух или нескольких маршрутов входят эквивалентные операции. Эти операции должны иметь один и тот же код. [4]
Для эффективного тестирования необходимо все множество выделенных маршрутов упорядочить по некоторому показателю и подготавливать тесты в соответствии с выбранной стратегией. Проверка основной группы маршрутов с экстремальными значениями показателя в пределах ресурсов, выделенных для тестирования, характеризует достигнутую корректность данной программы по выбранному критерию. [5]
Любая функция комплекса программ реализуется на некотором множестве маршрутов обработки информации, которые обеспечивают преобразование входной области ( области определения) функции в множество ее выходных результатов. Для полной проверки правильности выполнения функций необходима проверка всех маршрутов обработки информации, реализуемых на заданном множестве входных данных. Критерием правильности выполнения функций является получение выходных результатов, совпадающих с эталонными значениями, задаваемыми в системных спецификациях на комплекс программ. Реализация всех маршрутов обработки и обеспечение полного покрытия области входных данных даже для несложных программ является практически невыполнимой задачей. В связи с этим возникает задача выбора ограниченного множества проверяемых маршрутов обработки данных, реализующих функции комплекса программ и обеспечивающих проверку правильности выполнения функций, и разработки методов оценки полноты проверки. Известные методы проверки правильности выполнения функций программного обеспечения базируются на применении функционального или структурного подхода. [6]
Найдем дугу, исключение которой максимально увеличило бы нижнюю границу, и разобьем все множество маршрутов относительно этой дуги на два подмножества. Для этого определим сумму констант приведения для всех клеток матрицы с нулевыми элементами, условно ( мысленно) заменяя нули на оо. [7]
По пометкам на ребрах пути, ведущего в данную вершину, легко восстановить соответствующее ей множество маршрутов. [8]
Для составления граничных задач первого уровня декомпозиции ИПЗ, удовлетворяющих условию (VI.24), используют эвристическое правило: заменить рассмотрение множества вариантов технологической схемы тепловой системы рассмотрением множества маршрутов ( п т) исходных потоков. [9]
Для составления граничных задач первого уровня декомпозиции ИПЗ, удовлетворяющих условию ( VI24), используют эвристическое правило: заменить рассмотрение множества вариантов технологической схемы тепловой системы рассмотрением множества маршрутов ( п т) исходных потоков. [10]
При применении разработанных нами алгоритмов экономии памяти к реальным программам возникает ще одна проблема, которая, хотя и затрагивалась содержательным анализом, осталась тем не менее за рамками теории. Наша теория гарантирует при перераспределении памяти сохранение множества маршрутов информационных пар, но ничего не говорит о том, что программа ( не схема, а программа. [11]
Назовем маршрутом М ( х) величины х путь в управляющем графе операторной схемы из оператора S, вырабатывающего величину х, в оператор 5 (, воспринимающий величину х, причем ни один из промежуточных операторов маршрута не вырабатывает величину х в целом. Для фиксированных операторов S и St ( начального и конечного) в управляющем графе в общем случае существует множество маршрутов. Так как понятие маршрута включает в себя не только путь в управляющем графе, но и информационную связь, которую этот путь реализует, то каждому множеству маршрутов некоторой величины с фиксированными началом и концом соответствует дуга информационного графа / ( G) операторной схемы. Информационный граф есть ориентированный двудольный граф, состоящий из нескольких компонент ( односторонней) связности. Каждая такая компонента есть совокупность маршрутов одной и той же величины и носит название области действия этой величины. Две области действия несовместимы, если в каждой из них найдется информационная связь, причем начальный оператор некоторого маршрута одной связи окажется начальным или внутренним оператором некторого маршрута другой связи. [12]
Проектирование элементов, выделяемых при декомпозиции объекта, основано на моделировании некоторого характерного режима их функционирования. Это может быть переходный процесс, статическое состояние ( состояние покоя или равномерного движения), режим установившихся колебаний, стационарный случайный процесс и др. Система автоматизированного проектирования такого объекта содержит множество маршрутов, отличающихся между собой используемыми математическими моделями. Методы решения систем уравнений этих моделей и способы оценки выходных параметров объектов проектирования существенно различны. Проектные задачи различаются также видами зависимостей критериев от оптимизируемых параметров, количеством используемых критериев и способом формирования целевой функции. [13]
Предположим, что вершины неориентированного графа G представляют аэропорты, а дуги графа G - этапы полетов ( беспосадочные перелеты), которые осуществляются в заданное время. Любой маршрут в этом графе ( удовлетворяющий ряду условий, которые могут встретиться на практике) соответствует некоторому реально выполнимому маршруту полета. Задача нахождения множества маршрутов, имеющего наименьшую суммарную стоимость и такого, что каждый этап полета содержится хотя бы в одном выбранном маршруте, является задачей о наименьшем покрытии с матрицей Т [ t ], в которой элемент ttj равен 1, если г-и этап содержится в / - м маршруте, и равен 0 в противном случае. [14]
Предположим, что вершины неориентированного графа О представляют аэропорты, а дуги графа О - этапы полетов ( беспосадочные перелеты), которые осуществляются в заданное время. Любой маршрут в этом графе ( удовлетворяющий ряду условий, которые могут встретиться на практике) соответствует некоторому реально выполнимому маршруту полета. Задача нахождения множества маршрутов, имеющего наименьшую суммарную стоимость и такого, что каждый этап полета содержится хотя бы в одном выбранном маршруте, является задачей о наименьшем покрытии с матрицей Т [ 1ц ], в которой элемент 1ц равен 1, если г-и этап содержится в / - м маршруте, и равен 0 в противном случае. [15]