Средства тестирования моделей

Средства тестирования моделей [c.306]

Блок 7. Логическое и временное тестирование устройств и подсистем с помощью моделей функционирования, хранящихся в базе знаний и библиотеках подпрограмм спроектированных аппаратных средств. [c.34]

Разработка программ высокого качества и эффективности невозможна без понимания каждым специалистом задач и методов смежных областей знаний. Конструктору, даже если он пользуется готовой программой, нельзя ее воспринимать как черный ящик . Он должен знать, что может эта программа и чего не может, т. е. он должен иметь представление о заложенных в программу методах и ограничениях, возникающих из-за использования данных методов. Владени математическими методами позволяет инженеру построить и решить упрощенные модели, что необходимо для тестирования программ. Поэтому структура последующих глав книги содержит общие сведения о математических основах решений соответствующих математических моделей, языках программирования и технических средствах. Примеры решения задач на каждом уровне автоматизации проектирования станков доведены до алгоритмов расчета на ЭВМ. [c.36]

Формальная верификация — в недалёком прошлом термин формальная верификация (проверка) для большинства инженеров являлся синонимом проверки на эквивалентность. В контексте рассматриваемого материала проверка на эквивалентность подразумевает под собой средства, которые используют формальные (строго математические) методы сравнения двух различных представлений одного устройства — скажем RTL-описания и таблицы соединений вентилей — для определения идентичности их функциональности от входов до выходов. На практике проверка на эквивалентность может рассматриваться как подкласс формальной верификации и называться верификацией модели (model he king), которая используется при анализе конечных автоматов системы для тестирования некоторых свойств устройства, которые обычно нгзывгютутверждениями. См. также Статическая формальная верификация и Динамическая формальная верификация. [c.395]

Одним из весьма специализированных компонентов полной ИПТ является показанная в правом верхнем углу рис. 7.2 автоматизированная система инженерного обеспечения (АСИО). Термин АСИО имеет широкое применение. Он затрагивает любые компьютерные методы, используемые для оказания помощи инженеру при выполнении проектной работы но, впрочем, обычно под этим термином подразумевают аналитическое моделирование и имитационные средства. Программы и системы, используемые в АСИО, тщательно адаптируются к специфике охватываемого АСИО, приложения и поэтому менее общие, чем многие другие компоненты ИПТ. Хотя средства АСИО могут применяться и применялись во многих случаях отдельно, они особенно эффективны в комбинации с САПР, так как интеграция позволяет инженеру (с помощью АСИО) анализировать проект (выполненный с помощью САПР) до изготовления и тестирования (с помощью АСТПП) прототипа. Существует много примеров проектов, в которых просто невозможно построить и оттестировать прототип без проведения анализа и имитации. В настоящее время определенно нет необходимости тратить миллионы долларов на построение прототипа самолета без того, чтобы предварительно посредством анализа и имитации в достаточной мере убедиться в том, что он будет летать, а не просто закончит полет в конце взлетной полосы соседнего государства. Это, конечно, утрированный пример. Существует много причин, по которым анализ служит превосходным средством для расширенного прототипирования. Основными факторами здесь являются затраты денег и времени. Просто построение и тестирование нескольких прототипов стоит дороже и длится дольше, чем создание того же проекта в форме компьютерной модели и использование общепринятых методов его анализа. Как правило, имеется возможность разработать проект средствами САПР, трижды провести цикл его анализа и оптимизации, затратив При этом столько же времени, сколько потребовалось бы для изготовления первого образца прототипа. В течение этого времени вы расширите свое инженерное понимание физических эффектов, возникающих при использовании проекта. После завершения анализа выполните построение и тестирование прототипа. Если анализ был проведен высококвалифицированными инженерами с использованием точных методов, Гр прототип будет реализован в пределах запланированных сро- [c.191]

Энциклопедия по машиностроению XXL

Оборудование, материаловедение, механика и ...