Каталог
Меню
Войти
0Сравнение
0Избранное
Каталог
Войти
0Сравнить
0Избранное

Основы тестирования и верификации программного обеспечения

...
  Сравнить
  В избранное
Показать все аналоги
Ещё от "ЛитРес":
  Похожие товары
  Видео обзоры

Рекомендательный сервис

  • Общий рейтинг 4.14
  • Рейтинг покупателей 3.47
  • Рейтинг экспертов 4.71
  • Качество материалов 4.40
  • Надежность 4.11
  • Простота в использовании 4.07
  • Ремонтопригодность 4.09
  • Эффективность выполнения своих функций 4.04
  • Коэффициент удивления "Вау!" 4.14
  • Безопасность для пользователя4.71
  • Внешний вид 4.97
  • Удобство в уходе и чистке 4.00
  • Экологическая безопасность 4.71
  • Гарантия на товар 4.00
  • Соответствие стандартам качества 4.17
  • Инновационные технологии 4.00
  • Хит продаж 4.14
  • Скорость морального устаревания 4.40
  • Энергоэффективность 4.07
  • Универсальность использования 4.40
  • Наличие дополнительных функций 4.01
  • Соотношение цена-качество 3.70
  • Практичность и удобство хранения 4.41
  • Стабильность работы в различных условиях 4.17
  • Возможность персонализации 4.00
  • Ликвидность 4.01
  • Индекс рекомендаций 3.00
Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия – пересмотреть отношение разработчиков к качеству современного программного обеспечения. В первой части пособия рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах IntelliJ IDEA, MS Visual Studio, изучаются методы разработки программного обеспечения, исходя от тестирования (TDD) и поведения (BDD) в среде IDEA на языке Java, рассматривается функциональное автоматизированное тестирование в среде IBM Rational Tester, тестирование Web-приложений с помощью Selenium. Вторую часть пособия занимают перспективные методы, связанные с верификацией и моделированием ПО. Рассматривается технология разработки и проектирования – контрактное программирование и язык Eiffel, .NET Code Contracts, технология Model Based Testing и средство MS Spec Explorer, Model Based Checking и средство Spin в среде iSpin, платформа Frama-C. Пособие может быть использовано на специальности «Программная инженерия» и родственных специальностях, для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков, знания математической логики и теории автоматов.
Информация о характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и взятая из открытых источников.
Основы тестирования и верификации программного обеспечения продается в интернет-магазине ЛитРес
Эксперт: Аркадий И., E-commerce аналитик
Дата рецензии: 21 июля 2025 года
Рекомендация к покупке нейтральная

Отзывы о товаре

Спасибо Ваш отзыв будет опубликован после проверки модераторами.
Добавить отзыв

Доставка покупки

    • В электронном виде;
    • Читать онлайн;
    • Скачать на компьютер или мобильные устройства.

Оплата заказа

    • Банковской картой;
    • электронными деньгами Яндекс-Деньги; WebMoney, Qiwi Кошелек, PayPal;
    • Наличными через терминалы;
    • Банковским переводом.
  • Наименование: ООО «ЛитРес»
  • ИНН: 7719571260

Часто задаваемые вопросы

Оплатить покупку возможно банковскими картами, банковским переводом, наличнми при получении. Перечень всех способов оплаты доступен при оформлении заказа.
Заказ может быть доставлен курьерской службой, транспортными компаниями, Почтой России. Возможен самовывоз из пункотов выдачи и постаматов. Способ доставки выбирается при оформлении заказа.
Сроки доставки зависят от региона. Обычно это от 1 до 7 рабочих дней. Точную информацию можно уточнить в карточке товара или у менеджера.
Да, в соответствии с законом «О защите прав потребителя» вы можете вернуть товар в течение 14 дней, если он не был в употреблении и сохранена упаковка.
Да, на большинство товаров предоставляется гарантия от производителя. Срок гарантии указан в описании товара.

Рекомендуем аналогичные товары

