Пакулин, Н. В. Разработка формальных модулей и тестирование соответствия для систем с асинхронными интерфейсами и телекоммуникационных протоколов [Текст] / Н. В. Пакулин, А. В. Хорошилов // Программирование. - 2007. - N 6. - С. 26-55. - Библиогр.: с. 55 (45 назв. )
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): тестирование систем -- телекоммуникационные протоколы -- системы с асинхронными интерфейсами -- разработка модели систем -- тестирование программ Аннотация: Предлагается подход к преодолению разрыва между методами формального моделирования и методами тестирования, основанный на формализации поведения систем с асинхронными интерфейсами посредством контрактных спецификаций и использовании таких спецификаций для построения адаптивных тестов. Доп.точки доступа: Хорошилов, А. В. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Грошев, С. Г. Локализация ошибок методом построения сокращенных трасс [Текст] / С. Г. Грошев // Программирование. - 2009. - N 3. - С. 35-50. - Библиогр.: с. 50 (14 назв. )
Рубрики: Вычислительная техника Компьютерная графика Кл.слова (ненормированные): методы построения тестов -- минимальные тесты -- тестирование систем -- технология UniTESK -- сокращение трасс -- алгоритмы разбиения трасс -- программное обеспечение -- ПО Аннотация: Предложен метод построения на основе существующего теста UniTESK, находящего ошибку в тестируемой системе, минимального теста, обнаруживающего ту же ошибку. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Золоторевич, Л. А. Разработка тестов для анализа контролепригодности СБИС на верхних уровнях проектирования [Текст] / Л. А. Золоторевич, А. В. Ильинкова // Автоматика и телемеханика. - 2010. - N 9. - С. 162-173. : ил. - Библиогр.: с. 173 (11 назв. )
Рубрики: Радиоэлектроника Автоматика и телемеханика Вычислительная техника Блоки обработки данных Кл.слова (ненормированные): техническая диагностика -- сверхбольшие интегральные схемы -- СБИС -- тестирование систем -- математические платформы -- функциональные блоки -- нетерминальные узлы -- цифровые устройства -- цифровые системы -- тесты Аннотация: В статье анализируется состояние проблемы контроля сверхбольших интегральных схем (СБИС). Доп.точки доступа: Ильинкова, А. В. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Позин, Б. А. Модели в нагрузочном тестировании [Текст] / Б. А. Позин, И. В. Галахов // Программирование. - 2011. - N 1. - С. 20-35. . - Библиогр.: с. 35 (7 назв. )
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Техника Автоматизация оборудования Кл.слова (ненормированные): информационные системы -- автоматизированное нагрузочное тестирование -- метамодели систем -- модели тестирования -- тестирование систем Аннотация: Разработаны метамодели для обеспечения адекватности результатов нагрузочного тестирования и его частей: постановки задачи, исходных данных и анализа результатов эксперимента. Доп.точки доступа: Галахов, И. В. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Кулямин, В. В. Обзор методов построения покрывающих наборов [Текст] / В. В. Кулямин, А. А. Петухов // Программирование. - 2011. - N 3. - С. 3-41. . - Библиогр.: с. 39-41 (56 назв. )
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): покрывающие наборы -- методы построения наборов -- генетические алгоритмы -- эвристики -- тестирование систем -- алгоритмы поиска Аннотация: Представлен обзор методов построения покрывающих наборов, используемых при генерации тестов для интерфейсов с большим количеством параметров. Доп.точки доступа: Петухов, А. А. Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |
Романкевич, А. М. Формальный метод определения состояния процессоров многопроцессорной системы при ее тестировании [Текст] / А. М. Романкевич, К. В. Морозов, В. А. Романкевич // Автоматика и телемеханика. - 2021. - № 3. - С. 112-122. - Библиогр.: с. 121-122 (11 назв.) . - ISSN 0005-2310
Рубрики: Радиоэлектроника Кибернетика Кл.слова (ненормированные): многопроцессорные системы -- процессоры -- самотестирование систем -- системы -- тестирование систем Аннотация: Работа посвящена проблеме самотестирования многопроцессорных систем. Доп.точки доступа: Морозов, К. В.; Романкевич, В. А. Нет сведений об экземплярах (Источник в БД не найден) |