Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 37, № 3: май-июнь Тестирование в жизненном цикле автоматизированных систем Аннотация  PDF (Rus)  похожие документы
Борис Аронович ПОЗИН
"... Software testing of automated systems at different stages of their life cycle (LC) differs ..."
 
Том 37, № 1: январь-февраль Применение формальных спецификаций системы команд для функционального тестирования языковых виртуальных машин Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич ПРОЦЕНКО
"... of the VM implementation, the development process includes a testing stage. During testing, it is necessary ..."
 
Том 37, № 3: май-июнь Разработка системы оценки результатов тестирования когнитивной функции при введении эллипсисов в текстах планиметрических задач Аннотация  похожие документы
Ксения Aлександровна НАЙДЁНОВА, Елена Сергеевна БУЛЫКИНА, Татьяна Aлександровна МАРТИРОВА
"... for testing covers only verbal and nominal ellipses, theoretically fully recoverable on the basis ..."
 
Том 37, № 4: часть 2. июль-август DIFFuzzer: обнаружение ошибок файловых систем с помощью дифференциального фаззинга серого ящика Аннотация  похожие документы
Вячеслав Максимович КОВАЛЕВСКИЙ, Валерий Владимирович КЕЧИН, Владимир Михайлович ИЦЫКСОН
 
Том 37, № 1: январь-февраль Фреймворк автоматизации тестирования на гонки по данным Аннотация  PDF (Rus)  похожие документы
Евгений Анатольевич ГЕРЛИЦ, Вадим Сергеевич МУТИЛИН
"... , specifically data races. We design a test automation framework to develop data race revealing testing scenarios ..."
 
Том 36, № 5 (2024) Программная среда выполнения методических прикладных тестов для численного исследования параметров высокопроизводительных вычислительных систем Аннотация  PDF (Rus)  похожие документы
Алексей Олегович ИГНАТЬЕВ, Сергей Юрьевич МОКШИН
 
Том 37, № 3: май-июнь Методы динамической верификации промышленных средств защиты информации на основе формальных моделей управления доступом. Аннотация  PDF (Rus)  похожие документы
Александр Константинович ПЕТРЕНКО, Петр Николаевич ДЕВЯНИН, Денис Валентинович ЕФРЕМОВ, Алексей Александрович КАРНОВ, Евгений Валерьевич КОРНЫХИН, Виктор Вячеславович КУЛЯМИН, Алексей Владимирович ХОРОШИЛОВ
"... a technology for runtime verification of PM, which, on the one hand, is close to testing techniques, therefore ..."
 
Том 37, № 3: май-июнь Моделирование сценариев деструктивного воздействия на целостность моделей машинного обучения Аннотация  PDF (Rus)  похожие документы
Артем Бакытжанович МЕНИСОВ, Александр Григорьевич ЛОМАКО
 
Том 37, № 2: март-апрель Алгоритм выбора семантических мутаций в фаззинге по принципу серого ящика Аннотация  PDF (Rus)  похожие документы
Григорий Романович РАЙКИН, Максим Сергеевич ПЕЛЕВИН, Владимир Михайлович ИЦЫКСОН
"...  part of software development. Fuzz testing is one of the most efficient and widely used techniques ..."
 
Том 37, № 1: январь-февраль Использование технологий искусственного интеллекта для проведения психологического тестирования Аннотация  PDF (Rus)  похожие документы
Дарья Дмитриевна ГРИГОРЬЕВА, Даниил Валерьевич СЕРОВ, Дмитрий Сергеевич СОРОКИН, Алексей Иванович МАРТЫШКИН
"... testing techniques, on the example of the Rorschach test, opens new opportunities for self-diagnosis ..."
 
1 - 10 из 10 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)