...
Введение в архитектуру программного обеспечения
Приведен систематизированный курс одной из дисциплин направления специализированной подготовки бакалавров по направлению «Программная инженерия». Рассмотрены первостепенные задачи возникающие при разработке крупных проектов программного обеспечения, в которых принимают участие сотни разработчиков. Сложность программного обеспечения — это его существенное и не случайное свойство. На технологию разработки влияют различные факторы, включающие в том числе проблемы проектирования, воздействие экономики, влияние политики, недостаток воображения. Уменьшение рисков снижения успешности или даже провала крупных разработок возможно при использовани архитектурного подхода к проектированию программного обеспечения, основанного на определении глобальных ограничений, накладываемых на проектирование системы, таких как выбор парадигмы программирования, архитектурных стилей, стандартов разработки. Строгий стиль изложения сопровождается доступными для понимания пояснениями и многочисленными примерами, необходимыми для глубокого усвоения материала. Книга адресована студентам старших курсов технических специальностей, соискателям степени бакалавра по направлению 09.04.03 «Программная инженерия», аспирантам, научным сотрудникам, преподавателям высших учебных заведений, слушателям институтов повышения квалификации; может быть использована для самообразования.
Цена 1239 руб.
СравнитьКупить
1 239 ₽
- 10%
...
Разработка требований к программному обеспечению
Эта книга - подробное руководство по разработке качественных требований к программному обеспечению. Здесь описаны десятки проверенных на практике приемов выявления, формулирования, разработки, проверки, утверждения и тестирования требований, которые помогут разработчикам, менеджерам и маркетологам создать эффективное ПО. Настоящее издание дополнено новыми приемами, посвященными разработке требований в проектах гибкой разработки (agile). .Основная аудитория - бизнес-аналитики и разработчики, а также дизайнеры, программисты, тестировщики и другие члены команды, задача которых понять и удовлетворить чаяния клиентов, а также маркетологи, менеджеры по продуктам и менеджеры проекта, которые должны проникнуться "духом" и особенностями продукта, чтобы сделать его в полной мере конкурентоспособным. .Книга состоит из 32 глав, 3 приложений и словаря терминов.
Цена 1747 руб.
СравнитьКупить
  • Серия

    Словари Словарь Книги, которые все ждали Эксклюзивная классика (Лучшее) Гиппенрейтер(под) Книги, о которых говорят Словарь Словарь Сексуальный интеллект. Книги, которыми стоит заняться

  • Издатель

    АСТ Моркнига АСТ-Аудиокнига Слово КомКнига Книга по Требованию Транзиткнига Corpus (АСТ) Аудиокнига ИКИ Полиграфмаркет Белмаркет

  • Тип носителя

    Шаманов Алексей

