IEEE Computer Society, 2018.
Добавлено: 5 октября 2018 г.
Коротков А.О., Позин Б.А., Программная инженерия 2017 Т. 8 № 11 С. 483–489
В статье описаны результаты реализации инструмента генерации тестовых данных, методом разбиения значений входных параметров системы на классы эквивалентности для автоматизации комплексного функционального тестирования информационных систем, управляемых XML-сообщениями. ...
Добавлено: 24 ноября 2017 г.
Olga Vinogradova, , in: Learner Corpora and Language TeachingVol. 92.: John Benjamins Publishing Company, 2019. Ch. 1-2 P. 29–48.
Добавлено: 8 ноября 2017 г.
В статье представлен опыт разработки тестового набора для реализации протокола IPv6 на Windows 2000. Тестовый набор предназначался для проверки соответствия реализации протокола IPv6 спецификациям IPv6. Проект по разработке тестового набора проходил при поддержке исследовательского гранта Microsoft Research.
Разработка тестового набора проводилась с использованием методологии тестирования UniTesK, которая разработана и развивается в Институте системного программирования РАН. В ...
Добавлено: 8 февраля 2017 г.
Силаков Д. В., Зеленов С. В., Труды Института системного программирования РАН 2006 Т. 9 С. 129–142
В настоящей статье предложен метод GraphOTK автоматической генерации тестовых данных для тестирования оптимизирующих трансляторов графических моделей. Предложенный метод позволяет решить проблему автоматической генерации тестовых данных, а также за счет параметризации генератора позволяет варьировать количественные и качественные характеристики получаемых тестовых данных. ...
Добавлено: 22 сентября 2015 г.
Мартюкова Е. С., В кн.: Научно-техническая конференция студентов, аспирантов и молодых специалистов НИУ ВШЭ им. Е.В. Арменского. Материалы конференции.: М.: МИЭМ НИУ ВШЭ, 2015. С. 91–91.
В работе рассматриваются функциональное тестирование программного обеспечения. Для данного вида тестирования будут определены проблемы и возможные варианты их решения. ...
Добавлено: 15 июля 2015 г.
Дяйкин А. Д., В кн.: Антропоцентрические науки: инновационный взгляд на образование и развитие личности: материалы 1-й Международной научно-практической конференции.: Воронеж: Научная книга, 2014. С. 536–538.
Необходимость систематического контроля усвоения учебного материала является важнейшим элементом учебного процесса. Современные технологии позволяют перевести такой контроль в автоматизированный вид. Важным моментом систематического программированного контроля знаний является его объективность, что обусловлено переносом акцента с карательной функции на информативную. На основе общего опыта разработки контролирующих программ и изучения различных источников выделен ряд форм контрольных вопросов, каждая из ...
Добавлено: 14 ноября 2014 г.
Bessonov V., Лядова Л. Н., Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software Engineering 2014 No. 8
Most modern software is written in high level languages. The task of translating source code, written in high-level languages, into a representation, which can be executed on a computer system, solves by specialized programs called compilers. Errors in compilers lead to differences between the behavior of modules, resulting from the work of compilers, and behavior, ...
Добавлено: 12 августа 2014 г.