Cтраница 2
Обобщенный маршрут представляет собой упорядоченное минимально необходимое множество операций для обработки класса, подкласса или группы деталей. Этот перечень операций включает множество индивидуальных маршрутов, которые имеют типовую последовательность и содержание. При этом учитывают передовой опыт и традиции, а также научно-технические достижения и перспективы развития отрасли. [16]
Мы уже понимаем, что основное направление развития нашей теории - эго конструктивнееция нашего исходного определения вычисляемости одной схемы другой. Мы не можем контролировать допустимость распределения памяти, изучая непосредственно носитель - множество маршрутов в общем случае бесконечно. [17]
Назовем маршрутом М ( х) величины х путь в управляющем графе операторной схемы из оператора S, вырабатывающего величину х, в оператор 5 (, воспринимающий величину х, причем ни один из промежуточных операторов маршрута не вырабатывает величину х в целом. Для фиксированных операторов S и St ( начального и конечного) в управляющем графе в общем случае существует множество маршрутов. Так как понятие маршрута включает в себя не только путь в управляющем графе, но и информационную связь, которую этот путь реализует, то каждому множеству маршрутов некоторой величины с фиксированными началом и концом соответствует дуга информационного графа / ( G) операторной схемы. Информационный граф есть ориентированный двудольный граф, состоящий из нескольких компонент ( односторонней) связности. Каждая такая компонента есть совокупность маршрутов одной и той же величины и носит название области действия этой величины. Две области действия несовместимы, если в каждой из них найдется информационная связь, причем начальный оператор некоторого маршрута одной связи окажется начальным или внутренним оператором некторого маршрута другой связи. [18]
Первый вид тестирования должен обеспечить проверку функционирования схем принятия решений и преобразования логических переменных. Для логических переменных отсутствует сильная корреляционная связь между соседними значениями и каждое изменение разряда переменной может определять разные области результирующих значений. Такое преобразование переменных обеспечивается путем создания алгоритмов со сложной логической структурой, содержащей ряд проверок логических условий, циклов для поиска и селекции переменных, а также логических преобразований переменных. В результате в программе образуется множество маршрутов обработки исходных данных, каждый из которых должен быть проверен. Планирование тестирования в этом случае усложняется, прежде всего, из-за резкого возрастания размерности решаемой задачи. [19]
Лавров не вводит инварианта, сохраняющегося при корректных перераспределениях памяти, постулируя вместо этого свойства корректных функций распределения памяти. У него две схемы оказываются эквивалентными, если существует корректное переобозначение величин, превращающее одну схему в другую. Фактически же для того, чтобы определить корректность, Лаврову неявно нужно потребовать неизмененности множества всех маршрутов исходной схемы. В корректных преобразованиях замкнутых операторных схем множество маршрутов не меняется, а стало быть, все перераспределения памяти оказываются обратимыми. [20]