1 747 ₽
- 10%
...
Разработка требований к программному обеспечению
Эта книга - подробное руководство по разработке качественных требований к программному обеспечению. Здесь описаны десятки проверенных на практике приемов выявления, формулирования, разработки, проверки, утверждения и тестирования требований, которые помогут разработчикам, менеджерам и маркетологам создать эффективное ПО. Настоящее издание дополнено новыми приемами, посвященными разработке требований в проектах гибкой разработки (agile). .Основная аудитория - бизнес-аналитики и разработчики, а также дизайнеры, программисты, тестировщики и другие члены команды, задача которых понять и удовлетворить чаяния клиентов, а также маркетологи, менеджеры по продуктам и менеджеры проекта, которые должны проникнуться "духом" и особенностями продукта, чтобы сделать его в полной мере конкурентоспособным. .Книга состоит из 32 глав, 3 приложений и словаря терминов.
Цена 1747 руб.
СравнитьКупить
1 747 ₽
...
Управление качеством программного обеспечения. Учебник
Рассмотрены вопросы управления качеством, оценки характеристик и измерения метрик программного обеспечения по наиболее известным методикам. Изложены основные положения метрической теории программ, основные особенности процессов стандартизации и сертификации программных средств. Дана характеристика концепции и моделям управления качеством программного обеспечения. .Для студентов, преподавателей, разработчиков программного обеспечения, а также специалистов и менеджеров широкого профиля.
Цена 1062 руб.
СравнитьКупить
1 062 ₽
...
Технология разработки программного обеспечения: Учебное пособие
Рассматриваются основные понятия и определения, классификация программного обеспечения, этапы создания программного продукта в рамках жизненного цикла, освещается современное состояние технологий разработки программных продуктов. Изложены существующие подходы к оценке качества процессов создания программного обеспечения, произведен анализ требований и определение спецификаций программного обеспечения. Большое внимание уделено вопросам проектирования ПО, его надежности, коллективной разработки с помощью современных систем контроля версий. Теоретический материал сопровождается практикумом в виде лабораторных работ по изложенной тематике. Предназначено для студентов и преподавателей высших учебных заведений технического профиля, а также для специалистов любой предметной области, проявивших интерес к современному состоянию методов и средств программирования. .
Цена 1298 руб.
СравнитьКупить
1 298 ₽
...
Программное обеспечение компьютерных сетей. Учебное пособие
Учебное пособие включает сведения об основных видах программного обеспечения компьютерных сетей, современных Web-технологиях и популярных средствах разработки Web-приложений. Соответствует требованиям федеральных государственных образовательных стандартов среднего профессионального образования последнего поколения. Предназначено для студентов системы среднего профессионального образования, обучающихся по укрупненной группе специальностей 09.02.00 "Информатика и вычислительная техника" и изучающих дисциплины "Программное обеспечение компьютерных сетей" и "Программное обеспечение компьютерных сетей и Web-серверов". Может быть полезно и для учащихся высших учебных заведений.
Цена 855 руб.
СравнитьКупить
855 ₽
...
Введение в архитектуру программного обеспечения. Учебное пособие
Рассмотрены первостепенные задачи, возникающие при разработке крупных проектов программного обеспечения, в которых принимают участие сотни разработчиков. Сложность программного обеспечения - это его существенное и неслучайное свойство. На технологию разработки влияют различные факторы, включающие в том числе проблемы проектирования, воздействие экономики, влияние политики, недостаток воображения. Уменьшение рисков снижения успешности или даже провала крупных разработок возможно при использовании архитектурного подхода к проектированию программного обеспечения, основанного на определении глобальных ограничений, накладываемых на проектирование системы, таких как выбор парадигмы программирования, архитектурных стилей, стандартов разработки. .Строгий стиль изложения сопровождается доступными для понимания пояснениями и многочисленными примерами, необходимыми для глубокого усвоения материала. .Адресовано студентам учреждений среднего профессионального образования, обучающимся по специальности 09.02.07 "Информационные системы и программирование".
Цена 1652 руб.
СравнитьКупить
1 652 ₽
...
Эволюционная архитектура. Автоматизированное управление программным обеспечением
Новые инструменты, фреймворки методики и парадигмы вновь и вновь меняют экосистему разработки программного обеспечения. Непрерывный прогресс основных практик разработки на протяжении последних пяти лет заставил искать новые пути и подходы к архитектуре, чтобы соответствовать постоянно меняющимся требованиям пользователей. В обновленном издании авторы Нил Форд, Ребекка Парсонс, Патрик Куа и Прамод Садаладж приводят реальные примеры, соответствующие потребностям современной разработки ПО."Эта книга знаменует собой важную веху, обозначающую нынешний уровень понимания проблемы. По мере того, как люди начинают осознавать роль ПО в XXI веке, информация о том, как реагировать на изменения, сохраняя достигнутое, становится важнейшим навыком в области создания программного обеспечения." — Мартин Фаулер
Цена 1747 руб.
СравнитьКупить
1 747 ₽
...
Эволюционная архитектура. Автоматизированное управление программным обеспечением
Новые инструменты, фреймворки методики и парадигмы вновь и вновь меняют экосистему разработки программного обеспечения. Непрерывный прогресс основных практик разработки на протяжении последних пяти лет заставил искать новые пути и подходы к архитектуре, чтобы соответствовать постоянно меняющимся требованиям пользователей. В обновленном издании авторы Нил Форд, Ребекка Парсонс, Патрик Куа и Прамод Садаладж приводят реальные примеры, соответствующие потребностям современной разработки ПО."Эта книга знаменует собой важную веху, обозначающую нынешний уровень понимания проблемы. По мере того, как люди начинают осознавать роль ПО в XXI веке, информация о том, как реагировать на изменения, сохраняя достигнутое, становится важнейшим навыком в области создания программного обеспечения." — Мартин Фаулер
Цена 1747 руб.
СравнитьКупить
1 747 ₽
...
Разработка, внедрение и адаптация программного обеспечения отраслевой направленности
В учебном пособии рассматривается круг вопросов, связанных с разработкой, внедрением и адаптацией программного обеспечения. Излагаются методы отладки, и тестирования программ, особенности разработки технической и проектной документации. Анализируются методики измерений характеристик программного обеспечения, оценки их эффективности, описываются стандарты качества программного обеспечения. Обсуждаются технологии сбора информации и создания информационных ресурсов. .Учебное пособие подготовлено для студентов учреждений среднего профессионального образования по специальности 09.02.05 — Прикладная информатика (по отраслям) по профессиональному модулю «Разработка, внедрение и адаптация программного обеспечения отраслевой направленности» и полностью соответствует Федеральному Государственному образовательному стандарту СПО по данной специальности. . .
Цена 1770 руб.
СравнитьКупить
1 770 ₽

