Генерирование тестов для цифровых схем методом булевой производной
Значение логических переменных. Тест для неисправностей внутренней линии схем. Частная булева производная. Тестовые наборы для проверки неисправностей. Формула для вычисления булевой производной. Внутренние переменные схемы. Пути к контролируемому выходу.
Подобные документы
Изучение функций аппаратного и программного обеспечения (элементов соединения и вспомогательных схем управления, их физических, электрических и логических параметров), предназначенного для сопряжения систем или частей системы (программ или устройств).
реферат, добавлен 08.12.2018- 102. Типы сумматоров
Сумматоры как комбинированные цифровые устройства, осуществляющие арифметическое (в противоположность логическому) сложение и вычитание чисел. Анализ ядра схем при построение арифметико-логических устройств, реализующих несколько различных операций.
презентация, добавлен 03.12.2022 Использование экстремального программирования для разработки программного обеспечения. Предназначение функциональных тестов для тестирования функционирования логики. Требования общих стандартов кодирования. Рекомендации по написанию тест-плана.
реферат, добавлен 14.04.2015Особенности строения цифровых микросхем, их логические элементы. Использование алгоритмического языка сверхвысокого уровня Питон (Python). Задание расположения кнопок в рабочем окне. Рабочее окно разработки IDLE. Характеристика рабочего окна программы.
курсовая работа, добавлен 25.04.2017Flash-технологии как средство разработки цифровых образовательных ресурсов для контроля знаний учащихся по теме "Электронные таблицы Excel". Изучение основ языка программирования Action Script. Разработка шаблонов для создания тестов различной формы.
курсовая работа, добавлен 24.04.2014Операции построения тестового набора для проверки заданной неисправности. Понятие логических кубов и действий над ними в d-алгоритме Рота. Построение таблиц истинности с сингулярным покрытием и с тестовыми сигналами, формула для их расчета в Open Office.
курсовая работа, добавлен 06.03.2011Разновидности блоков Java-программы: классы, методы (methods), переменные (variables) и пакеты (package). Стандартные переменные, встроенные в язык типы для представления численных значений, одиночных символов и булевских (двоичных, логических) значений.
реферат, добавлен 28.05.2018Формирование уравнений электрической цепи на основе теории графов. Матрица инциденций, модифицированные методы узловых потенциалов с использованием графов тока и напряжения. Компьютерная программа анализа. Составление графов и решение уравнений схемы.
лабораторная работа, добавлен 06.07.2009Описание модификаций "классического" теста. Проверка способности обучаемого к построению целостной картины учебного материала. Онтологический подход к описанию осваиваемого материала, представление понятий учебного курса в виде концептуального графа.
доклад, добавлен 17.01.2018Виды и этапы тестирования по уровню. Основные наборы тест-кейсов. Специфика тестирования мобильных приложений, автоматизация. Специфика операционных систем. Основные проблемы, возникающие при автоматизации. Сравнение фреймворков для Android и IOS.
дипломная работа, добавлен 07.12.2019Цель работы: исследование поиска неисправности аппаратной части и файловой системы жесткого диска, характер проявления неисправностей и методы их устранения. Собрать информацию о неисправностях аппаратной части , файловой системы жесткого диска
курсовая работа, добавлен 29.04.2014Изучение основ выполнения элементов функциональных схем систем измерения и автоматизации технологических процессов. Применение в работе при создании схем пакета графической программы AutoCAD. Изображение технологического оборудования и коммуникаций.
курсовая работа, добавлен 17.12.2019Ознакомление с методами максимального сжатия объёма тестового словаря в схеме bist. Рассмотрение и характеристика особенностей функциональной схемы встроенного самотестирования. Определение необходимости автоматизированной генерации входных наборов.
статья, добавлен 30.01.2016Особенности формализации систем с помощью Q-схем. Особенности задач исследования вероятностно-временных характеристик процесса функционирования вычислительного центра. Алгоритм DAT генерации псевдослучайных чисел равномерно распределенных в интервале.
лабораторная работа, добавлен 05.09.2013- 115. Информатика
История информатики и методов измерения и кодирования информации. Преобразования логических выражений. Построение схем на элементах заданного базиса. Арифметические операции в различных системах счисления. Перевод чисел из одной системы в другую.
курс лекций, добавлен 26.09.2017 Рассмотрение оценки сложности процесса проектирования физических схем реляционных баз данных. Исследование возможностей автоматизированной системы расчета метрических характеристик MySQL базы данных на основе концептуального графа физических схем.
статья, добавлен 31.07.2018Рациональное построение и непрерывное совершенствование структур сетей автозаправочных станций. Эффективность автоматизированного управления процессами и объектами в данных системах путем разработки новых постановок задач и информационно-логических схем.
реферат, добавлен 20.03.2015История развития вычислительной техники. Математическая модель микропроцессора. Классификация электронных вычислительных машин. Изучение логических и сдвиговых операций процессора. Организация памяти в ЭВМ. Исследование схем включения JK триггера.
курс лекций, добавлен 21.05.2015- 119. Вычисление функции
Приобретение практических навыков составления линейных программ на языке С++. Алгоритм решения задачи в виде блок-схемы. Описание константы и переменные, процедуры стандартного ввода-вывода. Вид текста программы. Выполнение ввода переменных данных.
лабораторная работа, добавлен 13.05.2021 Сущность понятий "программа" и "алгоритм". Свойства и примеры алгоритмов. Виды блок-схем, используемых для графического изображения алгоритма. Основные алгоритмические конструкции построения блок-схем. Этапы процесса решения алгоритмизационных задач.
презентация, добавлен 14.06.2015Работа Интернета по технологии "клиент-сервер". Методы запросов браузера. Структура заголовков ответа сервера. Данные о каталоге запуска сценария, установленных в нем переменных и заданных дескрипторах файлов. Переменные окружения и их значение.
курсовая работа, добавлен 25.12.2013- 122. Логические элементы
Устройства, предназначенные для обработки информации в цифровой форме. Реализация логических элементов. Пространство булевых функций от двух переменных. Логическая схема полусумматора. Полный одноразрядный сумматор. Определение логических приемов.
реферат, добавлен 15.05.2013 Анализ схемы на наличие соответствующих элементов и преобразование ее в ориентированный граф, согласно правил эквивалентных преобразований структурных схем системы автоматического управления для проведения эквивалентных преобразований для орграфов.
статья, добавлен 24.03.2019Первое поколение электронно-вычислительных машин. Эволюция ЭВМ, сфера применения. Использование интегральных схем в промышленных масштабах. Первые миникомпьютеры, развитие компьютерной техники современного поколения. Особенности суперкомпьютеров.
реферат, добавлен 02.12.2015Однородная вычислительная среда, выполняющая вычисления по заданной формуле. Построения вычислительных средств в непрерывном технологическом процессе. Соотношение стоимости и производительности. Схемы алгоритмов и коды команд операционных элементов.
курсовая работа, добавлен 26.12.2010