寄付 2024年9月15日 – 2024年10月1日募金について

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

Main
Computers - Programming
Труды Института системного...

Труды Института системного программирования РАН. Том 14. Подход UniTesk: итоги и перспективы. Часть 1. 2008 г.

Под редакцией чл.-корр. РАН В.П. Иванникова. Редактор-составитель В.В. Кулямин

0 / 0

この本はいかがでしたか？

ファイルの質はいかがですか？

質を評価するには、本をダウンロードしてください。

ダウンロードしたファイルの質はいかがでしたか？

Специальный выпуск трудов Института системного программирования РАН состоит из двух частей и содержит работы сотрудников отдела технологий программирования, посвященные различным методам тестирования сложных систем

カテゴリー:

Computers - Programming

年:

2008

出版社:

ИСП РАН

言語:

russian

ページ:

88

ファイル:

PDF, 3.45 MB

IPFS:

,

russian, 2008

オンラインで読む

への変換進行中。

への変換が失敗しました。

こちらはいかがでしょうか？

Дробыш, А. А.Санцевич, С. Н. — Отладка и тестирование программного обеспечения

Басок Б. М., Михайлова Е. К. — Системы тестирования программного обеспечения: Методические указания по выполнению курсовых работ

Липаев В.В. — Тестирование программ

Майерс Г. — Искусство тестирования программ

Майерс Г. — Искусство тестирования программ

Майерс Г. — Искусство тестирования программ

Липаев В.В. — Тестирование программ

Кулямин В.В. — Критерии тестового покрытия, основанные на структуре контрактных спецификаций

— Верификация функций безопасности и мобильности протоколов IP

Кулямин В.В., Омельченко В.А., Петренко О.Л. — Обучение передовым технологиям разработки ПО: проблемы и методы их решения

Посыпкин М.А. — Применение формальных методов для тестирования компиляторов

Хорошилов А.В. — Спецификация и тестирование систем с асинхронным интерфейсом

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

Романова Т.Н. — Тестирование программного обеспечения

Бурдонов И.Б., Косачев А.С., Кулямин В.В. — Теория соответствия для систем с блокировками и разрушением

Слукин Сергей. — Введение в тестирование программного обеспечения

Калайда В.Т., Романенко В.В. — Технология разработки программного обеспечения

Калайда В. Т. — Технология разработки программного обеспечения

Под редакцией чл.-корр. РАН В.П. Иванникова — Труды Института системного программирования РАН. Том 4. 2003 г.

Под редакцией чл.-корр. РАН В.П. Иванникова — Труды Института системного программирования РАН. Том 5. 2004 г.

Под редакцией чл.-корр. РАН В.П. Иванникова — Труды Института системного программирования РАН. Том 8. Часть 1. 2004 г.

Под редакцией чл.-корр. РАН В.П. Иванникова — Труды Института системного программирования РАН. Том 9. 2006 г.

Под редакцией чл.-корр. РАН В.П. Иванникова. Редактор-составитель В.В. Кулямин — Труды Института системного программирования РАН. Том 10. Обеспечение надежности и совместимости Linux-систем. 2006 г.

Под редакцией чл.-корр. РАН В.П. Иванникова — Труды Института системного программирования РАН. Том 13. Часть 1. 2007 г.

Под редакцией чл.-корр. РАН В.П. Иванникова. Редактор-составитель В.В. Кулямин — Труды Института системного программирования РАН. Том 14. Подход UniTesk: итоги и перспективы. Часть 2. 2008 г.

Под редакцией чл.-корр. РАН В.П. Иванникова — Труды Института системного программирования РАН. Том 15. 2008 г.

Под редакцией академика РАН В.П. Иванникова — Труды Института системного программирования РАН. Том 16. 2009 г.

Под редакцией академика РАН В.П. Иванникова — Труды Института системного программирования РАН. Том 18. 2010 г.

Сафонов В.О. — Инженерия надежных и безопасных программ: Учебный курс

Синицын С.В., Налютин Н.Ю. — Верификация программного обеспечения: Курс лекций

Под редакцией академика РАН В.П. Иванникова — Труды Института системного программирования РАН. Том 17. 2009 г.

Степанченко И.В. — Методы тестирования программного обеспечения: Учебное пособие

Котляров В.П., Коликова Т.В. — Основы тестирования программного обеспечения

Маурисио Аниче — Эффективное тестирование программного обеспечения

Малышенко Ю.В. и др. — Техническая диагностика

主要なフレーズ

тестирования

реализации

спецификации

состояния

покрытия

действий

состояние

множество

тестовых

значений

безопасна

переходов

значения

реализация

генерации

операции

тестирование

состояний

состоянии

переходы

выполнения

элементарных

действие

действия

требований

отношение

тестового

выполнение

реализаций