Тестирование в условиях неполной информации. Подход к разработке спецификаций и генерации тестов.

В статье исследуются вопросы функционального тестирования программных систем в условиях неполной информации. Неполнота информации рассматривается в двух аспектах: статическом, связанном с неполнотой функциональных требований, по которым разрабатываются спецификации и тесты, и динамическом, связанном...

Full description

Bibliographic Details
Published in:	Труды Института системного программирования РАН
Main Author:	А.С. Камкин
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2006-01-01
Online Access:	https://www.ispras.ru/en/proceedings/isp_10_2006/isp_10_2006_143/

Similar Items

Подход UniTesK к разработке тестов: достижения и перспективы.
by: A.В. Баранцев, et al.
Published: (2004-01-01)

Метод формальной спецификации аппаратуры с конвейерной организацией и его приложение к задачам функционального тестирования
by: А.С. Камкин
Published: (2009-01-01)

Использование контрактных спецификаций для автоматизации функционального тестирования моделей аппаратного обеспечения.
by: А.С. Камкин
Published: (2007-01-01)

Расширение описаний сигнатур операций для автоматической генерации тестов.
by: Р.С. Зыбин, et al.
Published: (2008-01-01)

Прогнозирование конъюнктуры рынка интернет-услуг в условиях неполной информации
Published: (2020-01-01)

Алгоритм генерации тестов работоспособности на основе расширенной базы данных LSB.
by: А.В. Пономаренко, et al.
Published: (2008-01-01)

Критерии полноты тестового покрытия в генетических алгоритмах генерации тестов.
by: М.А. Владимиров
Published: (2006-01-01)

Сравнительный анализ современных технологий разработки тестов для моделей аппаратного обеспечения
by: Я.С. Губенко, et al.
Published: (2009-01-01)

К решению игры олигополии Курно при неполной информации с возможностью кооперативного взаимодействия
by: Юлия Геннадьевна Алгазина, et al.
Published: (2022-09-01)

ПРИНЦИПЫ И ПОДХОД К РАЗРАБОТКЕ СИСТЕМЫ ЭКОЛОГИЧЕСКОЙ СЕРТИФИКАЦИИ ОБЪЕКТОВ ТУРИЗМА
Published: (2021-01-01)

Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах
by: Dmitry Nagibin, et al.
Published: (2025-04-01)

Методологический подход к управлению логистикой в условиях межгосударственной конфронтации
by: И.Н. Карцан, et al.
Published: (2021-12-01)

Системы с приоритетами: конформность, тестирование, композиция.
by: И.Б. Бурдонов, et al.
Published: (2008-01-01)

Асинхронные автоматы: классификация и тестирование.
by: И.Б. Бурдонов, et al.
Published: (2004-01-01)

К разработке адаптивных моделей оценивания параметров движущегося объекта в условиях неопределенности
by: T. V. Podladchikova
Published: (2017-09-01)

Оценка точности псевдобулевых канонических моделей принятия решений при неполной информации
by: V. I. Donskoj
Published: (2019-06-01)

Полное тестирование с открытым состоянием ограниченно недетерминированных систем
by: И.Б. Бурдонов, et al.
Published: (2009-01-01)

Полное тестирование с открытым состоянием ограниченно недетерминированных систем
by: И.Б. Бурдонов, et al.
Published: (2009-01-01)

Тестирование модулей арифметики с плавающей точкой микропроцессоров на соответствие стандарту IEEE 754
by: А.C. Камкин, et al.
Published: (2008-01-01)

Формальные спецификации в технологиях обратной инженерии и верификации программ.
by: И.Б. Бурдонов, et al.
Published: (2000-01-01)

К вопросу о генерации начальных данных, обеспечивающих заданную трассу SPMD-программы.
by: С.С. Гайсарян, et al.
Published: (2004-01-01)

К РАЗРАБОТКЕ ПЕРВОГО ОРГАНОНА ЮРИДИЧЕСКОЙ НАУКИ
by: Шапсугов Дамир Юсуфович
Published: (2018-06-01)

Макроэкономический подход к интерпретации информации бухгалтерского учета. Бухгалтерлік есеп ақпаратын түсіндіруде макроэкономикалық тәсілдеме
by: A. Z. Dossayeva
Published: (2015-04-01)

{'en_US': 'A SYSTEMATIC APPROACH TO THE DEVELOPMENT OF THE EXTRUDER FOR THERMAL\n PROCESSING OF THE EXTRUDATE', 'ru_RU': 'СИСТЕМНЫЙ ПОДХОД К РАЗРАБОТКЕ ЭКСТРУДЕРА ДЛЯ ТЕРМОВАКУУМНОЙ ОБРАБОТКИ\n ЭКСТРУДАТА'}
by: А. А. Курочкин
Published: (2014-12-01)

Автоматическая генерация тестов для графического пользовательского интерфейса по UML диаграммам действий.
by: А.Я. Калинов, et al.
Published: (2004-01-01)

РАЗВИТИЕ ПОДХОДОВ К РАЗРАБОТКЕ МОДЕЛЕЙ УПРАВЛЕНЧЕСКОГО КОНСАЛТИНГА
by: Татьяна Алексеевна Акимочкина, et al.
Published: (2018-09-01)

Многопоточное тестирование программных интерфейсов.
by: В.С. Мутилин
Published: (2008-01-01)

Дезинформация в средствах массовой информации: междисциплинарный подход
by: Иван Диреев
Published: (2025-09-01)

Подходы к разработке сметного (бюджетного) контроля: методический аспект
by: Asan Satmurzaev
Published: (2014-05-01)

Инкрементальная верификация объектно-ориентированных данных на основе спецификации ограничений.
by: В.А. Семенов, et al.
Published: (2004-01-01)

ПОДХОД К ВЫБОРУ ПРОТОКОЛА МАРШРУТИЗАЦИИ ДЛЯ СЕТЕЙ БУДУЩЕГО
by: Г.С. Гайворонська, et al.
Published: (2014-06-01)

Тестирование современных библиотек тригонометрических функций.
by: Е.С. Чернов, et al.
Published: (2008-01-01)

Композиционный подход к построению программных приложений визуализации.
by: В.А. Семенов, et al.
Published: (2004-01-01)

Тестирование трансляторов: проблема построения оракула для генератора кода.
by: В.В. Гингина, et al.
Published: (2007-01-01)

Генерация тестовых программ для микропроцессоров.
by: А.С. Камкин
Published: (2008-01-01)

ПОДХОДЫ К РАЗРАБОТКЕ СИСТЕМЫ ПОКАЗАТЕЛЕЙ ДЛЯ ХАРАКТЕРИСТИКИ ЭЛЕКТРОННЫХ БИБЛИОТЕК
Published: (2011-09-01)

Двухуровневый эволюционный подход к маршрутизации группы подводных роботов в условиях периодической ротации состава
by: Igor Vyacheslavovich Bychkov, et al.
Published: (2019-04-01)

Кибернетический подход к проблеме взаимодействия общества и природы в условиях беспрецедентно меняющегося климата
by: Sergei Anatolievich Soldatenko, et al.
Published: (2020-02-01)

УПРАВЛЯЕМОЕ СЛУЧАЙНОЕ ТЕСТИРОВАНИЕ
Published: (2018-04-01)

Технология Azov автоматизации массового создания тестов работоспособности.
by: Р.С. Зыбин, et al.
Published: (2008-01-01)