Дополнительно из категории

...
Все таблицы для начальной школы. 3 класс

Учебное пособие «Все таблицы для начальной школы. 3 класс» от известных педагогов О. В. Узоровой и Е. А. Нефёдовой представляет базовый материал по русскому языку, математике и окружающему миру в виде таблиц и схем. Это издание поможет школьникам выучить и запомнить самые важные сведения по основным предметам начальной школы.

  • Авторы: Узорова О. В., Нефедова Е. А.
  • Количество страниц: 96
  • ISBN: 9785171064822

Книга предназначена для начального образования и станет отличным помощником в учебе для третьеклассников.

Цена 158 руб.
СравнитьКупить
  • Серия

    Высшее образование Высшее образование Учебное пособие Высшее образование Учебное пособие Учебное пособие Математика С-П Высшее образование Для высшей школы Высшее образование Учебное пособие Школа в таблицах Математика Высшее образование Высшее образование Учебное пособие Высшая школа Высшее образование Высшее образование Высшее образование Высшее образование Учебное пособие Высшее образование Схемы Высшее образование Школьная Высшее образование Учебники, учебные пособия НАУКУ — ВСЕМ! Шедевры научно-популярной литературы (математика) Высшее образование Второе высшее образование

  • Язык издания

    Русский

  • Издательство

    Русский язык Моркнига Высшая школа Известия Норматика Весь Мир КомКнига Мир Человек Дело Книга Транзиткнига Мир Мир и Образование Высшая школа МАИ Школьная Книга Высшее образование Физматкнига Учебная книга ИКИ ВИАМ Бастет СО РАН АЗ Профобразование

  • Направление в научной литературе

    Лечебное питание

  • Предмет

    Политология Основы религиозных культур и светской этики

  • Тип материала

    Хрестоматии

  • Учебный период

    Технологические карты уроков Учебники Дополнительные пособия

158 ₽
...
Самый быстрый способ научиться устному счёту

Учебное пособие для развития математических навыков у детей начальных классов. Авторы, известные педагоги О.В. Узорова и Е.А. Нефёдова, предлагают эффективные задания и упражнения для улучшения навыков устного счёта, внимания и памяти.

  • Развивает математические представления и логическое мышление.
  • Подходит для использования на уроках и дома.
  • Способствует автоматизации вычислительных навыков.

Книга адресована учащимся начальных классов и поможет в освоении программы начальной школы. Регулярные занятия по пособию помогут ребенку стать внимательным, сообразительным и успевать по математике на отлично.

Цена 178 руб.
СравнитьКупить
  • Серия

    Высшее образование Высшее образование Учебное пособие Высшее образование Право Учебное пособие Учебное пособие Математика С-П Высшее образование Для высшей школы Высшее образование Учебное пособие Математика Высшее образование Высшее образование От А до Я Вся высшая математика в задачах Учебное пособие Высшая школа Высшее образование Высшее образование Высшее образование Военное образование Высшее образование Учебное пособие Высшее образование Высшее образование Школьная Высшее образование Учебники, учебные пособия Вычислительная математика Научная книга НАУКУ — ВСЕМ! Шедевры научно-популярной литературы (математика) Высшее образование Второе высшее образование

  • Издательство

    АСТ Либроком Моркнига Высшая школа Известия Норматика КомКнига Человек Дело Научная книга Книга Транзиткнига Высшая школа МАИ Школьная Книга Высшее образование Умная книга Физматкнига Учебная книга ИКИ ВИАМ Бастет СО РАН АЗ Профобразование УрО РАН

  • Направление в научной литературе

    Лечебное питание Популярная медицина

  • Предмет

    Экология Политология

  • Тип материала

    Аудио-, DVD-, электронные приложения

  • Учебный период

    Учебники Дополнительные пособия

178 ₽
...
Большие прописи для подготовки к школе

Большие прописи для подготовки к школе — это идеальный помощник для будущего первоклассника. С их помощью ваш ребенок сможет развить графические навыки, необходимые для письма, научиться правильно и аккуратно писать цифры, печатные и письменные буквы русского алфавита.

  • Для дошкольного возраста
  • Количество страниц: 80
  • Тип бумаги: Газетная
  • Переплет: Мягкий
  • Формат: 60x84/8 (205x290 мм)

Художник: Серебрякова О. Р.

Цена 186 руб.
СравнитьКупить
  • Серия

    Право Для высшей школы Школьная

  • Язык издания

    Русский

  • Издательство

    АСТ Высшая школа ВИАМ

  • Предмет

    Информатика Другие иностранные языки

186 ₽
...
Хрестоматия 3-4-й класс Сборник
В книгу вошли произведения школьной программы по литературе. В соответствии со школьной программой книга содержит разделы: "Устное народное творчество", "Русская литература XIX века", "Русская литература конца XIX - начала XX века", "Русская литература XX века". Вопреки сложившейся традиции делать хрестоматии черно-белыми, наша книга содержит прекрасные цветные иллюстрации, что, безусловно, сделает ее чтение более интересным и увлекательным занятием. ISBN: 978-5-9781-0895-8 Кол-во страниц: 312 Формат: 22.5 x 15 x 1.8 Переплет: Твердый
Цена 234 руб.
СравнитьКупить
  • Серия

    Линия УМК Вербицкой. Английский язык "Forward" (5-9) Русская школа Литература Литература Линия УМК Бабайцевой. Русский язык (5-9) Линия УМК О. А. Климановой, А. И. Алексеева. География (5-9) Литература (В.Ф.Чертов) Хрестоматия Русский язык. Ладыженская/Бархударов (5-9) Линия УМК Ермолинской. ИЗО (5-8) УМК под ред. Б. А. Ланина. Литература (5-9) Линия УМК Виноградовой. ОБЖ (5-9) Линия УМК Погадаева. Физическая культура (5-9) Линия УМК Петровой. Физическая культура (5-9) Линия УМК Симоненко. Технология (Традиционная линия) (5-8) Линия УМК Кожиной. Технология (5-8) Линия УМК Москвина. Литература (5-9) Линия УМК География. "Классическая линия" (5-9) Линия УМК О. В. Афанасьевой, И. В. Михеевой, К. М. Барановой."Rainbow English" (5-9) Линия УМК Сивоглазова. Биология.(5-9) Линия УМК Афанасьевой-Михеевой. "Rainbow English" (5-9) Линия УМК Афанасьевой-Михеевой. Английский язык как 2 ИЯ (5-9)

  • Язык издания

    Русский

  • Издательство

    Русское слово Слово КомКнига Человек Москвоведение Зерна-Слово

  • Тип носителя

    Мураками Рю

  • Обложка

    Женщины в бизнесе Нехудожественная литература

  • Предмет

    Сельскохозяйственные науки Физиология

  • Тип материала

    Литература Русский язык. Риторика

  • Учебные программы (УМК)

    УМК (учебно-методический комплекс) — система учебно-методических материалов, способствующих эффективному освоению предмета или специальности в целом. 

    Биографии спортсменов Биографии деятелей медицины Биографии деятелей культуры и искусства Биографии Биографии учёных Журналистские расследования Политика Биографии деятелей медицины Биографии политиков Биографии Эссе и статьи Биографии военных деятелей Биографии учёных Журналистские расследования Биографии спортсменов Интервью Биографии деятелей медицины Мемуары. Автобиографии Биографии деятелей культуры и искусства Политика Эссе и статьи Биографии учёных Журналистика Биографии деятелей медицины Биографии деятелей культуры и искусства Мемуары. Автобиографии Эссе и статьи Журналистские расследования

234 ₽
...
Внеклассное чтение для 1-го класса

Сборник произведений, рекомендованных для чтения в 1 классе, включает в себя четыре тематических раздела:

  • Страна детства — рассказы о детях и их увлечениях.
  • Мир вокруг нас — произведения о природе.
  • Расскажу вам сказку — сказки и сказочные истории.
  • Весёлая переменка — смешные рассказы для поднятия настроения.

Книга оформлена в твердом переплете, содержит 128 страниц и предназначена для детей от 6 лет. Идеальный выбор для внеклассного чтения, способствующий развитию любви к литературе и расширению кругозора.

Цена 198 руб.
СравнитьКупить
  • Серия

    Сказки С-П История Литература Горное дело Русские сказки сказка Сказки

  • Язык издания

    Русский

  • Издательство

    АСТ Весь Мир Мир Человек Дело Мир Русская литература ИКИ Бастет СО РАН АЗ

  • Обложка

    Современные издания Букинистические издания

  • Направление в научной литературе

    Диагностика

  • Предмет

    Экономика Физическая культура Основы религиозных культур и светской этики

  • Учебный период

    Учебники Дополнительные пособия

198 ₽
Москва
Санкт-Петербург
Ангарск
Армавир
Архангельск
Астрахань
Балаково
Балашиха
Барнаул
Белгород
Бийск
Благовещенск
Братск
Брянск
Великий Новгород
Владивосток
Владикавказ
Владимир
Волгоград
Волжский
Вологда
Воронеж
Грозный
Дзержинск
Екатеринбург
Иваново
Ижевск
Иркутск
Йошкар-Ола
Казань
Калининград
Калуга
Кемерово
Киров
Комсомольск-на-Амуре
Королёв
Кострома
Краснодар
Красноярск
Курган
Курск
Липецк
Магнитогорск
Махачкала
Мурманск
Набережные Челны
Нальчик
Нижневартовск
Нижнекамск
Нижний Новгород
Нижний Тагил
Новокузнецк
Новороссийск
Новосибирск
Омск
Орёл
Оренбург
Орск
Пенза
Пермь
Петрозаводск
Петропавловск-Камчатский
Подольск
Прокопьевск
Псков
Ростов-на-Дону
Рыбинск
Рязань
Самара
Саранск
Саратов
Северодвинск
Смоленск
Сочи
Ставрополь
Старый Оскол
Стерлитамак
Сургут
Сыктывкар
Таганрог
Тамбов
Тверь
Тольятти
Томск
Тула
Тюмень
Улан-Удэ
Ульяновск
Уфа
Хабаровск
Химки
Чебоксары
Челябинск
Череповец
Чита
Шахты
Энгельс
Южно-Сахалинск
Якутск
Ярославль
другой город